RCC的可数核心模型

• 作者: 余泉 王驹 赵晓蓉
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 空间逻辑 RCC 最小连通 核心模型
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 人工智能
• 页码范围: 241-246,273
• 页数: 7页
• 分类号: TP301.6
• 字数: 11497字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.4.049

摘要

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