2003/07/21 by Amar Isli, Isli, Amar
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2 (I.2.4) #cs.AI
paper · pdf · doi:10.48550/arxiv.cs/0307048
Includes new material, such as a section on the use of the work in the concrete domain of the ALC(D) spatio-temporalisation defined in http://arXiv.org/abs/cs.AI/0307040
arxiv created 2004/10/05 · arxiv updated 2009/12/01
We propose a calculus integrating two calculi well-known in Qualitative Spatial Reasoning (QSR): Frank's projection-based cardinal direction calculus, and a coarser version of Freksa's relative orientation calculus. An original constraint propagation procedure is presented, which implements the interaction between the two integrated calculi. The importance of taking into account the interaction is shown with a real example providing an inconsistent knowledge base, whose inconsistency (a) cannot be detected by reasoning separately about each of the two components of the knowledge, just because, taken separately, each is consistent, but (b) is detected by the proposed algorithm, thanks to the interaction knowledge propagated from each of the two compnents to the other.