知识库求精与维护技术

被引:1
作者
杨莉
胡守仁
机构
[1] 国防科技大学
关键词
知识库求精; 缺言理论; 非单调推理; 人工智能;
D O I
暂无
中图分类号
学科分类号
摘要
本文介绍了我们在Micro VAXⅡ上使用Prolog实现的一个知识库求精和维护系统KBRMS的主要设计思想。
引用
收藏
页码:22 / 28
页数:7
相关论文
共 5 条
[1]  
Conjectures and Refutations: The Growth of Scientific Knowledge. Popper KR. . 1968
[2]  
The Ins and Outs of Reason Maintenance. Doyle J. . 1983
[3]  
Using Empirical Analysis to Refine Expert System Knowledge Bacses. Politakis P,Weiss SM. AI . 1984
[4]  
The Mathematics of Non-monotoni Reasoning. Davis M. AI . 1980
[5]  
A Logic for Default Reasoning. Reiter R. AI . 1980