Solving Qualitative Constraints Involving Landmarks
Consistency checking plays a central role in qualitative spatial and temporal reasoning. Given a set of variables V, and a set of constraints Γ taken from a qualitative calculus (e.g. the Interval Algebra (IA) or RCC-8), the aim is to decide if Γ is consistent. The consistency problem has been investigated extensively in the literature. Practical applications e.g. urban planning often impose, in addition to those between undetermined entities (variables), constraints between determined entities (constants or landmarks) and variables. This paper introduces this as a new class of qualitative constraint satisfaction problems, and investigates the new consistency problem in several well-known qualitative calculi, e.g. IA, RCC-5, and RCC-8. We show that the usual local consistency checking algorithm works for IA but fails in RCC-5 and RCC-8. We further show that, if the landmarks are represented by polygons, then the new consistency problem of RCC-5 is tractable but that of RCC-8 is NP-complete.
KeywordsControl Point Tangential Point Propositional Variable Basic Network Constraint Network
Unable to display preview. Download preview PDF.
- 3.Cohn, A.G., Renz, J.: Qualitative spatial reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)Google Scholar
- 8.Ligozat, G., Renz, J.: What is a qualitative calculus? A general framework. In: Zhang, C., Guesgen, H.W., Yeap, W.K. (eds.) PRICAI, pp. 53–64. Springer, Heidelberg (2004)Google Scholar
- 9.Nebel, B.: Computational properties of qualitative spatial reasoning: First results. In: Wachsmuth, I., Rollinger, C.R., Brauer, W. (eds.) KI, pp. 233–244. Springer, Heidelberg (1995)Google Scholar
- 10.Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: KR, pp. 165–176 (1992)Google Scholar