基于溯因问题求解的知识库更新  

The Update of Knowledge Base by Abduction

作　　者：孙吉贵[1] 刘瑞胜[1] 陈荣[1] 

机构地区：[1]吉林大学计算机科学系

出　　处：《吉林大学自然科学学报》1999年第1期25-28,共4页Acta Scientiarum Naturalium Universitatis Jilinensis

基　　金：国家自然科学基金;863计划资助课题

摘　　要：在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和修正。Under a generalized abduction framework, the update problem of KB (knowledge base) is discussed in this paper. Based on tableau method, we present a feasible algorithm to check the consistency of KB, to extend, subtract, and change KB.

关 键 词：广义 溯因问题 知识库更新 表推演法 维护 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]