A Spatial Logic based on Regions and Connection-英文文献.pdf

A Spatial Logic based on Regions and Connection David A. Randell, Zhan Cui and Anthony G. Cohn Division of Articial Intelligence Scho ol of Computer Studies Leeds University Leeds, LS2 9JT, England fdr, cui, agc g@scs.leeds.ac.uk Abstract theory . In section 4 we give the axiomatised theory , drawing out the contrasts with the original theory. In We describ e an interval logic for reasoning section 5 we discuss the implications of intro ducing ab out space. The logic simplies an earlier atomic regions into the theory , and in section 6 we theory develop ed by Randell and Cohn, and discuss related and further work. that of Clarke up on which the former was based. The theory supp orts a simpler on- 2 Overview of the original spatial tology, has fewer dened functions and rela- tions, yet do es not suer in terms of its useful theory expressiveness. An axiomatisation of the new theory and a comparison with the two origi- The original theory (see Randell and Cohn 1989, 1992 nal theories is given. and Randell 1991) is based up on Clarkes (1981, 1985) calculus of individuals based on \connection and is expressed in the many sorted logic LLAMA - see Cohn 1 Intro duction