知识库维护过程中检查其协调性的有效方法

本文首先描述了知识库维护过程中的协调性问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库．为了检查知识库的协调性，本文为知识库中的推理规则构造了正支持集和负支持集，并给出了一些定义；基于这些概念和定义，提出了知识库维护过程中检查知识库协调性的一种有效方法，并证明了相关的定理；基于此方法，实现了一个算法ＣＨＩＭＥ，并给出了用ＣＨＩＭＥ分析一些知识库的实验结果．本文还提到一些相关的工作。

一个维护知识库的软件agent互操作系统

本文首先简介了基于agent的软件工程技术，然后利用这一技术，设计了一个用于知识库维护的软件agent互操作系统SAIS（softwareagentinteroperationsystem）．SAIS系统是由多问题求解器构成，每个问题求解器是一个软件agent．本文给出了SAIS的结构，并描述了SAIS的实现．

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

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

FC机:CD-FFP 2的抽象并行图归约机

已提出的图归约机的基础是Currg 的合成逻辑(简称C 逻辑),但是在图归约机中用C 逻辑中的组合子定义作为归约规则似乎过于烦琐。我们提出的CD-FFP2(FFP 的方言)的抽象并行图归约机——FC 机,它的基础是FFP 高级合成逻辑。用FFP 高级合成逻辑中的组合子定义作为并行图归约机的归约规则有许多突出的优点。这为具体实现FFP 语言的体系结构奠定了基础。

递归函数中的 Cache

由于 FFP 表达式具有引用透明性,对于给定的表达式每次计算都得到同样的结果,所以每一个值只需计算一次.然而,由于 FFP 语言支持递归程序,FC-机在处理递归结点时需要拷贝代码,运行时很难检查共享计算,因此可能导致重复计算,为此人们提出了用“记忆函数”(memo function)来解决这一问题.本文主要介绍如何在 FC-机中,利用 Cache 来实现“记忆函数”。最后给出了性能分析和在FFP 系统上的实际测试结果。

SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机

本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。

FCC中的“灰尘”回收

本文提出了FCC中的灰尘概念及其回收算法,完善了FCC的垃圾回收系统.最后给出了有关FCC垃圾回收算法及灰尘回收算法效率的测试结果。

FCC:多处理机上的并行图归约

FCC是在多处理机上实现的FC 机。FC 机是CD-FFP2(FFP 的方言)的抽象并行图归约机。本文详细描述了如何在一个具有共享存储器的多处理机上实现CD-FFP2的并行图归约。

FCC中的惰性计算

由于FFP语言中存在着非严格(non-strict)函数,所以用紧迫计算(eager evaluation)方式计算非严格函数,不仅降低了执行效率,而且还可能导致计算失败.为此,本文又提出了几个在FCC中实现对某些非严格函数进行惰性计算的归约规则,并在Micro-VAX3500上比较了用惰性计算的方式和用紧迫计算的方式来计算一个非严格函数的执行效率.

FCC中的并行无用单元收集系统

FCC 是在多处理机上实现CD-FFP2(FFP 的方言)的并行图归约系统。由于FCC 中的并行计算模型的基础是FFP 合成逻辑,不同于其它的归约机。这篇文章以FFP 合成逻辑为基础,提出一个适合于FCC 的并行无用单元收集系统。最后,通过实验给出它的性能测试结果。

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

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 for 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 Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work.