缺言推理系统GKD-DIS

DEFAULT INFERENCE SYSTEM GKD-DIS

如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题。本文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根据此方法,我们在VAX-11/780上使用GKD-Prolog作为工具实现的一个知识库推理和维护系统。

That how to enable knowledge base to have the function of inference and maintenance automatically has been a key problem, which existed in the design of the knowledge base that wants to be practical and effective. In this paper, we propose an automatical knowledge base inference and maintenance method based on default inference at first, and then we introduce a knowledge base inference and maintenance system, which has been implemented on VAX-11/780 machine in GKD-Prolog.