多智能体协同的认知规范模型检测算法

• 作者: 朱可宜 陈清亮
• 来源期刊: 中山大学学报(自然科学版)
• 学科: 工学
• 关键词: 时态逻辑 认知逻辑 模型检测
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 计算机协同技术
• 页码范围: 110-112
• 页数: 3页
• 分类号: TP311
• 字数: 3250字
• 语种: 中文
• DOI: 10.3321/j.issn:0529-6579.2009.01.022

摘要

在Wooldridge提出的利用不变式特征的方法来模型检测时态认知逻辑的基础上,研究多智能体协同逻辑ATEL(Alternating Temporal Epistemic Logic)中认知算子的模型检测算法,包括多层的认知算子,分布式认知算子和公共知识算子等等.研究结果表明,加入认知算子后的ATEL的在增加系统描述能力的同时并没有明显增加其计算复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈清亮	暨南大学计算机科学系	10	50	5.0	7.0
2	朱可宜	暨南大学计算机科学系	1	1	1.0	1.0