Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Logics in Artificial Intelligence

JELIA 1996: Logics in Artificial Intelligence pp 337–353Cite as

Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions

  • Temporal and Spatial Logics
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1126))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Allen, J. F.: 1981, An interval-based representation of temporal knowledge, Proceedings 7th IJCAI, pp. 221–226.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Biacino, L. and Gerla, G.: 1991, Connection structures, Notre Dame Journal of Formal Logic.

    Google Scholar 

  • Clarke, B. L.: 1981, A calculus of individuals based on ‘connection', Notre Dame Journal of Formal Logic 23(3), 204–218.

    Google Scholar 

  • Clarke, B. L.: 1985, Individuals and points, Notre Dame Journal of Formal Logic 26(1), 61–75.

    Google Scholar 

  • Cohn, A. G.: 1987, A more expressive formulation of many sorted logic, Journal of Automated Reasoning 3, 113–200.

    Article  Google Scholar 

  • de Laguna, T.: 1922, Point, line and surface as sets of solids, The Journal of Philosophy 19, 449–461.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kuratowski, K.: 1972, Introduction to Set Theory and Topology, 2nd edn, Pergamon Press.

    Google Scholar 

  • Ladkin, P.: 1987, The Logic of Time Representation, PhD thesis, University of California, Berkeley. Kestrel Institute report KES.U.87.13.

    Google Scholar 

  • Leonard, H. S. and Goodman, N.: 1940, The calculus of individuals and its uses, Journal of Symbolic Logic 5, 45–55.

    Google Scholar 

  • Nebel, B.: 1995, Computational properties of qualitative spatial reasoning: First results, Procedings of the 19th Gėrman AI Conference.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Tarski, A.: 1956, Foundations of the geometry of solids, Logic, Semantics, Metamathematics, Oxford Clarendon Press, chapter 2. trans. J.H. Woodger.

    Google Scholar 

  • 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.

    Google Scholar 

  • Whitehead, A. N.: 1929, Process and Reality, The MacMillan Company, New York.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Division of Artificial Intelligence School of Computer Studies, University of Leeds, LS2 9JT, Leeds, England

    Brandon Bennett

Authors
  1. Brandon Bennett
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

José Jülio Alferes Luís Moniz Pereira Ewa Orlowska

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation