|
|||||
|
|
| 多Agent信念逻辑及其在概率意义下的推广 | |
| 作者姓名： | 曹子宁 董红斌 石纯一 |
| 作者单位： | 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 |
| 修稿时间： | 1999-10-13 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |
