RCC8 binary constraint network can be consistently extended

Artificial Intelligence

Volumn 170, Issue 1, 2006, Pages 1-18

  Li, Sanjiang ^a   Wang, Huaiqing ^b  

^a TSINGHUA UNIVERSITY   (China)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Binary constraint network; Computational complexity; Extensionality; Path consistency; Qualitative spatial reasoning; Region connection calculus

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; GEOGRAPHIC INFORMATION SYSTEMS;

BINARY CONSTRAINT NETWORK; EXTENSIONALITY; PATH-CONSISTENCY; QUALITATIVE SPATIAL REASONING; REGION CONNECTION CALCULUS;

NEURAL NETWORKS;

EID: 27744608877     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2005.08.003     Document Type: Article

References (25)

1. J.F. Allen Maintaining knowledge about temporal intervals Comm. ACM 26 1983 832 843
2. P. Balbiani, K. Challita, and J.-F. Condotta Spatial regions changing over time R. Berghammer B. Möller 7th Seminar RelMiCS - 2nd Workshop Kleene Algebra 2003 Christian-Albrechts-Universität zu Kiel 74 81
3. B. Bennett, A. Isli, A.G. Cohn, When does a composition table provide a complete and tractable proof procedure for a relational constraint language? in: Proceedings of the IJCAI-97 Workshop on Spatial and Temporal Reasoning, Nagoya, Japan, 1997
4. Z. Cui, A.G. Cohn, and D.A. Randell Qualitative and topological relationships in spatial databases D. Abel B.C. Doi Advances in Spatial Databases Lecture Notes in Computer Sciences vol. 692 1993 Springer Berlin 293 315
5. I. Düntsch, Relation algebras and their application in qualitative spatial reasoning, Preprint, 2003
6. I. Düntsch, H. Wang, and S. McCloskey A relation-algebraic approach to the Region Connection Calculus Theoret. Comput. Sci. 255 2001 63 83
7. I. Düntsch, M. Winter, A representation theorem for Boolean contact algebras, Theoret. Comput. Sci. (B) (2005), in press
8. M.J. Egenhofer Reasoning about binary topological relations O. Günther H.J. Schek Advances in Spatial Databases 1991 Springer New York 143 160
9. N.M. Gotts, An axiomatic approach to spatial information systems, Research Report 96.25, School of Computer Studies, University of Leeds, 1996
10. P. Ladkin, and R. Maddux On binary constraint problems J. ACM 41 3 1994 435 469
11. S. Li, On topological consistency and realization, Constraints, submitted for publication
12. S. Li, and M. Ying Extensionality of the RCC8 composition table Fundamenta Informaticae 55 3-4 2003 363 385
13. S. Li, and M. Ying Region Connection Calculus: Its models and composition table Artificial Intelligence 145 1-2 2003 121 146
14. S. Li, and M. Ying Generalized Region Connection Calculus Artificial Intelligence 160 1-2 2004 1 34
15. B. Nebel Computational properties of qualitative spatial reasoning: First results KI-95: Advances in Artificial Intelligence, Proceedings of the 19th Annual German Conference on Artificial Intelligence 1995 Springer Berlin 233 244
16. B. Nebel, and H.-J. Bürckert Reasoning about temporal relations: a maximal tractable subset of Allen's interval algebra J. ACM 42 1 1995 43 66
17. D.A. Randell, and A.G. Cohn Modelling topological and metrical properties of physical processes R.J. Brachman H.J. Levesque R. Reiter First International Conference on the Principles of Knowledge Representation and Reasoning 1989 Morgan Kaufmann Los Altos, CA 55 66
18. D.A. Randell, Z. Cui, and A.G. Cohn A spatial logic based on regions and connection B. Nebel W. Swartout C. Rich Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning 1992 Morgan Kaufmann Los Altos, CA 165 176
19. J. Renz A canonical model of the Region Connection Calculus Proceedings of the 6th International Conference on Knowledge Representation and Reasoning 1998 Morgan Kaufmann San Mateo, CA 330 341
20. J. Renz, Maximal tractable fragments of the Region Connection Calculus: A complete analysis, in: Proceedings of the 16th International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 1999, pp. 448-454
21. J. Renz Qualitative Spatial Reasoning with Topological Information Lecture Notes in Artificial Intelligence vol. 2293 2002 Springer Berlin
22. J. Renz, and B. Nebel On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus Artificial Intelligence 108 1999 69 123
23. J.G. Stell Boolean connection algebras: A new approach to the Region-Connection Calculus Artificial Intelligence 122 2000 111 136
24. E. Tsang Foundations of Constraint Satisfaction 1993 Academic Press New York
25. M. Vilain, H. Kautz, Constraint propagation algorithms for temporal reasoning, in: Proceedings AAAI-86, Philadelphia, PA, 1986