非单调继承碎中的关系和扩张.pdfVIP

非单调继承系统中的关系和扩张 研究生：张亚江 导师：王 驹 教授 专业：基础数学 研究方向：数理逻辑 年级：2003级 摘 要 继承系统是建立在知识分层结构上的知识描述体系, 分层结构的第一个优点就是它 是一个有效的推理方式，另一个优点就是经过简洁的描述，它能够更有效的进行搜索。继 承系统最初的目标是为了描述一个普通的推理方法，此方法是和直觉有关的形式数学理 论。目前主要是对此直觉方面的争论: 可废止的继承特性中的带有继承特例的多种继承的 研究。带有特例的推理是复杂的，因为它包含了一阶逻辑以外的运算。使用在继承基础上 建立起来的形式主义，来表示非标准的推理规则，这就与缺省和非单调逻辑有关，但是它 包括了这两个逻辑没有的重要的继承观点。 对于非单调的继承系统的研究，最初是由Tourtzky 发展起来的，随着研究的进一步深 入，现在主要集中在两个方面的研究，一个是直接的方法，另一个是非直接的方法。但是 直接的方法看起来更直观一些，更具有直觉性。在可继承性的内容上，主要有两个研究的 领域。一个是对于可继承性的概念的研究，另一个是对于可继承性的推理研究，就是如何 构造扩张。本文主要对扩张的构造进一步进行阐述。 对于非单调继承体系的语义分析的许多阐述，无论直接的还是间接的，都建立了不同 的理论框架，我们不可能一一的去分析它们。本文仅讨论一种单一的框架所发展的一些理 论，就是建立在tourtzky的最初的或一些接近的相关的想法。本文的目的就是去描述将继 承关系添加到非单调继承体系当中，然后再具体的给出三种可继承性的扩张，研究一些扩 张的性质。因为在继承体系中研究的对象仅限于个体和类，首先将二元关系转化成一元的 类的概念，然后在继承的定义中做出相应地处理。将关系加入到继承体系中，知识的概念 得到了进一步的扩充，丰富了机器的识别语言，在人工智能领域的知识描述方面具有重要 的意义。 第一部分先介绍本文的简介和概述，第二部分介绍将关系转化为一种特殊的继承属 性，和一些基本的概念，这些基本的关于连接和路径的概念来源于[JohnF.horty]。第 三部分说明这些概念(个体，属性及关系)对于纯粹的可废止继承网络是如何构造继承的一 些直接的理论和推理。第四部分证明可继承性质的两种扩张的存在性和唯一性，以及扩张 的性质。最后两部分我们从数学的角度和深度去研究另外几种可继承性的扩张。 在可继承性的定义上，主要应该满足三个基本的条件，分别是可构造的，无矛盾的， 没有被优先占有的，可继承的性质和扩张都是建立在这三种定义基础之上的，这三个定义 分别是: 定义3.1.1 （可构造性） 在前后关系 Γ,Φ 中，一个肯定的路径 (ｘ,σ,ｕ) ｙ是可构造的，当且仅   I Relation and Extension in Nonmonotonic Inheritance Systems Author: Zhang Yajiang Supervisor: Prof. Wang Ju Specialty: Pure Mathematics Major: Mathematical Logic Grade: 2003 Abstract An inheritance system is a representation system founded on the hierarchical structuring of knowledge. The primary advantage of hierarchical structuring is that it is an efficient method of representation. A second advantage of hierarchical structuri