RCC的可数核心模型  

On Countable Core Models of RCC

作　　者：赵晓蓉[1] 余泉[2,3] 王驹[3] 

机构地区：[1]黔南民族师范学院计算机科学系,都匀558000 [2]黔南民族师范学院数学系,都匀558000 [3]桂林电子科技大学广西可信软件重点实验室,桂林541004

出　　处：《计算机科学》2016年第4期241-246,273,共7页Computer Science

基　　金：国家自然科学基金项目(61463044);广西可信软件重点实验室研究课题(kx201330kx201419);贵州省科技厅项目((2011)LKZ7038,LKQS[2013]29,[2014]7421);贵州省省长基金项目((2012)47)资助

摘　　要：空间逻辑是人工智能领域中的研究热点,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.

关 键 词：空间逻辑 RCC 最小连通 核心模型 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]