多Agent信念修正研究

Belief Revision is a theory that studies how to integrate new information into original belief set.Classical BR theory uses AGM frame,but it only resolves problems in single agent BR system.Multi-agent BR faces problems such as the collision of many information sources and how to maximize the logic consistence of multi-agent system.On the basis of game theory model,we form profit matrix under different BR strategies in muhi-agent system and try to get the best strategy that satisfies logic consistence of the system through negotiation.     

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

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