首页 | 本学科首页   官方微博 | 高级检索  
     检索      

多智能体协同的认知规范模型检测算法
引用本文:陈清亮,朱可宜.多智能体协同的认知规范模型检测算法[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全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号