2026-08-16T23:27:29Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:20832 2024-09-09T09:21:19Z ddc:004 open_access

A Logic of East and West for Intervals (Short Paper) Li, Zekai Farjudian, Amin Du, Heshan Qualitative Spatial Logic Soundness Completeness This paper proposes a logic of east and west for intervals (LEWI), which extends the logic of east and west for points. For intervals in 1D Euclidean space, the logic LEWI formalises the qualitative direction relations "east", "west", "definitely east", "definitely west", "partially east", "partially west", etc. To cope with imprecision in geometry representations, the logic LEWI is parameterized by a margin of error σ ∈ ℝ_{> 0} and a level of indeterminacy in directions τ ∈ ℕ_{> 1}. For every τ, we provide an axiomatisation of the logic LEWI, and prove that it is sound and complete with respect to 1D Euclidean space. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Zekai Li and Amin Farjudian and Heshan Du 2024 Is Part Of LIPIcs, Volume 315, 16th International Conference on Spatial Information Theory (COSIT 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.COSIT.2024.17 urn:nbn:de:0030-drops-208320 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2024.17 eng https://creativecommons.org/licenses/by/4.0/legalcode