Spatial reasoning about qualitative shape compositions: Composing Qualitative Lengths and Angles

Zoe Falomir, Albert Pich, Vicent Costa

Research output: Contribution to journalArticleResearch

Abstract

© 2019, Springer Nature Switzerland AG. Shape composition is a challenge in spatial reasoning. Qualitative Shape Descriptors (QSD) have proven to be rotation and location invariant, which make them useful in spatial reasoning tests. QSD uses qualitative representations for angles and lengths, but their composition operations have not been defined before. In this paper, the Qualitative Model for Angles (QMAngles) and the Qualitative Model for Lengths (QMLengths) are presented in detail by describing their arity, reference systems and operators. Their operators are defined taking the well-known temporal model by Allen (Commun. ACM 26(11), 832–843 (1983). https://doi.org/10.1145/182.358434) as a reference. Moreover, composition tables are built, and the composition relations of qualitative angles and lengths are proved using their geometric counterparts. The correctness of these composition tables is also proved computationally using a logic program implemented using Swi-Prolog.
Original languageEnglish
JournalAnnals of Mathematics and Artificial Intelligence
DOIs
Publication statusPublished - 1 Jan 2019

Keywords

  • Composition tables
  • Correctness
  • Geometry
  • Qualitative angles
  • Qualitative lengths
  • Qualitative reasoning
  • Qualitative representation
  • Shapes
  • Spatial reasoning

Fingerprint Dive into the research topics of 'Spatial reasoning about qualitative shape compositions: Composing Qualitative Lengths and Angles'. Together they form a unique fingerprint.

Cite this