A categorical axiomatisation of Region-Based Geometry

• Autorzy: Bennett B.
• Języki publikacji: EN

Abstrakty

EN

Region Based Geometry (RBG) is an axiomatic theory of qualitative configurations of spatial regions. It is based on Tarski's Geometry of Solids, in which the parthood relation and the concept of sphere are taken as primitive. Whereas in Tarski's theory the combination of mereological and geometrical axioms involves set theory, in RBG the interface is achieved by purely 1st-order axioms. This means that the elementary sublanguage of RBG is extremely expressive, supporting inferences involving both mereological and geometrical concepts. Categoricity of the RBG axioms is proved: all models are isomorphic to a standard interpretation in terms of Cartesian spaces over \mathbbR.

Słowa kluczowe

EN

mereology; region-based geometry; categorical theory

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 46, nr 1,2
• Strony: 145--158
• Opis fizyczny: bibliogr. 25 poz.

Twórcy

autor

Bennett B.

• School of Computing, University of Leeds, Leeds LS2 9JT, UK,