RCC的可数核心模型.docVIP

摘  要 RCC 的可数核心模型  研究生：耿继兵  导师：王驹 专业：基础数学 方向：数理逻辑 摘 要 年级：2007 级  空间逻辑是当前计算机理论、人工智能理论领域中正在兴起，而又具强大生命力的学 科。在很短的时间内，国内外形成很多科研团体，各个国家投入大量的科研经费。新的文 献如此之多，其规模和发展的速度，当前很少有其它的学科可以与之相比。经典的文献巨 著  Handbook of Spatial Logic [1] 在 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 的边缘模 型 Bx；Stell 的图模型 B?，都是在 Bc 的基础上对关系 C(x, y)用不同的方式扩充的结果。 核心模型的建立，使得我们可以在统一的框架中处理三种不同的模型，澄清了当前领域文 献中的理论疑点，为发现和建立更自然、适用的空间推理的模型打开了一个新的窗口。 (ⅱ) 提出和讨论了核心模型的一阶可定义的连通性公理，由此证明核心模型Bc 与国际 领域中熟知的三个模型 B? 、Bx 和 B?都不同构。 (ⅲ) 探讨了一般 RCC 模型的紧致性，构建了一类线序式核心模型Bl。线序模型在实 用的技术研究方面有独特的价值。 总的来说，一个好的形式化逻辑体系一定是由一个好的语义模型产生的。而我们的结 果是为更好的语义研究建立了一个较好的基础，开辟了更多的工作空间。 关键词：空间逻辑；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 Artificial Intelligence. It rises rapidly and inevitably. In the last few years, many strong research groups have been formed and governments in different countries have put huge amount of grants to support their own researches in this direction. Very few branches of science and technology can be in comparison with it in the sense of the scale and the speed of the development. The outcoming book: Handbook of Spatial Logic [1] that has been published in the year of 2007 (the book contains more than 1000 pages) is just an example to see its development. Among all existing formal systems of spatial logic, RCC(Region Connection Calculus) formal system solely has wide and deep impact. It is regarded as the most important system. To its semantics, mainl