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

• 作者: 刘瑞胜 孙吉贵 陈荣
• 来源期刊: 吉林大学自然科学学报
• 学科: 工学
• 关键词: 广义溯因问题 知识库更新 表推演
• 年，卷（期）: 1999,（1）
• 页码范围: 25-28
• 页数: 4页
• 分类号: TP301
• 字数: 4698字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.1999.01.006

摘要

在一个广义的溯因问题框架下, 讨论以逻辑公式形式表示的知识库的维护问题. 使用表推演方法, 检查知识库协调性, 对知识库进行扩展、约减和修正, 给出可行方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学系	134	2984	21.0	52.0
2	刘瑞胜	吉林大学计算机科学系	7	55	3.0	7.0
3	陈荣	吉林大学计算机科学系	6	51	3.0	6.0