认知逻辑

作品数：410被引量：807H指数：12
导出分析报告
相关领域：哲学宗教文化科学更多>>
相关作者：郭美云崔建英刘奋荣陈晓华李娜更多>>
相关机构：西南大学清华大学中国人民大学南京大学更多>>
相关期刊：更多>>
相关基金：国家社会科学基金国家自然科学基金中央高校基本科研业务费专项资金教育部人文社会科学研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多智能体协同的认知规范模型检测算法
《中山大学学报（自然科学版）》2009年第1期110-112,共3页陈清亮 朱可宜 
国家重点基础研究发展规划项目973资助项目(2005CB321902);暨南大学引进人才基金资助项目
在Wooldridge提出的利用不变式特征的方法来模型检测时态认知逻辑的基础上,研究多智能体协同逻辑ATEL(Alternating Temporal Epistemic Logic)中认知算子的模型检测算法,包括多层的认知算子,分布式认知算子和公共知识算子等等。研究结...
关键词：时态逻辑 认知逻辑 模型检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部