View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        A Framework for Reasoning about Probabilistic Spatio-Temporal Logic

        Thumbnail
        View/Open
        A Framework for reasoning about probabilistic spatio-temporal logic.pdf (795.6Kb)
        Publication date
        2021
        Author
        Gebhardt, S.A.
        Metadata
        Show full item record
        Summary
        In previous research, frameworks have been constructed that can reason about the probabilistic locations of objects through different time instances. With these frameworks, certain work has been done on belief revision and consistency checking. The expressivity of these frameworks was very limited; they only contained these so-called ‘Probabilistic Spatio- Temporal atoms’ (PST atoms). In this thesis, a new framework that can reason more extensively with PST atoms is proposed. This is done in 3 different steps. In the first step, a framework is proposed that can only reason about the locations of objects. This is done by combining simplified PST atoms with propositional logic. In the second step, temporal operators are added to the first framework. For this framework, axiomatization has been done and soundness and completeness of the axioms have been proven. In the final step, probabilities were added to the temporal framework. For each framework, syntax, semantics and the satisfiability relation have been defined in a clear way. With these frameworks, more extensive reasoning is possible about PST atoms than in any of the frameworks that were defined in earlier research.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/38746
        Collections
        • Theses
        Utrecht university logo