




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、2022-6-31第第9章章 知识库系统知识库系统9.1知识库系统概论知识库系统概论2022-6-32 随着计算机科学技术的发展,以计算机为工具的信息处理技术经历了数值计算阶段和数据处理阶段之后,已经进入了知识管理与处理的阶段,也就是说,计算机可以像人类一样具有进行创造性思维活动的能力,即其具有智能。计算机具有智能是计算机发展史上的一个划时代的标志,意味着信息社会进入一个知识信息处理的新时代,而知识库技术将使计算机应用系统具有更多的智能。 2022-6-33 由于知识库是智能计算机的核心部件,同时又是其他智能信息处理系统,例如智能机器人、智能视觉、自然语言理解及专家系统的关键部件和基础,因此成
2、为当前计算机科学研究的前沿,是一门正在逐步形成和迅速发展的新兴学科。 2022-6-34 知识库可以看作是数据库理论研究的产物,更确切地讲,知识库是人工智能(AI)和数据库(DB)结合的产物。如果说数据库就是把数据从应用程序中分离出来交予系统程序处理,则知识库就是把知识从应用程序中分离出来,交由知识系统程序处理。从研究角度看,AI和DB技术的结合将产生未来信息系统新的基础结构,从应用角度看,两者的结合最终将产生新一代信息系统。 2022-6-35 DB技术对AI的意义在于帮助AI系统规模进升到实用水平,而AI技术对DB的意义体现在以DB为基础的信息系统可以增加强有力的表达和推理能力,同时,对数
3、据库理论、功能、性能和数据库技术扩展等都可以起到推进作用。 2022-6-369.1.1 知识的概念知识的概念 1.数据、信息与知识数据、信息与知识 数据数据 数据是对事实的一种表达形式,包括数字、字符和图形。数据可以通过人工或自动化装置进行处理。 信息信息 信息是对人有用的,能够影响人们行为的数据。信息通过对数据加工处理而产生。 知识知识 知识是人类对客观规律的认识,是系统的有条理的信息。 例如,摄氏39度是一个数据,如果用来表示一个人体温,则成为一种信息;对于医生或具有保健常识的人来说,如果一个人的体温达到摄氏39度,则其正在发烧,需要及时治疗,这就称为一种知识。2022-6-37 2.知
4、识的要素知识的要素 知识的要素是指构成系统知识集合必须的基本知识元素,其中包括事实、概念和规则。 概念概念 概念给出知识的最基本内容,是知识的最底层基础,通常以名词形式出现,例如花,红色,太阳,风,雨等。2022-6-38 事实事实 事实是知识所表示的有关问题涉及到的事物、环境的常识性知识,如事物的分类、属性、事物之间的关系、科学事实、客观事实等。事实建立了概念之间的联系。事实是静态地为人们所共享、最低层次0层的知识,通常以“是”的形式出现。 2022-6-39 规则规则 规则由事实组成,建立了事实间的联系。规则是有关问题中与事物的行动、动作相联系的因果关系知识,这种知识是动态的,通常以“如果
5、则”的形式出现。例如启发式规则:如果下雨,则出门带伞。2022-6-310 3.知识的类型知识的类型 (1)过程型知识)过程型知识 (2)描述型知识)描述型知识 事实知识事实知识 判断型知识判断型知识 (3)元知识)元知识 组织知识的元知识组织知识的元知识 利用知识求解问题方向的元知识利用知识求解问题方向的元知识 从知识源获取知识的元知识从知识源获取知识的元知识 2022-6-3119.1.2知识库知识库 知识库管理系统和知识库系统知识库管理系统和知识库系统 1.知识库知识库 从知识存储的角度来看,知识库是知识的集合。当然,这些知识包括概念、事实与规则。由于概念一般均包含在事实内,实际上知识库
6、中应当包含事实与规则两个部分,而仅由事实组成的知识库只能认为是广义的知识库。2022-6-312 2.知识库管理系统知识库管理系统 知识库是知识的集合,当知识以一定结构方式存储并具有一定共享性和持久性,且这种集合的元素数量很大时就需要进行管理,管理知识库的计算机软件就称为知识库管理系统(knowledge base management system, KBMS).2022-6-313 知识库管理系统应当具有以下功能: 支持传统数据库管理系统的一切功能 具有一种对知识进行操纵和处理的描述性语言 这种观点是Ulman在其名著“Principle of database and knowledge
7、 system”中提出的。 2022-6-314 目前,一般知识库管理系统可以用如下的几个方面来刻画其特性。 (1)KBMS所管理的知识仅限于事实和规则两种。 (2)KBMS应能管理大量的知识 (3)KBMS所采用语言大多用逻辑语言,即用谓词表示 (4)KBMS的核心是一个推理机制(inference engine),它完成对知识的操纵,其中包括对知识的一致性校验,知识的演绎检索。2022-6-3153.知识库系统知识库系统 如果一个系统具有使用计算机所存储的知识对输入数据进行解释,生成作业假说并对其进行验证的功能,则称该系统为一个知识库系统(knowledge base system,KBS
8、)。 按照上述知识库系统概念,知识库系统中知识,是系统本身进行推理过程中所利用的信息,而不是提供给系统使用者的信息。由此可以知道,知识库系统与数据库系统的重要区别之处在于,它并非向用户提供查询的信息,而是提供根据数据输入数据信息通过知识推断而得到的结果。2022-6-316 从逻辑构成上来看,知识库系统的基本组成情况如下图 所示。2022-6-317 从具体资源组成上来看,知识库系统是一种资源的集成,它包括硬件、软件、信息和有关人员,具体有如下内容: 知识库及相应的存储机构 知识库管理系统及相应的机器 知识获取机构及相应的人员(包括知识工程师) 知识库管理员。2022-6-3184.知识库系统
9、实现的关键技术知识库系统实现的关键技术 知识表示知识表示 知识利用知识利用 知识获取知识获取 2022-6-3199.1.3知识库语言知识库语言 研究知识库系统十分重要的一点就是研究知识库语言,从数据库领域引进AI技术的角度,对知识库语言的研究主要集中在逻辑语言上,这是因为逻辑语言接近于自然语言,具有良好表达能力与推理能力,比较符合知识库系统的要求。目前用作知识库逻辑语言的主要分两类:以Prolog和以Datalog为代表。当今国际上领先的两个知识库试验系统NAIL和NU-Prolog所使用的知识库语言都是由Datelog和Prolog扩充的。2022-6-320 1.Prolog Prola
10、g是一种基于一阶谓词的逻辑程序设计语言,它由R.Kowalskv和A.Colmerauer首先提出,它在AI和知识库的实现技术中具有重要作用。我们知道,数理逻辑的一种形式是一阶谓词演算,一阶谓词演算的一种形式是子句,子句的一种形式是Horn子句。任一种子句形式描述的逻辑表达式都可以用Horn子句的形式来描述。而Prolog语言作为数据库系统中演绎推理公理系统,具有很强的逻辑描述能力和推理能力。它也使数据库系统和知识库系统两者具有共同的坚实的数学基础。 2022-6-321 作为一阶谓词的逻辑语言,Prolog在实现知识库中具有如下特征: 一阶谓词逻辑的语言是形式化的严格定义 一阶谓词逻辑的语言
11、十分简单易懂 逻辑公式不需要重复表达,与不同应用无关 事实、假设、推理、查询、视图和完整性约束条件都能以基于一阶谓词逻辑的Prolog表达。2022-6-322 2.Datalog Datalog语言是Prolog语言的一种特殊形式,由于prolog语言是一种适应面较为广泛的通用语言,它在数据库、知识库领域中虽然也能适应,但是也存在一定的不足之处,这主要是数据库及知识库领域中具有一定的特殊性 2022-6-323 在知识库中,知识个数是有限的数量有限 在知识库中,一般只有知识操作而很少有计算操作操作受限 因此在实际上需要对prolog进行一定的限制,使其在知识库领域中发挥更大作用,而Datal
12、og即是Prolog的一种适应于知识库的改进形式语言,是一种受限的Prolog语言,适用于知识库。2022-6-3249.2传统的知识表示模式传统的知识表示模式 9.2.1知识表示基本概念知识表示基本概念 知识表示是指知识的符号化,它包含两层知识表示是指知识的符号化,它包含两层含义:用给定的知识结构,按一定的原则,含义:用给定的知识结构,按一定的原则,组织表示知识;解释所表示知识的意义。组织表示知识;解释所表示知识的意义。就其形式而言,知识表示就是用来组织求就其形式而言,知识表示就是用来组织求解某问题的一组描述约定。知识表示是人解某问题的一组描述约定。知识表示是人工智能和知识工程中的一个核心研
13、究领域,工智能和知识工程中的一个核心研究领域,是知识库有效表示知识、运用知识和管理是知识库有效表示知识、运用知识和管理知识的关键技术。知识的关键技术。2022-6-325 知识表示方法种类繁多,分类标准不尽相同,通常由直接表示、逻辑表示、产生式规则表示、语义网络表示、框架表示、脚本方法、过程表示、组合型知识表示方法、面向对象表示方法等,其中主要的知识表示方法及其彼此间联系如下图 所示。2022-6-3262022-6-3279.2.2知识的谓词逻辑表示知识的谓词逻辑表示 在知识库中目前大都采用“概念-事实-规则”三级层次的知识构造体系。这种体系的知识表示方法也很多,在人工智能和知识工程领域学科
14、中知识表示方法已经成为一个专门领域。由于谓词逻辑本身的很好的一些基本特点,当前的知识库系统中一般采用谓词逻辑表示方法。 2022-6-328 尽管其他知识表示方法各有千秋,但由于谓词逻辑表示方法简单,比较适合于知识库中的知识构造体系,具有较强的推理能力和相对较好的理论基础,在知识库系统中被广泛采用而作为一种主要的知识表示方法。2022-6-329 在谓词逻辑表示的知识构造体系中,概念、事实与规则可分别用个体(或变元)、谓词与谓词公式表示,它们可使知识表示具有统一的结构模式,以后还可以将谓词进一步改造成某种具有结构简单的称为Hom逻辑的统一标准形式。 2022-6-3309.2.3知识的产生式表
15、示知识的产生式表示 产生式知识表示方法也称为产生式规则知识表示方法。由于该表示方法是建立在因果关系基础之上,可以方便的描述事实、规则和进行不确定性度量。2022-6-331 1.事实的表示事实的表示 事实可以看作是断言一个语言变量的值或者多个语言变量间关系的陈述句。 一般用三元组(对象,属性,值)或(关系,对象1,对象2)k来表示事实,其中对象就是语言变量。如果考虑不确定性就变化为用四元组(对象,属性,值,不确定度量值)来表示。这种表示在机器内部的实现就是一张表。 例如 对事实“老李今年40岁”即为(李,年龄,40),而“老赵和老张是同学”即为(同学,张,李)。2022-6-332 2.规则的
16、表示规则的表示 规则表示是事物间的因果关系,以“if condition then action”的单一形式表示,其中condition部分成为前件,而action部分成为后件。 产生式的一般形式为前件、后件。前件部分通常是一些事实的合取与析取,而后件通常是某一事实。如果考虑不确定性,则需要另附加可信度量值。2022-6-333 在自然界的各种知识单元中存在着大量的因果关系,这些因果关系转化为前件和后件,用产生式规则表示非常方便。产生式规则与逻辑蕴含式非常相似,当逻辑蕴含式 十 产生式的一种特殊形式,只能表示确定性的知识,其值只能是真或是假,在使用谓词逻辑中的蕴含式的匹配规则必须是精确的。20
17、22-6-334 3.产生式系统结构产生式系统结构 专家系统多是以产生式表示知识,将一组产生式放在一起,让它们相互匹配,协同工作,一个产生式的结论可以供另一个产生式作为前件使用,以这种方式求解的系统就称为产生式系统。一个一般的产生式系统如图9-4所示,有知识库和推理机组成,而知识库又由数据库和规则库组成。2022-6-3352022-6-3369.2.4知识的语义网络表示知识的语义网络表示 语义网络是一种用实体及其语义关系来表达知识的知识表达方式。从结构上来看,语义网络一般是由一些最基本的语义单元组成。这些最基本的语义单元被称为语义基元,这些语义基元是由有向图表示的三元组(结点1,弧,结点2)
18、,如下图所示。2022-6-3372022-6-338 其中,结点表示实体,代表各种事物、概念、情况、属性、状态、事件、动作等;弧是有方向和有标注的,方向体现了结点所代表的实体的主次关系,即结点1为主,结点2为辅。弧线上的标注表示它所连接的两个实体之间的语义联系。应该注意在语义网络中,弧的方向是不能随意调换的。2022-6-339 但多个语义基元用相应的语义联系关联在一起的时候,就形成了一个语义网络。下图是命题“小学生坐车去参观”的语义网络图。2022-6-3402022-6-341 由语义网络的结构特点可以看出,语义网络不仅可以表示事物的属性、状态、行为等,而且更适合于表示事物之间的关系和联
19、系。图9-6表示的语义网络图既表示了小学生的所属(性质),又表示了小学生与“参观”、“坐车”之间的联系。事实于规则的语义网络的表示结构是相同的,区别在于弧上的标注不一样。2022-6-342 语义网络表示法和产生式表示法之间有着对应的表示能力。语义网络基元是一种知识的单位,人脑的记忆是由存储了大量的网络基元来体现的。而产生式表示方法是以一条产生式规则作为知识单元的,各条产生式规则没有直接的联系。同样从逻辑表示法来看,一个语义网络相当于一个二元谓词。 2022-6-343 例如,如果有谓词逻辑表示法Relation(object1,object2),则用语义 网络表示则为(object1,rel
20、ation,object2),也可以改写为谓词P(个体1,个体2),其中个体分别对应于结点,而弧及其弧上的标注的结点间关系由谓词P来体现。 再如,“小李和小王是同学”语义网络如下图所示。2022-6-344 对应的产生式表示法为 If Li and Wang then classmate 谓词逻辑表示则为 Classmat:Classmate(Li,Wang)2022-6-3459.2.5知识的框架表示知识的框架表示 1.框架的基本概念框架的基本概念 框架(frame)是将某类对象的所有知识组织在一起的一种通用数据结构,而相互关联的框架连接成框架系统。一个框架由框架名和若干个槽(slots)组
21、成,槽值描述框架所表示实体的各个属性。每个槽又可以由多个则面(faces)组成,各个侧面从不同方面来描述槽的特性。2022-6-346 槽值有四种填写方式: 由上下文提供; 通过默认值隐含; 通过属性继承获得; 通过附加过程推理得到。2022-6-347 框架之间通过泛化联系联结成上下层面的纵向联系,还可以通过槽值为另一个框架名的嵌套联结成横向联系。整个框架系统由纵、横联系成为一个具有层次的网络结构,框架推理时由上下文中的数据选择候选框架,通过上下文查询、默认、继承、附加过程等获得属性值,按照框架中各个槽的次序填入,使候选框架具体化,以生成一个描述当前情况的实例。2022-6-348 2.框架
22、的构造框架的构造 框架由一组描述事物各个方面的槽组成,每个槽拥有若干个说明槽值的不同类型的侧面,每个侧面具有不同的值。框架的基本组成如下述所示 (Frame Name Frame Type (Slot1: Name Slot1: Type (Fact1: (Datum1) (Factj: (Datumj) 2022-6-349 (Slotm: Name Slotm: Type (Fact1: (Datum1) (Factj: (Datumj) 其中各个组成组成部分的意义介绍如下2022-6-350 (1)Frame Name 知识库内框架的名称 (2)Frame Type 知识库内框架的类型,
23、可以分为四类: Class 抽象概念的框架 Instance 具体实例的框架 Fact 事实框架 Rule 规则框架2022-6-351 (3)Slot Name 槽名,槽是表示具有独立语义的属性单元 (4)Slot Type 槽类型,具有两种不同的类型: Relation Slot关系槽,说明上下框架的联系 General Slot普通槽,说明属性2022-6-352 (5)Facet 侧面,表示属性值的操作类型,常用操作有以下几种: Value 属性值为常数 If Needed 调用属性值获得过程 Default 属性值为默认值 If Added 调用属性值追加过程 If Removed
24、调用属性值删除过程。 (6)Datum 属性值,或属性值获得过程名。2022-6-353 3.事实的表示事实的表示 事实框架是一个具体事例,例如一个状况,一个概念、一个事件等,下面就是一个关于描述人、职工、教师的概念框架和具体的职工、教师实例框架的例子。2022-6-354 例例9-1 人 class 上位框架:生物 下位框架:职工,教师 性别:男,女 年龄:1,100 身高:IF-ADDED ASK 体重:IF-NEEDED CALCULATE2022-6-355 职工 class 上位框架:人 下位框架:张,王, 工种:制造,装配,电焊, 工资:1000,5000 工龄:1,402022-
25、6-356 教师:class 上位框架:人 下位框架:王老师,李老师, 职称:助教,讲师, 教龄:1,40 工资:2000,8000 专业:英语,数学,2022-6-357 李华 INSTANCE 上位框架:职工 性别:男 年龄:24 身高:1.73 工种:制造 工资:1500 工龄:5年2022-6-358 王丽 INSTANCE 上位框架:教师 性别:女 年龄:38 身高:1.65 体重:53公斤 职称:副教授 教龄:15年 工资:4500元 专业:英语2022-6-359 4.规则的表示规则的表示 在框架系统中,规则知识框架的类型用Rule表示,类似于产生式规则表示,框架中具有if ,t
26、hen两个部分,分别由不同的槽来记述。If部分记述规则知识的条件,then部分记述规则的结论或者操作。2022-6-360 例例9-2 设有知识“如果一个人在大学工作,主要从事教学或科研工作,并且学历为研究生,则他就为教师”,其框架表示如下: 职业 RULE IF 工作单位:大学 工作内容:教学或科研 文化程度:研究生 THEN 该人是教师。2022-6-3619.4知识库系统原理知识库系统原理 当前,知识库系统中的知识一般分为事实和规则两种,它们都用一阶谓词逻辑表示,而知识库的推理规则采用一阶谓词逻辑中的证明论与模型论理论,基于这两种理论都可以产生知识推演的算法,即以归结原理为代表的基于证明
27、论的算法和以魔集算法为代表的基于模型论的算法。2022-6-3629.4.1知识库系统中的一阶谓词逻辑表示知识库系统中的一阶谓词逻辑表示 一阶谓词逻辑是知识表示的一种有效方法,它具有表示能力强、手法简练,具有强大数据理论支撑。因此,目前知识库系统大都用它作为知识表示工具。当然,为了适应知识库系统的实际表示需要,在表示知识时往往对一阶谓词逻辑作一些必要的改造。 2022-6-363 1.七种基本符号七种基本符号 个体常量符号 如a,b,c, 个体变量符号 如x,y,z, 函数符号 如f, g,h, 谓词符号 如P,G,R, 联结符号 量词符号 逗点与括弧符号“,”,“(”,“)”2022-6-3
28、64 2.项项 个体常量是项 个体变量是项 设f是n元函数符号,t1,t2,tn是项,则f(t1,t2,tn)是项 项由且仅由有限次使用上述步骤生成2022-6-365 2.原子公式原子公式 P是n元谓词,t1,t2,tn是项,则P(t1,t2,tn)是原子公式,原子公式也称为原子。2022-6-366 3.一阶谓词逻辑公式(公式)一阶谓词逻辑公式(公式) 原子公式是公式 如A,B是公式,则A,A B,A B,AB,A B是公式 如A是公式,x为个体变量,则xA和xA是公式。 公式由且仅由有限次经过上述步骤生成。2022-6-3679.4.2子句子句 阶谓词逻辑公式的表示方法具有表达能力丰富和
29、表示方法简洁的优势,但其表示不够规范,不太适合计算机中使用和处理,需要做必要的改造,使其具有一定的规形式,这就是子句形式和Horn子句形式,简称为子句和Horn子句。2022-6-368 1.子句子句 (1)子句)子句 具有下述形式的公式称为子句 A1A2Ak Ak+1Ak+2 An 其中Ai为原子公式 2022-6-369 (2)公式化为子句集合)公式化为子句集合 将公式转换为一阶谓词逻辑中的Skolem范式,Skolem范式是一种标准范式,具有下述形式: y1y2ymx1x2xn(A11A12A1k1)(A21A22A2k2) (Ar1Ar2Arkr) 其中Aij为原子公式或原子公式的否定
30、。2022-6-370 将出现有存在量词约束变元换为某种约束函数(称之为Skolem函数)以取代存在量词,经过此种代换后,Skolem范式中仅出现有全称量词。2022-6-371 去掉Skolem范式中所有前缀,即所有全称量词,并只要做一个简单的假定,即公式中所有变元均为全称量词化的。到此为止,一个公式可以改造为如下形式之合取范式:(A11A12A1k1)(A21A22A2k2) (Ar1Ar2Arkr)2022-6-372 将上述合取范式中的合取项作适当改造,这个合取项是个析取式。将析取式中的原子公式用交换律将其置换于子式的左部,而将所有原子公式否定用交换律置换于子式的右部,并且进一步将否定
31、符号用对偶律提取括弧外从而构成如下公式形式: (Bi1Bi2Bik) (Bik+1Bik+2Bik) 2022-6-373 进一步改造上式,用Q P等价于PQ可以得到如下公式形式 Bik+1Bik+2BikBi1Bi2Bik 此为子句形式。2022-6-374 进一步可以认为,(3)中的合取范式与(5)中形式的子句形式的子句集合的永真性是等价的。因此,可以认为任一个公式可以用子句集合表示。 这样,子句成为具有表示普遍性的一种合适形式,它具有表示方式单一,又具有蕴含形式,易于进行知识推理,所以非常适合于在计算机中使用。 2022-6-375 一般,为表示方便起见,可以将子句定义中的形式改写为如下
32、形式: Ak+1Ak+2AnA1A2 Ak 或进一步将“”替换成“:-”而得: Ak+1Ak+2An:-A1A2 Ak2022-6-376 子句表示有很多表示上的优点,但也有不足之处,其主要之点是这种形式用于推理时其蕴含后件是析取式,这种析取式引起了推理结论的不确定性。为改变这种情况,瑞士数学家Horn将子句作进一步改造,构成一个子句的特殊形式,称为Horn子句。2022-6-3779.4.3 Horn子句子句 1.Horn子句子句 具有下述形式的子句称为Horn子句: An A1A2Ak 或An: -A1A2Ak2022-6-378 2.Horn子句的基本特例子句的基本特例 Horn子句的几
33、个特例在以后讨论中是有用的。 断言断言 当Horn子句中n=1,则称其为断言,断言具有下面形式 An或An:- 也可以简单的表示为An 假设假设 当Horn子句中K=n,则称其为假设,假设具有下面形式 A1a2Ak 或: -A1a2Ak 空子句空子句 当Horn子句中K=0,则称其为空子句,空子句具有下面形式 或 2022-6-3799.4.4Datalog表示方法表示方法 Horn子句表示方法是较好的一种逻辑知识表示方法,以这种形式为基础所研制的逻辑程序设计语言Prolog已经被广泛用于人工智能等各个领域。但是它在数据库与知识库的应用中还需要略作修改。这种Horn子句在数据库和知识库中的表示
34、版本称为Datalog。2022-6-380 Datalog作为特殊的Horn子句,它满足如下几条限制: Datalog中项仅由个体常量或个体变量组成,不含有函数 Datalog必须满足安全性规则2022-6-381 在数据库或知识库中,数据必须是有限的,任何出现有变量的地方必须作量的限制,否则这种表示形式在计算机内会产生无法计算的现实。因此Datalog关系对其中出现的变量作量的限制。Datalog的安全性规则具体表示是,在Datalog的变元中,或者出现变元为a(x=a)(此时变量受限),或者谓词中变元受限,或者变元x=y而y受限。2022-6-382 此外,为使Datalog使用方便,在
35、其内引入若干个内部谓词,即常谓词。如x=y:Eq(x,y),xy:G(x,y). 目前,数据库和知识库中所使用的逻辑表示方法大都采用Datalog2022-6-383 datalog中不含函数是为处理方便而加的限制,但是在使用中往往会产生能力不够强的缺点。因此有时也会引入带有函数的Datalog表示方法,同样Datalog不含否定符,在使用中也会出现类似问题,人们也引入“带否定的Datalog”。在一般情况下我们不讨论这些特殊的Datalog。2022-6-3849.4.5 .基于证明论的知识库系统基于证明论的知识库系统 1.证明论要点证明论要点 证明论(proof theory)是传统数理逻
36、辑的一个分支,它采用公理系统方式求解问题。在所讨论的知识库系统中,由于采用一阶谓词逻辑作工具,因此主要讨论一阶谓词逻辑证明论。在这种理论中必须建立公理系统,这可以用下面方法完成。2022-6-385 建立一组推理规则,一般推理规则是A,AB可得B。 定义一个证明过程,一般一个证明过程可以定义为一个公式序列,其中公式(K)可由公式(1)(K-1)及公理通过推理规则得到。2022-6-386 最后可得到公理系统的定理,一般,如有证明过程 P:P1,P2,Pn 其中Pi(i=1,2,n)为公式,Pn即为由给定公理系统通过证明论过程而得到的定理。 在给定公理后,通过证明过程而得到定理,这种求解问题的方
37、法称为证明论方法。 2022-6-387 多年来,人们希望能通过计算机自动实现证明过程,这就是定理的自动证明。1996年美国数理逻辑学家R.robinson证明了这个自动证明问题是“半可判定的”,即只要有解,就一定可以用自动求解方法获得。与此同时,他还给出了自动证明的算法,此法就称为归结原理(resolution princple)。2022-6-388 2.归结原理归结原理 下面以子句形式讨论归结原理 设有子句S=E1,E2,En E为公理,需要求证E为其定理,此时可以用归结原理表示如下2022-6-389 (1)将E取反得 E,将S与 E组成一个新的集合S = E1,E2,En,E (2)
38、从 E开始在S中不断使用反驳法。反驳法是这样一种方法,如设有子句: A,B:-C,D C,E:-A,F 则必有B,E:-D,F2022-6-390 这种方法表示,两式“:-”不同边子目标相消而相同边子目标相增。上边两式中,A,C可相消,而左边B与E相增,右边D,F相增而得B,E:-D,F。 (3)最后出现空子句 而结束,此时该定理已证。2022-6-391 3.基于证明论推理机制基于证明论推理机制 在归结原理中仅仅使用反证法即反驳法,比较容易在计算机上实现,因此以归结原理为算法基础,以Horn子句为表示形式的证明论求解方法在上个世纪60年代与70年代大为风行,并且在prolog中得到实现。20
39、22-6-392 在知识库中用证明论方法作演绎推理以获得新知识的过程: 建立知识数据库系统公理。 建立基于归结原理的推演机构(inference engine)。 利用公理与推演机构进行知识的推演查询。2022-6-393 4.知识库系统公理知识库系统公理 (1)特殊性公理,给出知识库的环境要求 (2)事实性公理,给出公理中的事实 (3)演绎性公理,给出公理中的规则 (4)特殊性公理主要有三条:2022-6-394 域封闭性公理 对知识库中知识的个体变量做出了限制,即变量的变量域是有限域 完全性公理 对知识库中事实做出限制,即事实是有限的 惟一命名公理 对知识库中出现的个体常量命名进行限制,即
40、它们的命名必须具有惟一性2022-6-395 上述三条公理的后两条事实上可以用另一条公理替代,该公理称为“封闭世界公理”(closed world assumpton,CWA)。CWA的含义是,对某个谓词以及依附该谓词的一个指派,如不是成真指派则必是成假指派。在知识库中出现的与该谓词相关的事实以外的所有指派都可以认为是成假指派。2022-6-396 如有谓词parent(x,y),并设知识库中相应的parent(x,y)的事实为 parent(a,b) parent(c,d) parent(e,f) 则认为除了上述三个事实外,其他对parent(x,y)的任意指派均为假,如praent(g,h
41、)和parent(a,c)等。2022-6-397 事实公理有知识库中的事实构成,演绎公理由知识库中的规则构成。这样,知识库系统的公理体系就是由特殊性公理及知识库中的事实与规则组成。由于目前基于归结原理建立的这种推演机构的具体实现算法较多,这里就不再做详细介绍。2022-6-3989.4.6基于模型论的知识库系统基于模型论的知识库系统 模型论(model theory)是传统数理逻辑的一个分支,它使用模型作为问题求解工具,在知识库系统中主要采用一阶谓词逻辑作为表示方法,因此称为一阶谓词模型论。2022-6-399 1.一阶谓词逻辑模型论一阶谓词逻辑模型论 一阶谓词逻辑模型论由下面的三元组组成:
42、(L,M,)其中: (1)L表示语言,即指定模型所采用的数字语言,亦即是一种基于一阶谓词逻辑的逻辑语言。它由一些常量、变量、函数和谓词等按照一阶谓词逻辑公式定义的要求所构成。它的基本组成单元是子句。句子即是一阶谓词逻辑中的公式,如一个句子中变量均呈现约束状态,则称该句子为语句。L语言为模型论理论提供了书写语言。2022-6-3100 2)是用L语言所写的一个句子集合。一般而言,该句子呈语句形式,刻画了所研究对象的普遍性规律。 (3)M是一个解释,称为结构或L-结构。在L中是常量、函数、谓词均可赋值,变量可阿确定值域。对于L中常量、函数和谓词的一组赋值,变量的一种定义与指定称为L的一个解释,或称
43、为一个结构,因此M应当是如下的四元组: A,Pi(iI),Fj(jJ),ck(kK)2022-6-3101 其中 A是一个非空集合,是L中所有变量的定义域。 Pi定义了L中谓词:Pi(x1,x2,xn)的一组成真指派或一个解释,即Pi是一个由An到T的一个映射: Pi:An T (i=1,2,n) Pi(i=1,2,n)是L中出现的所有谓词。2022-6-3102 Fj定义了L中函数fj(t1,t2,tn)的一个解释,即Fj是一个由Am到A的映射: Fj:AmA (j=1,2,m) 即f1,f2,fm是L中出现的所有函数。2022-6-3103 ck定义了L中常量Ck的一个解释,即ck给出了常量Ck的一个具体取值(k=1,2,p)c1,c2,cp是L中出现的所有常量。2022-6-3104 L中可以有多种解释,但人们感兴趣的解释是使为真的那些解释。设=1,2,n,其中i是L中的句子,如果有解释M使i为真,则该M即是i的一个模型,如果解释M使所有i(i=1,2,n)为真,则称M是
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 公司财产财物管理制度
- 教师年度考核个人工作总结14篇
- 洪涝灾害综合监测预警-辰安
- 广东省广州市2024-2025学年高二下册3月月考数学试卷附解析
- 福建省福州市2024~2025学年 高三下册第十九次质量检测数学试卷附解析
- 专题五 日益重要的国际组织 综合练习国际组织
- 混合开发性能提升-洞察阐释
- 神秘宝藏猎人基础知识点归纳
- 员工评语性格暴躁评价
- 社区社区服务设施社会效益评估管理基础知识点归纳
- 2025年全国普通高校招生全国统一考试数学试卷(新高考Ⅰ卷)含答案
- 工地工人进出管理制度
- 公房动迁利益分配协议书
- T/CSPSTC 75-2021微动探测技术规程
- 2025中考英语临考押题卷(长沙卷)(解析版)
- 静脉血栓栓塞症预防知识考核试题及答案
- 儿童语言发展路径与行为特征分析-洞察阐释
- 中建生产培训
- 早发性卵巢功能不全患者免疫机制与T淋巴细胞细胞因子关联研究
- 《当代数字经济》课件
- 【语文】第23课《“蛟龙”探海》课件 2024-2025学年统编版语文七年级下册
评论
0/150
提交评论