一种广义信念修正的计算方法
AGM理论中新知识为单个语句,而实际上新知识通常是以多语句甚至无穷语句的形式出现.广义信念修正从理论上扩充了AGM系统,但在具体实现上还缺乏有效的算法.通过构造优序划分的方法解决信念间的关系问题,采用新知识的信度与冲突知识相关的方法解决新知识的信度问题.给出了一种基于链表的计算方法,从而解决了广义信念修正理论的信念库维护操作问题.
信念修正、广义信念修正、AGM、GBR
41
TP18(自动化基础理论)
国家自然科学基金60103012;国家重点基础研究发展计划973计划2002CB312002;江苏省自然科学基金BK2003409
2004-07-31(万方平台首次上网日期,不代表论文的发表时间)
共5页
769-773