rcc的可核心模型.pdfVIP

摘 要 RCC 的可数核心模型 研究生：耿继兵 导师：王驹 专业：基础数学 方向：数理逻辑 年级：2007 级 摘 要 空间逻辑是当前计算机理论、人工智能理论领域中正在兴起，而又具强大生命力的学 科。在很短的时间内，国内外形成很多科研团体，各个国家投入大量的科研经费。新的文 献如此之多，其规模和发展的速度，当前很少有其它的学科可以与之相比。经典的文献巨 [1] 著Handbook of Spatial Logic 在 2007 年出版，有 1000 多页，由此可见一斑。 RCC(Region Connection Calculus)系统是其中最有影响力的一个形式化空间推理系统。 国内外专家对其可数模型做了广泛、深入的研究。(Li ∕Ying [李三江及应明生]、Düntsch 、 Wang and Mccloskey、Stell 等) 。但当前讨论的RCC (及 GRCC) 的模型理论仍有一定的缺 陷，如缺乏数学的和逻辑的统一的框架设置等。我们从连接关系 C(x , y ) 的非冗余性的角度 考察已知的可数模型，提出了核心模型的概念并对其作了较深入的研究。由此，本文对该 前沿领域的独创性贡献是在 RCC 系统的模型研究方面。主要工作有如下几点： ( ⅰ) 在严格的代数理论基础上建立了 RCC 的核心模型 Bc(Core model of RCC) 。我们 证明：当前国际前沿中主要的三种模型，即 Li 及 Ying 的最小模型 B ；Düntsch 的边缘模 ω 型 B ；Stell 的图模型 B ，都是在 B 的基础上对关系 C(x , y )用不同的方式扩充的结果。 x ϕ c 核心模型的建立，使得我们可以在统一的框架中处理三种不同的模型，澄清了当前领域文 献中的理论疑点，为发现和建立更自然、适用的空间推理的模型打开了一个新的窗口。 ( ⅱ) 提出和讨论了核心模型的一阶可定义的连通性公理，由此证明核心模型B 与国际 c 领域中熟知的三个模型 B 、B 和 B 都不同构。 ω x ϕ (ⅲ) 探讨了一般 RCC 模型的紧致性，构建了一类线序式核心模型B。线序模型在实 l 用的技术研究方面有独特的价值。 总的来说，一个好的形式化逻辑体系一定是由一个好的语义模型产生的。而我们的结 果是为更好的语义研究建立了一个较好的基础，开辟了更多的工作空间。 关键词：空间逻辑；RCC ；最小连通；核心模型 I Abstract On the Countable Core Models of RCC Author: Jibing Geng Supervisor: Ju Wang Major: Basic Mathematics Field: Mathematical Logic Grade: 2007 Abstract Spatial Logic is an important area in the Computer Science and Artifici