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

摘要：

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

关键词：信念逻辑、Kripke语义、广义Aumann语义、概率信念逻辑、概率Aumann语义、多Agent系统

所属期刊栏目：12

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金69973023,69733020;黑龙江省自然科学基金F00-04

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1366-1374