|
|||||
|
|
| 多Agent信念逻辑及其在概率意义下的推广 | |
| 引用本文： | 曹子宁,董红斌,石纯一.多Agent信念逻辑及其在概率意义下的推广[J].软件学报,2001,12(9):1366-1374. |
| 作者姓名： | 曹子宁 董红斌 石纯一 |
| 作者单位： | 1. 中国科学院计算技术研究所;清华大学计算机科学与技术系 2. 哈尔滨师范大学计算机科学系 3. 清华大学计算机科学与技术系 |
| 基金项目： | 国家自然科学基金资助项目(69973023;69733020);黑龙江省自然科学基金资助项目(F00-04) |
| 摘 要： | 首先建立了一种多Agent信念逻辑MBL(multi-agentbelieflogic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL的Kripke语义与广义Aumann语义,讨论了两者的等价性,证明了MBL对于上述两种语义的可靠性和完备性.其次,建立了一种多Agent概率信念逻辑MPBL(multi-agentprobabilisticbelieflogic),通过在广义Aumann语义基础上引入概率空间,给出了MPBL的概率Aumann语义,证明了它的可靠性,并给出MPBL的一些推论. |
| 关 键 词： | 信念逻辑 Kripke语义 广义Aumann语义 概率信念逻辑 概率Aumann语义 多Agent系统 |
| 收稿时间： | 1999/10/13 0:00:00 |
| 修稿时间： | 1999年10月13 |
A Multi-Agent Belief Logic and Its Generalization with Probability |
|
| CAO Zi ning,DONG Hong bin and SHI Chun yi.A Multi-Agent Belief Logic and Its Generalization with Probability[J].Journal of Software,2001,12(9):1366-1374. | |
| Authors: | CAO Zi ning DONG Hong bin and SHI Chun yi |
| Abstract: | In this paper, a multi-agent belief logic named MBL (multi-agent belief logic) is presented firstly. Based on the classical belief logic, MBL is added into the modal operators of every-belief and common belief. Then the Kripke semantics and generalized Aumann semantics of MBL are given, the equivalence of the two semantics, the soundness and completeness of MBL about the two semantics are proved. Secondly, a multi agent probabilistic belief logic named MPBL (multi-agent probabilistic belief logic) is presented. By introducing the probability space on generalized Aumann model, the probabilistic Aumann semantics of MPBL are given, and its soundness about generalized Aumann semantics is proved. At last, some corollaries of MPBL are given. |
| Keywords: | belief logic Kripke semantics generalized Aumann semantics probabilistic belief logic probabilistic Aumann semantics MAS (multi agent system) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |
