您的位置： 专家智库 > >

朱可宜

作品数：1 被引量：0H指数：0
供职机构：暨南大学信息科学技术学院计算机科学系更多>>
发文基金：国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇智能体
  • 1篇认知逻辑
  • 1篇时态逻辑
  • 1篇逻辑
  • 1篇多智能
  • 1篇多智能体

机构

  • 1篇暨南大学

作者

  • 1篇陈清亮
  • 1篇朱可宜

传媒

  • 1篇中山大学学报...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
多智能体协同的认知规范模型检测算法
2009年
在Wooldridge提出的利用不变式特征的方法来模型检测时态认知逻辑的基础上,研究多智能体协同逻辑ATEL(Alternating Temporal Epistemic Logic)中认知算子的模型检测算法,包括多层的认知算子,分布式认知算子和公共知识算子等等。研究结果表明,加入认知算子后的ATEL的在增加系统描述能力的同时并没有明显增加其计算复杂性。
陈清亮朱可宜
关键词：时态逻辑认知逻辑
全选 清除 导出
共1页<1>
聚类工具0