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

        Representing RCC relations in temporal logic

        Thumbnail
        View/Open
        Representing RCC relations in temporal logic.pdf (345.3Kb)
        Publication date
        2015
        Author
        Harteveld, T.
        Metadata
        Show full item record
        Summary
        In this article we attempt to represent a spatial logic with a temporal logic in such a way that the spatial relations and the temporal relations can be used like a spatio-temporal logic. The spatial logic we try to represent is the Region Connection Calculus (RCC). The temporal logics we will discuss are Linear-time Temporal Logic (LTL), Computation Tree Logic (CTL) and Alternating-time Temporal Logic (ATL). We also discuss the available model checkers for these temporal logics and give an example of the use of the spatio-temporal logic. We conclude that LTL can only represent some RCC relations. CTL can represent all RCC relations but temporal reasoning isn't possible anymore. ATL can represent all RCC relations and temporal reasoning is still possible.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/19436
        Collections
        • Theses
        Utrecht university logo