Simple models for simple calculi

被引:0
|
作者
Ligozat, G
机构
[1] CNRS, LIMSI, F-91403 Orsay, France
[2] Univ Paris 11, F-91403 Orsay, France
来源
SPATIAL INFORMATION THEORY: COGNITIVE AND COMPUTATIONAL FOUNDATIONS OF GEOGRAPHIC INFORMATION SCIENCE | 1999年 / 1661卷
关键词
spatial constraint networks; finite models; RCC calculi; composition tables; scenario;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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 Rent as lifting those finite models to models in the Euclidean space.
引用
收藏
页码:173 / 188
页数:16
相关论文
共 50 条