作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 1992, Vol. 18 ›› Issue (02): 24-30.

• 论文 • 上一篇    下一篇

知识库求精与维护技术

杨莉,胡守仁   

  1. 国防科技大学,国防科技大学
  • 发布日期:1992-04-25

THE REFINEMENT AND MAINTENANCE TECH- NOLOGY OF KNOWLEDGE BASE

Yang Li   

  • Published:1992-04-25

摘要: 本文介绍了我们在Micro VAXⅡ上使用Prolog实现的一个知识库求精和维护系统KBRMS的主要设计思想。

关键词: 知识库求精, 缺言理论, 非单调推理, 人工智能

Abstract: This paper introduces the main design ideas of the knowledge base refinement and maintenance system KBRMS implemented on micro VAX I in prolog.