多Agent信念逻辑及其在概率意义下的推广

作者：曹子宁董红斌石纯一

来源：软件学报, 2001, (09): 1366-1374.

• 信念逻辑
• Kripke语义
• 广义Aumann语义
• 概率信念逻辑
• 概率Aumann语义
• 多Agent系统 belief logic
• Kripke semantics
• generalized Aumann semantics
• probabilistic belief logic
• probabilistic Aumann semantics
• MAS (multi agent system)

首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 Kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备性 .其次 ,建立了一种多 Agent概率信念逻辑 MPBL(multi- agent probabilisticbelief logic) ,通过在广义 Aumann语义基础上引入概率空间 ,给出了 MPBL的概率 Aumann语义 ,证明了它的可靠性 ,并给出 MPBL的一些推论 .

• 出版日期2001
• 单位哈尔滨师范大学; 中国科学院计算技术研究所