RCC的可数核心模型

On Countable Core Models of RCC

空间逻辑是人工智能领域中的研究热点,RCC系统(GRCC系统)是其中最受关注的一个形式化系统。从连接关系的冗余和非冗余性质出发,给出了核心模型的定义,并且证明了核心模型的存在性定理。讨论了RCC模型的个体(相当于空间中的物体)内部连通性,证明了该内部连通性是一阶语义可定义的。基于内部连通性,证明了核心模型的外延定理。

Spatial logic is an important branch of knowledge representation and reasoning. RCC（GRCC） is one of the most popular formal systems which attracts most attention. We started from the redundancy and nonredundancy of con- nection relation,proposed the concept of core-models, and proved the existence theorem of core-models. The internal connectivity of the RCC model was studied, and the first order definable property was proved. We proved the extension theorem of core-models based on internal connectivity.