| 知识库推理和维护系统 (KBIMS) |
| |
| 引用本文： | 杨莉,胡守仁. 知识库推理和维护系统 (KBIMS)[J]. 国防科技大学学报, 1991, 13(2): 127-133 |
| |
| 作者姓名： | 杨莉 胡守仁 |
| |
| 作者单位： | 国防科技大学电子计算机系(杨莉)，国防科技大学电子计算机系(胡守仁) |
| |
| 摘 要： | 赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。
|
| 关 键 词： | 人工智能 知识库 Prolog 非单调推理 缺言理论 知识库推理和维护 |
| 收稿时间： | 1989-10-30 |
Knowledge Base Inference and Maintenance System (KBIMS) |
| |
| Yang Li and Hu Shouren. Knowledge Base Inference and Maintenance System (KBIMS)[J]. Journal of National University of Defense Technology, 1991, 13(2): 127-133 |
| |
| Authors: | Yang Li and Hu Shouren |
| |
| Affiliation: | Department of computer Science |
| |
| Abstract: | How to make the knowledge base have the functions of automatical inference and mainte-nance has been a key problem existing in the design of the knowledge base that needs to be practi-cal and effective.We propose an automatical knowledge base inference and maintenance methodbased on default theory,and then we introduce a knowledge base inference and maintenance sys-tem,which has been implemented on VAX-11/780 machine in GKD-Prolog. |
| |
| Keywords: | artificial intelligence knowledge base non-monotonic inference default theory Prolog knowledge base inference and maintenance |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
|
点击此处可从《国防科技大学学报》下载免费的PDF全文 |
