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

本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定义了一个转换系统，称为扩充逻辑程序设计的Ｒ－演算，对一个给定的知识库和用户反驳，此演算可以导出知识库的最佳修正；同时证明了该演算的可靠性和完备性；另外，对本文的工作与其他相关工作进行了比较；最后，给出了本文的结论．

R-CALCULUS FOR ELP: AN OPERATIONAL APPROACH TO KNOWLEDGE BASE MAINTENANCE

In this paper, some concepts used in knowledge base maintenance, such as sequence,new law, user's rejection and reconstructions of a knowledge base are first introduced, and then a framework of extended logic programming(ELP) is given, where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the R-calculus for ELP will deduce best revisions of the base. The soundness and the completeness of the R-calculus for ELP are also proved. In addition, our research is compared with other relevant work. Finally, the conclusions are given.