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

被引：1

作者：

孙吉贵

刘瑞胜

陈荣

机构：

[1] 吉林大学计算机科学系

来源：

吉林大学自然科学学报 | 1999年 / 01期

关键词：

广义溯因问题，知识库更新，表推演;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

收藏

页码：29 / 32

页数：4

相关论文

共 2 条

[1] 不完全信息下的溯因诊断 [J].

孙吉贵 ;

刘瑞胜 ;

陈荣 .

吉林大学学报(理学版), 1998, (04) :34-38

[2] 一类命题知识库的更新算法 [J].

马绍汉，陶雪红，孙伟 ;

不详 .

计算机研究与发展 , 1996, (02) :127-131