A modal logic for subject-oriented spatial reasoning

Conference item

We present a modal logic for representing and reasoning about space seen from the subject's perspective. The language of our logic comprises modal operators for the relations "in front", "behind", "to the left", and "to the right" of the subject, which introduce the intrinsic frame of reference; and operators for "behind an object", "between the subject and an object", "to the left of an object", and "to the right of an object", employing the relative frame of reference. The language allows us to express nominals, hybrid operators, and a restricted form of distance operators which, as we demonstrate by example, makes the logic interesting for potential applications. We prove that the satisfiability problem in the logic is decidable and in particular PSpace-complete.

Authors: Wałęga, PA; Zawidzki, M

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: Schloss Dagstuhl
• Host title: 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
• Volume: 147
• Pages: 4:1--4:22
• Series: Leibniz International Proceedings in Informatics
• Publication date: 2019-10-07
• Acceptance date: 2019-08-01
• Event title: 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
• Event location: Malaga, Spain
• Event website: https://sites.google.com/unife.it/time-2019
• Event start date: 2019-10-16
• Event end date: 2019-10-19
• DOI: 10.4230/LIPIcs.TIME.2019.4
• ISSN: 1868-8969
• ISBN: 9783959771276
• Language: English
• Keywords: FFR; subject-oriented; computational complexity; modal logic; spatial logic