Spatial reasoning about qualitative shape compositionsComposing Qualitative Lengths and Angles

被引：0
作者：
Zoe Falomir
Albert Pich
Vicent Costa
机构：
[1] University of Bremen,Bremen Spatial Cognition Centre
[2] Universitat Autònoma of Barcelona,Department of Philosophy
来源：
Annals of Mathematics and Artificial Intelligence | 2020年 / 88卷
关键词：
Qualitative representation; Qualitative reasoning; Spatial reasoning; Shapes; Qualitative angles; Qualitative lengths; Composition tables; Correctness; Geometry;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：589 / 621
页数：32
相关论文
共 33 条
[1]  
Allen JF(1983)Maintaining knowledge about temporal intervals Commun. ACM 26 832-843
[2]  
Düntsch I(2001)A relation – algebraic approach to the region connection calculus Theor. Comput. Sci. 255 63-83
[3]  
Wang H(2017)A survey of qualitative spatial and temporal calculi: Algebraic and computational properties ACM Comput. Surv. 50 7:1-7:39
[4]  
McCloskey S(2013)Measures of similarity between objects from a qualitative shape description Spat. Cogn. Comput. 13 181-218
[5]  
Dylla F(2013)Measures of similarity between qualitative descriptions of shape, colour and size applied to mosaic assembling J. Vis. Commun. Image Represent. 24 388-396
[6]  
Lee JH(2011)Qualitative modeling Wiley Interdiscip. Rev. Cogn. Sci. 2 374-391
[7]  
Mossakowski T(2012)Qualitative reasoning about relative direction of oriented points Artif. Intell. 180-181 34-45
[8]  
Schneider T(2010)Picture this: Increasing math and science learning by improving spatial thinking Amer. Educ. 34 29-35
[9]  
van Delden A(2018)Logical composition of qualitative shapes applied to solve spatial reasoning tests Cogn. Syst. Res. 52 82-102
[10]  
van de Ven J(2009)Spatial ability for STEM domains: Aligning over 50 years of cumulative psychological knowledge solidifies its importance J. Educ. Psychol. 101 817-835
1234