知识库推理和维护系统(KBIMS)

被引：1

作者：

杨莉

胡守仁

机构：

[1] 国防科技大学电子计算机系,国防科技大学电子计算机系

来源：

关键词：

人工智能; 知识库; Prolog; 非单调推理; 缺言理论; 知识库推理和维护;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。

引用

页码：127 / 133

页数：7