缺言推理系统gkd-dis

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