MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Spatial Reasoning with Propositional Logics (1994) [89 citations — 16 self]

by Brandon Bennett
Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94
Add To MetaCart

Abstract:

I present a method for reasoning about spatial relationships on the basis of entailments in propositional logic. Formalisms for representing topological and other spatial information (e.g. [2] [10] [11]) have generally employed the 1st-order predicate calculus. Whilst this language is much more expressive than 0-order (propositional) calculi it is correspondingly harder to reason with. Hence, by encoding spatial relationships in a propositional representation automated reasoning becomes more effective. I specify representations in both classical and intuitionistic propositional logic, which --- together with well-defined meta-level reasoning algorithms --- provide for efficient reasoning about a large class of spatial relations. 1 INTRODUCTION This work has developed out of research done by Randell, Cui and Cohn (henceforth RCC) on formalising spatial and temporal concepts used in describing physical situations [11]. A set of classical 1st-order logic axioms has been formulated in whi...

Citations

1730 Maintaining Knowledge about Temporal Intervals – Allen - 1983
378 A spatial logic based on regions and connection – Randell, Cui, et al. - 1992
56 Otter 2.0 Users Guide – McCune - 1990
45 Computing transitivity tables: A challenge for automated theorem provers – Randell, Cohn - 1992
40 Modelling topological and metrical properties of physical processes – Randell, Cohn - 1989
29 An O(n log n)-space decision procedure for intuitionistic propositional logic – Hudelmaier - 1993
27 Complexity, convexity and combinations of theories – Oppen - 1980
18 Qualitative spatial reasoning and representation – Cohn, Randell, et al. - 1993
11 Introduction to Set Theory and Topology – Kuratowski - 1972
8 Elements of Intuitionism. Oxford Logic Guides – Dummett - 1977
8 Sentential calculus and topology – Tarski - 1956
6 What is elementary geometry?', in The Axiomatic Method (with special reference to geometry and – Tarski - 1959
4 Thirty Years of Foundational Studies – Mostowski - 1966
3 A calculus of individuals based on 'connection – Clark - 1985