Subject-oriented spatial logic
We present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL. The space is represented with the polar coordinate system where the subject occupies the central point and modal operators are interpreted by relations defined relatively to...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2020
|
| _version_ | 1797063122671894528 |
|---|---|
| author | Wałęga, PA Zawidzki, M |
| author_facet | Wałęga, PA Zawidzki, M |
| author_sort | Wałęga, PA |
| collection | OXFORD |
| description | We present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL. The space is represented with the polar coordinate system where the subject occupies the central point and modal operators are interpreted by relations defined relatively to the position and orientation of the subject, namely ‘outwards’, ‘inwards’, ‘clockwise’, ‘counter-clockwise’, and the transitive closures of the first two. Such logic enables to express operators for the intrinsic relations: ‘in front’, ‘behind’, ‘to the left’, and ‘to the right’ of the subject, for the relative relations: ‘behind an object’, ‘between the subject and an object’, ‘to the left of an object’, and ‘to the right of an object’, and hybrid or distance operators. We prove that the satisfiability problem in SOSL is PSpace-complete, the same complexity holds over the classes of finite or infinite models, however, for models of fixed size the problem becomes NP-complete.
|
| first_indexed | 2024-03-06T20:55:19Z |
| format | Journal article |
| id | oxford-uuid:3908a683-7eb4-4945-995c-8c265c0da8e7 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T20:55:19Z |
| publishDate | 2020 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:3908a683-7eb4-4945-995c-8c265c0da8e72022-03-26T13:53:15ZSubject-oriented spatial logicJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:3908a683-7eb4-4945-995c-8c265c0da8e7EnglishSymplectic ElementsElsevier2020Wałęga, PAZawidzki, MWe present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL. The space is represented with the polar coordinate system where the subject occupies the central point and modal operators are interpreted by relations defined relatively to the position and orientation of the subject, namely ‘outwards’, ‘inwards’, ‘clockwise’, ‘counter-clockwise’, and the transitive closures of the first two. Such logic enables to express operators for the intrinsic relations: ‘in front’, ‘behind’, ‘to the left’, and ‘to the right’ of the subject, for the relative relations: ‘behind an object’, ‘between the subject and an object’, ‘to the left of an object’, and ‘to the right of an object’, and hybrid or distance operators. We prove that the satisfiability problem in SOSL is PSpace-complete, the same complexity holds over the classes of finite or infinite models, however, for models of fixed size the problem becomes NP-complete. |
| spellingShingle | Wałęga, PA Zawidzki, M Subject-oriented spatial logic |
| title | Subject-oriented spatial logic |
| title_full | Subject-oriented spatial logic |
| title_fullStr | Subject-oriented spatial logic |
| title_full_unstemmed | Subject-oriented spatial logic |
| title_short | Subject-oriented spatial logic |
| title_sort | subject oriented spatial logic |
| work_keys_str_mv | AT wałegapa subjectorientedspatiallogic AT zawidzkim subjectorientedspatiallogic |