该论文探讨了基于有限状态机的条件独立协议的图模型，提出了有效表示多个代理共识信念的方法。研究了贝叶斯球算法、AGM信念修正及动态运算符，构建了代理人认知态度的逻辑框架，并提出了基于筛选的理性规则生成方法。最后，研究了如何将单个概率信念聚合为集体信念。