Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Simple Models for Simple Calculi

Gérard LigozatContact Information

(6)  LIMSI/CNRS & Université Paris-Sud, P.O. Box 133, 91403 Orsay, France
Abstract
This paper investigates the class of weak models of the calculi RCC-5 and RCC-8, which are basically first-order models of the theories specified by the composition table. We show that simple structures, viz. sets and general topological spaces provide natural weak models. Conversely, we prove that for any finite weak model there are finite structures upon which the model is based. We interpret the construction of the models described by Renz as lifting those finite models to models in the Euclidean space.

Keywords  spatial constraint networks - finite models - RCC calculi - composition tables - scenario


Contact Information Gérard Ligozat
Email: ligozat@limsi.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb21
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)