A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties

Autor:	Dylla, Frank, Lee, Jae Hee, Mossakowski, Till, Schneider, Thomas, Van Delden, André, Van De Ven, Jasper, Wolter, Diedrich
Rok vydání:	2016
Předmět:	Computer Science - Artificial Intelligence I.2.4
Druh dokumentu:	Working Paper
Popis:	Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and methods, which now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties. Comment: Submitted to ACM Computing Surveys
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1606.00133 Zobrazit plný text záznamu View this record from Arxiv