分布式知识库系统.PPT

10.2 分布式知识库系统 10.2.1 知识库 1.知识库基本概念 简单定义：知识库是存储常用知识(命令和规则等)的内涵数据库和存储事实(基本数据)的外延数据库的联合体。 知识库系统的接口：用户查询通过外延数据库隐含地使用存储在内涵数据库中的知识。 困难和问题：知识的表示，知识的一致性，和知识库的查询处理。 2.知识表示 在人工智能中有四类知识表达方法：产生式规则、框架、语义网络和数学逻辑。数学逻辑是用来表示人类思维和推理的最理想方法，也为知识库提供了最好的基础。 一般认为知识库是基于知识逻辑的数据库，或称为逻辑数据库和演绎数据库并假定它们都是基于关系数据库之上的。 称为Horn子句的一种特殊公式是逻辑数据库的基础。 一个Horn子句的形式为：设A和B1,B2，…，Bn是肯定的原子公式，及形式为P(t1,t2,…,tn)谓词，采用逻辑隐含符号“→”，那么一个Horn子句一般写成 B1∩ B2∩…∩Bn → A 一个Horn子句对应于一个规则。A称为规则的头，Bi的积称为规则的体。不为空的规则称为基本子句。一个空句是具有空体的规则，一个事实是没有变量的基本子句。因而，一个逻辑数据库可以定义成规则的一个集合，规则的谓词名字对应关系名或函数名，变量名对应于属性名，常数对应于属性值。一个逻辑数据库可以被解释为元组集合所能满足的全部谓词。此时，关系和谓词可以认为是对等的。 在逻辑数据库的规则中，一个重要类型的规则被称为递归规则，其头部和体部具有相同的谓词（递归谓词）。一个规则被称为线性递归，要求递归谓词在其体中出现一次。 例10.5 这是一个逻辑数据库的典型例子,它基于父辈和祖辈谓词。 parent(join,ann) parent(cathy,john) parent(michael,john) parent(sarah,cathy) parent(juliette,cathy) ancestor(D,A) ? parent(D,A) ancestor(D,A) ? parent(D,P),ancestor(P,A) 逻辑数据库包含五个事实，定义了parent关系（或parent谓词），还有两个规则定义了ancestor关系（或ancestor）。parent关系联系着一个孩子（第一属性）与他的父亲（第二属性）指定了外延数据库。模式的ancestor关 系（descendant,ascendant）是导出关系，并且指定了内涵数据库。例如，线形递归规则： ancestor(D,A) ?parent(D,P),ancestor(P,A) 翻译成: 如果有三个概念D,P和A,这样parent(D,P)为真,那么ancestor(D,P)也为真。这两个规则定义了ancestor关系把parent关系作为输入来导出ancestor关系。现举例查询: ? parent(cathy,P) return(cathy,john) ? parent(cathy,bill) return false 例10.6 考虑关系: part（pname，weight，support_pname） 其中pname和support_pname具有相同的域,weight是pname的重量.support_pname是组装到(支持)pname中去的零件名.如果p1零件支持p2, 则p1的总重量是p1和 p2单独重量之和. 逻辑数据库的另一个例子是（空值用null表示）： part（ p1 ，30， p2 ） part（ p2 ，20，p3 ） part（ p3 ，10，null ） part（ p4 ，10， null ） total_part(p，W，S) ? part(p，W，S) total_part(p,W,S) ? total_part(p,W1,p1) ,total_part(p1,W1,S)，sum（W,W1,W2） 外延数据库由part关系组成（4个事实），内涵数据库由同样模式的导出关系组成，它给出了每一零件的总重量。sum(W,W1,W2)是一个谓词，当W是W1和W2之和为真时，递归规则使得可以从一个零件导出被其传递支持的所有零