在一个广义的溯因问题框架下, 讨论以逻辑公式形式表示的知识库的维护问题. 使用表推演方法, 检查知识库协调性, 对知识库进行扩展、约减和修正, 给出可行方法.
作者：孙吉贵;刘瑞胜;陈荣
作者单位：吉林大学计算机科学系,长春,130023吉林大学计算机科学系,长春,130023吉林大学计算机科学系,长春,130023
分类：计算机与自动化
中文关键词：广义溯因问题知识库更新表推演
刊名：《吉林大学自然科学学报》 1999 (1)
页码/页数：25-28,4
基金：国家自然科学基金和863计划资助课题
评论