%0 Journal Article
%T 缺言推理系统gkd-dis
%A 杨莉？
%A 胡守仁？
%J 软件学报
%P 20-25
%D 1991
%X 如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题。本文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根据此方法,我们在vax-11/780上使用gkd-prolog作为工具实现的一个知识库推理和维护系统。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19910304&flag=1