Abstract
Motivation is given for the construction of an absolutely complete theory of spatial regions. Additional axioms for the RCC theory (Randell, Cui and Cohn 1992) are suggested to restrict the class of models satisfying this theory. Specific problems addressed are the characterisation of dimension and the provision of adequate existential axioms.
This work was supported by the EPSRC under grant GR/K65041.
Contributions to this paper by Dr A.G. Cohn and Dr N.M. Gotts and suggestions from O. Lemon are gratefully acknowledged.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Allen, J. F.: 1981, An interval-based representation of temporal knowledge, Proceedings 7th IJCAI, pp. 221–226.
Asher, N. and Vieu, L.: 1995, Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal.
Bennett, B.: 1994, Spatial reasoning with propositional logics, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann, San Francisco, CA.
Biacino, L. and Gerla, G.: 1991, Connection structures, Notre Dame Journal of Formal Logic.
Clarke, B. L.: 1981, A calculus of individuals based on ‘connection', Notre Dame Journal of Formal Logic 23(3), 204–218.
Clarke, B. L.: 1985, Individuals and points, Notre Dame Journal of Formal Logic 26(1), 61–75.
Cohn, A. G.: 1987, A more expressive formulation of many sorted logic, Journal of Automated Reasoning 3, 113–200.
de Laguna, T.: 1922, Point, line and surface as sets of solids, The Journal of Philosophy 19, 449–461.
Gotts, N. M.: 1994a, Defining a ‘doughnut’ made difficult, in C. Eschenbach, C. Habel and B. Smith (eds), Topological Foundations of Cognitive Science, Vol. 37 of Reports of the Doctoral programme in Cognitive Science, University of Hamburg.
Gotts, N. M.: 1994b, How far can we ‘C'? defining a ‘doughnut’ using connection alone, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann.
Kuratowski, K.: 1972, Introduction to Set Theory and Topology, 2nd edn, Pergamon Press.
Ladkin, P.: 1987, The Logic of Time Representation, PhD thesis, University of California, Berkeley. Kestrel Institute report KES.U.87.13.
Leonard, H. S. and Goodman, N.: 1940, The calculus of individuals and its uses, Journal of Symbolic Logic 5, 45–55.
Nebel, B.: 1995, Computational properties of qualitative spatial reasoning: First results, Procedings of the 19th GÄ—rman AI Conference.
Randell, D. A., Cui, Z. and Cohn, A. G.: 1992, A spatial logic based on regions and connection, Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165–176.
Randell, D. and Cohn, A.: 1989, Modelling topological and metrical properties of physical processes, in R. Brachman, H. Levesque and R. Reiter (eds), Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, pp. 55–66.
Scott, D.: 1959, Dimension in elementary euclidean geometry, in L. Brouwer, E. Beth and A. Heyting (eds), The Axiomatic Method (with special reference to geometry and physics), North-Holland, Amsterdam, pp. 16–29.
Tarski, A.: 1956, Foundations of the geometry of solids, Logic, Semantics, Metamathematics, Oxford Clarendon Press, chapter 2. trans. J.H. Woodger.
Tarski, A.: 1959, What is elementary geometry?, in L. Brouwer, E. Beth and A. Heyting (eds), The Axiomatic Method (with special reference to geometry and physics), North-Holland, Amsterdam, pp. 16–29.
Whitehead, A. N.: 1929, Process and Reality, The MacMillan Company, New York.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bennett, B. (1996). Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions. In: Alferes, J.J., Pereira, L.M., Orlowska, E. (eds) Logics in Artificial Intelligence. JELIA 1996. Lecture Notes in Computer Science, vol 1126. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61630-6_24
Download citation
DOI: https://doi.org/10.1007/3-540-61630-6_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61630-6
Online ISBN: 978-3-540-70643-4
eBook Packages: Springer Book Archive