A Logic of East and West for Intervals

Zekai Li*, Amin Farjudian, Heshan Du

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

6 Downloads (Pure)

Abstract

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.
Original languageEnglish
Article number17
Number of pages8
JournalLeibniz International Proceedings in Informatics
Volume315
DOIs
Publication statusPublished - 9 Sept 2024
Event16th International Conference on Spatial Information Theory - Quebec City, Canada
Duration: 17 Sept 202420 Sept 2024
https://cosit.ca/

Bibliographical note

Host volume ISBN: 9783959773300

Keywords

  • Qualitative Spatial Logic
  • Soundness
  • completeness

Cite this