扩充逻辑程序设计的R—演算—知识库维护的操作方法.pdf.pdf

文档介绍：维普资讯
第卷第期计算机学报。。. 。
年月. 。
知识库维护的操作方法
垫奎圭
北京航空航天大学计算机科学与工程系北京。
摘要本文首先介绍丁知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念;然
后给出了一个扩充逻辑程序设计的框架,在这一框架下,每个逗墨强扉善价于一个卸识库;进一步定
义了一个转换系统,称为扩充通罄里堡的演算,对一个给定的知识库和用户反驳,此演算可以
导出知识库的最佳修正;同时证明了该演算的可靠性和完备性;另外,对本文的工作与其他相关工作
进行了比较;最后,给出了本文的结论牛.
关键调芝里壁墼尊,操作方法
—:


凸枷删。忡晰棚Ⅲ曲岫, 曲,
,
,
—
. —.
,—
. —.
. ,.
, ,
引言

.
最有影响的信念修正的方法之一是,和以下简称的理论修改
,,博士生导师,研究方
向为计算机科学理论及人工智能.
维普资讯
计算机学报正
逻辑. 理论首先形式地定义了信念修正的基本特性,给出了扩展、修正和约
,而新的知识同知识库中当前的知识没有冲突,我们可
以把这些新知识加入到知识库中;,而我们要求知识库
永远是协调的,这时我们需要用某种方式来解决冲突;
且不得:放弃时,, 深入地研究了这些概念
,用的语言来讲是给出了关于这些概念的公设
.
进一步指出,如果从知识库推出的结论与事实不符,则根据他们的“信息经济原则”,知识库的
最佳修改应该是此知识库中与~ 协调的极大子集. 称这个修改为极大选择约减—
.
由于知识库中与一协调的极大子集不只一个, 假定根据他们的信息经济原则最佳修改只有一
, 的理论没有给出一个掏造性的方法来建立这种极大选择约减.
最近,李未以开放逻辑一为理论基础,提出了一个知识库维护的逻辑框架并给出了一个称为演算的转
换系统】.当知识库的结论受到用户反驳时,
础上,为基于扩充逻辑程序设计Ⅲ的知识库定义了一个转换系统,以便当用户反驳出现时规约出知识库的所
.
基本概念
本文使用的形式语言是一阶语言,在文献中可以找到的严格定义.,和将被用来表示
.
本文将使用文献给出的推理规则,因此在必要时,将不区分是序列还是集台.
模型是一偶对埘,,其中Ⅳ为论域,,.
—则被称为是不协调的,其它情况是协调的.
为简单起见,本文假定知识库中的规则