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