引用本文: | 杨莉,胡守仁.知识库推理和维护系统 (KBIMS)[J].国防科技大学学报,1991,13(2):127-133.[点击复制] |
Yang Li,Hu Shouren.Knowledge Base Inference and Maintenance System (KBIMS)[J].Journal of National University of Defense Technology,1991,13(2):127-133[点击复制] |
|
|
|
本文已被:浏览 5306次 下载 5303次 |
知识库推理和维护系统 (KBIMS) |
杨莉, 胡守仁 |
(电子计算机系)
|
摘要: |
赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在 VAX-Ⅰ/780 上使用 GKO-Prolog 作为工具实现的一个知识库推理和维护系统。 |
关键词: 人工智能,知识库,Prolog,非单调推理,缺言理论,知识库推理和维护 |
DOI: |
投稿日期:1989-10-30 |
基金项目:国家自然科学基金资助 |
|
Knowledge Base Inference and Maintenance System (KBIMS) |
Yang Li, Hu Shouren |
(Department of Computer Science)
|
Abstract: |
How to make the knowledge base have the functions of automatical inference and maintenance has been a key problem existing in the design of the knowledge base that needs to be practical. and effective. We propose an automatical knowledge base inference and maintenance method based on default theory,and then we introduce a knowledge base inference and maintenanec system,which has been implemented on VAX-l1/780 machine in GKD-Prolog. |
Keywords: artificial intelligence,knowledge base,non-monotonic inference,default theory,Prolog,knowledge base inference and maintenance |
|
|