| RCC的可数核心模型 |
| |
| 引用本文： | 赵晓蓉,余泉,王驹.RCC的可数核心模型[J].计算机科学,2016,43(4):241-246, 273. |
| |
| 作者姓名： | 赵晓蓉 余泉 王驹 |
| |
| 作者单位： | 黔南民族师范学院计算机科学系 都匀558000,黔南民族师范学院数学系 都匀558000;桂林电子科技大学广西可信软件重点实验 桂林541004,桂林电子科技大学广西可信软件重点实验 桂林541004 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61463044),广西可信软件重点实验室研究课题(kx201330,kx201419),贵州省科技厅项目((2011)LKZ7038,LKQS[2013]29,[2014]7421),贵州省省长基金项目((2012)47)资助 |
| |
| 摘 要： | 空间逻辑是人工智能领域中的研究热点,RCC系统(GRCC系统)是其中最受关注的一个形式化系统。从连接关系的冗余和非冗余性质出发,给出了核心模型的定义,并且证明了核心模型的存在性定理。讨论了RCC模型的个体(相当于空间中的物体)内部连通性,证明了该内部连通性是一阶语义可定义的。基于内部连通性,证明了核心模型的外延定理。
|
| 关 键 词： | 空间逻辑 RCC 最小连通 核心模型 |
| 收稿时间： | 2015/5/12 0:00:00 |
| 修稿时间： | 2015/9/29 0:00:00 |
On Countable Core Models of RCC |
| |
| ZHAO Xiao-rong,YU Quan and WANG Ju.On Countable Core Models of RCC[J].Computer Science,2016,43(4):241-246, 273. |
| |
| Authors: | ZHAO Xiao-rong YU Quan and WANG Ju |
| |
| Affiliation: | Department of Computer Science,Qiannan Normal College for Nationalities,Duyun 558000,China,Department of Mathematics,Qiannan Normal College for Nationalities,Duyun 558000,China;Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China and Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China |
| |
| Abstract: | 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 connection 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. |
| |
| Keywords: | Spatial logic RCC Minimal contactness Core-models |
|
|
点击此处可从《计算机科学》下载全文 |
|
