QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning

QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning

计算机科学;物理学;数学

Stefan Wölfl ; Anthony G. Cohn ; Jochen Renz ; Geoff Sutcliffe

Others  :  http://drops.dagstuhl.de/opus/volltexte/2011/3142/pdf/10412.Report.3142.pdf
PID  :  38484

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Reasoning about spatial configurations, temporal constraints, or spatio-temporal dependencies is a major challenge in various application domains of current AI research. One of the research areas concerned with such topics is the field of Qualitative Spatial and Temporal Reasoning (QSTR). More precisely, research topics in QSTR are formalisms and algorithmic methods for processing qualitative information about continuous spatial and/or temporal aspects of physical reality. Thus QSTR forms a distinct subfield within the broader AI community working on knowledge representation and reasoning and has attracted research interest for more than 25 years now. One of the main ideas in QSTR is to describe spatial or temporal phenomena in the world in qualitative formalisms that are tailored to specific reasoning tasks. Qualitative abstraction allows for compact representations of infinite domains and hence is considered key to solve reasoning tasks on such domains efficiently. In view of this motivation of QSTR research, it seems indicated to evaluate the quality of both representation formalisms and reasoning techniques with respect to different criteria including but not limited to expressiveness, efficiency, and cognitive adequacy. [First Paragraph]