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

• 作者: 曹子宁 石纯一 董红斌
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 信念逻辑 Kripke语义 广义Aumann语义 概率信念逻辑 概率Aumann语义 多Agent系统
• 年，卷（期）: 2001,（9）
• 页码范围: 1366-1374
• 页数: 9页
• 分类号: TP18
• 字数: 8814字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董红斌	哈尔滨师范大学计算机科学系	32	527	11.0	22.0
2	石纯一	清华大学计算机科学与技术系	85	3189	30.0	55.0
3	曹子宁	中国科学院计算技术研究所	5	9	2.0	3.0