MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

A Spatial Logic based on Regions and Connection (1992) [378 citations — 24 self]

by David Randell ,  David A. R ,  Zhan Cui ,  Anthony Cohn ,  Ls Jt
Add To MetaCart

Abstract:

We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer defined functions and relations, yet does not suffer in terms of its useful expressiveness. An axiomatisation of the new theory and a comparison with the two original theories is given. 1 Introduction The use of interval logics for the representation of time are well known in AI research - see for example Allen (1984) and Allen and Hayes (1985) although their development and history extends back much further in philosophical literature, see for example Hamblin (1967, 1971). However, despite the intuitive connection that can be drawn between space and time in terms of such logics, until fairly recently, little work in AI has centred on the development and use of interval logics for space. We describe an interval logic that can be used to reason about...

Citations

1730 Maintaining Knowledge about Temporal Intervals – Allen - 1983
91 A common sense theory of time – Allen, Hayes - 1985
79 A calculus of individuals based on ”connection – Clarke - 1981
63 A critical examination of Allen's theory of action and time – Galton - 1990
56 Moments and points in an interval-based temporal logic. Tr 180 – Allen, Hayes - 1987
45 Computing transitivity tables: A challenge for automated theorem provers – Randell, Cohn - 1992
37 Instants and intervals – Hamblin - 1972
33 Foundations of the geometry of solids – Tarski - 1956
25 Sémantique des relations spatiales et inférences spatio-temporelles: une contribution á l’étude des structures formelles de l’espace en langage naturel – Vieu - 1991
21 Short time periods – Hayes, Allen - 1987
20 Naive Topology: Modelling the force pump – Randell, Cohn, et al. - 1992
15 Analysing the Familiar: Reasoning About Space and Time in the Everyday World – Randell - 1991
14 line and surface as sets of solids”, The – “Point
7 Using Comparative Relations to represent Spatial Knowledge – Hernandez - 1990
6 Individuals and Points", Notre Dame – Clarke - 1985
4 Contribution a l'etude de la semantique formelle de l'espace et du raisonnement spatial: la localisation interne en francais, semantique et structures inferentielles", PhD thesis, l'Universite Paul Sabatier de – Aurnague - 1991
4 Randell: " Qualitative Simulation Based On A Logical Formalism Of Space And Time – Cui, Cohn, et al. - 1992
3 Cohn: "Exploiting Lattice in a Theory of Space and Time – Randell, G - 1992
2 Cohn: " A More Expressive Formulation of Many Sorted Logic – G - 1987
2 Cohn: "An Interval Logic for Space based on "Connection – Randell, Cui, et al. - 1992
2 Whitehead: "Process and Reality: Corrected Edition – N - 1978
1 Cohn: "Completing Sort Hierarchies – G
1 Freksa: "Qualitative Spatial Reasoning – unknown authors - 1990
1 Hamblin: " Starting and Stopping," The Monist – L - 1967
1 Cohn: "Modelling Topological and Metrical – Randell, G - 1989
View or Download | Add to My Collection | Correct Errors