第9章知识库系统.ppt

* * 如有谓词parent（x，y），并设知识库中相应的parent（x，y）的事实为 parent（a，b） parent（c，d） parent（e，f） 则认为除了上述三个事实外，其他对parent(x,y)的任意指派均为假，如praent（g，h）和parent（a，c）等。 * * 事实公理有知识库中的事实构成，演绎公理由知识库中的规则构成。这样，知识库系统的公理体系就是由特殊性公理及知识库中的事实与规则组成。由于目前基于归结原理建立的这种推演机构的具体实现算法较多，这里就不再做详细介绍。 * * 9.4.6基于模型论的知识库系统 模型论（model theory）是传统数理逻辑的一个分支，它使用模型作为问题求解工具，在知识库系统中主要采用一阶谓词逻辑作为表示方法，因此称为一阶谓词模型论。 * * 1.一阶谓词逻辑模型论 一阶谓词逻辑模型论由下面的三元组组成：（L，M，∑）其中： （1）L表示语言，即指定模型所采用的数字语言，亦即是一种基于一阶谓词逻辑的逻辑语言。它由一些常量、变量、函数和谓词等按照一阶谓词逻辑公式定义的要求所构成。它的基本组成单元是子句。句子即是一阶谓词逻辑中的公式，如一个句子中变量均呈现约束状态，则称该句子为语句。L语言为模型论理论提供了书写语言。 * * 2）∑是用L语言所写的一个句子集合。一般而言，该句子呈语句形式，∑刻画了所研究对象的普遍性规律。 （3）M是一个解释，称为结构或L-结构。在L中是常量、函数、谓词均可赋值，变量可阿确定值域。对于L中常量、函数和谓词的一组赋值，变量的一种定义与指定称为L的一个解释，或称为一个结构，因此M应当是如下的四元组： {A，Pi（i∈I），Fj（j∈J），ck（k∈K）} * * 其中 ●A是一个非空集合，是L中所有变量的定义域。 ●Pi定义了L中谓词：Pi（x1，x2，……，xn）的一组成真指派或一个解释，即Pi是一个由An到T的一个映射： Pi：An→ T （i=1，2，……，n） Pi（i=1，2，……，n）是L中出现的所有谓词。 * * ●Fj定义了L中函数fj（t1，t2，……，tn）的一个解释，即Fj是一个由Am到A的映射： Fj：Am→A （j=1，2，……，m） 即f1，f2，……，fm是L中出现的所有函数。 * * ● ck定义了L中常量Ck的一个解释，即ck给出了常量Ck的一个具体取值（k=1，2，……，p）c1，c2，……，cp是L中出现的所有常量。 * * ● L中∑可以有多种解释，但人们感兴趣的解释是使∑为真的那些解释。设∑={σ1，σ2，……，σn}，其中σi是L中的句子，如果有解释M使σi为真，则该M即是σi的一个模型，如果解释M使所有σi（i=1，2，……，n）为真，则称M是∑的一个模型，记为 M ?∑ 模型论就是满M ?∑足的三元组（L，M，∑）的数学理论。 * * 2.模型论与知识库系统 在知识库系统中用模型论中的模型思想作为获取新的知识和方法。其基本思想是建立知识库系统的模型论三元组（L，M，∑），其中L为Datalog，而为Datelog子句集合。由于datalog不含有函数，此时M仅由三元组组成：（A，Pi，ck）。这种三元组在知识库系统中的表示为：L是Datalog，∑是知识库中的事实与规则，而M是满足M ?∑的模型，即知识库系统中演绎查询的结果。 * * 在模型论中M可以有多个，但并非都是演绎查询的最好结果，只有那些具有最小范围的解释才是真正演绎查询结果，这种解释称为最小解释。 * * 例10-1 设有p（x）、q（x）和r（x）组成的知识库如下： r（1） p（x）：-q（x） q（x）：-p（x） 求出该知识库所能演绎出的知识。 * * 用模型论方法求解。 首先用L构造∑如下： {r（1），p（x）：-q(x), q（x）：-p（x）} 接着构造若干M如下： M1={p（1），q（2），p（2），p（3）}，这是一个模型 M2={q（1）}，这不是模型 M3={p（1）}，这不是模型 M4={p（1），q（1）}，极小模型。 * * M4是极小模型，因为任何比它更小的结构（M2，M3）均不是模型。M4也是惟一极小模型，因为极小模型只有一个。此类惟一极小模型也称为最小模型。这个模型结果与证明论中所推演的结果应当是一致的。例如，可以用归结原理得到如下结论。 * * (：-p（1），p(1):-q(1)):-q(1) (，p(1):-q(1), ：-q（1）):-r(1) (:-r(1), r(1):-) ) □ 由此可知p（1）和q（1）是演绎结果。这样可以得到结论：“可以用模型论中最小模型作为知识库系统中的演绎查询结果”。 * * 9.5知识库系统体系结构 当前知识库系统中涉及到的数据库基础平台仍