| 多智能体协同的认知规范模型检测算法 |
| |
| 引用本文： | 陈清亮,朱可宜.多智能体协同的认知规范模型检测算法[J].中山大学学报(自然科学版),2009,48(1). |
| |
| 作者姓名： | 陈清亮 朱可宜 |
| |
| 作者单位： | 暨南大学计算机科学系,广东,广州,510632 |
| |
| 基金项目： | 国家重点基础研究发展规划(973计划)，暨南大学引进人才项目 |
| |
| 摘 要： | 在Wooldridge提出的利用不变式特征的方法来模型检测时态认知逻辑的基础上，研究多智能体协同逻辑ATEL(Alternating Temporal Epistemic Logic)中认知算子的模型检测算法，包括多层的认知算子，分布式认知算子和公共知识算子等等。研究结果表明，加入认知算子后的ATEL的在增加系统描述能力的同时并没有明显增加其计算复杂性。
|
| 关 键 词： | 时态逻辑 认知逻辑 模型检测 |
| 收稿时间： | 2008-09-01; |
Model Checking Algorithms for Epistemic Goals in Cooperative Multi-Agent Systems |
| |
| CHEN Qingliang,ZHU Keyi.Model Checking Algorithms for Epistemic Goals in Cooperative Multi-Agent Systems[J].Acta Scientiarum Naturalium Universitatis Sunyatseni,2009,48(1). |
| |
| Authors: | CHEN Qingliang ZHU Keyi |
| |
| Institution: | (Department of Computer Science, Jinan University, Guangzhou 510632, China) |
| |
| Abstract: | The model of checking algorithms was studied for epistemic specifications in ATEL (Alternating Temporal Epistemic Logic) for multi-agent systems, including nested knowledge modalities, distributed knowledge and common knowledge modalities, based on the invariant property checking approach proposed by Wooldridge. The results showed that ATEL maintains a good balance between the expressive power and computational complexity. |
| |
| Keywords: | temporal logics epistemic logics model checking |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《中山大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《中山大学学报(自然科学版)》下载免费的PDF全文 |
