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

被引：1

作者：

曹子宁

董红斌

石纯一

机构：

[1] 清华大学计算机科学与技术系

[2] 哈尔滨师范大学计算机科学系

来源：

软件学报 | 2001年 / 09期

基金：

黑龙江省自然科学基金;

关键词：

信念逻辑; Kripke语义; 广义Aumann语义; 概率信念逻辑; 概率Aumann语义; 多Agent系统;

D O I：

10.13328/j.cnki.jos.2001.09.014

中图分类号：

TP181 [自动推理、机器学习];

学科分类号：

摘要：

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

引用

页码：1366 / 1374

页数：9