首先建立了一种多Agent信念逻辑MBL(multi-agent belief logic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL......

在信念逻辑基础上，引入概率，给出了一种概率信念逻辑PBL，增强了信念逻辑的表述能力和推理能力。并为PBL建立了两种语义：首先将知识逻辑......