一种广义信念修正的计算方法

摘要：

AGM理论中新知识为单个语句,而实际上新知识通常是以多语句甚至无穷语句的形式出现.广义信念修正从理论上扩充了AGM系统,但在具体实现上还缺乏有效的算法.通过构造优序划分的方法解决信念间的关系问题,采用新知识的信度与冲突知识相关的方法解决新知识的信度问题.给出了一种基于链表的计算方法,从而解决了广义信念修正理论的信念库维护操作问题.

关键词：信念修正、广义信念修正、AGM、GBR

所属期刊栏目：41

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60103012;国家重点基础研究发展计划973计划2002CB312002;江苏省自然科学基金BK2003409

在线出版日期：2004-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：769-773