您的位置： 专家智库 > >

国家重点基础研究发展计划(2009cb320503)

作品数：1 被引量：1H指数：1
相关作者：杨志华吴立军苏金树更多>>
相关机构：国防科学技术大学电子科技大学广东商学院更多>>
发文基金：中国博士后科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇动态知识
  • 1篇信念
  • 1篇智能体
  • 1篇智能体系统
  • 1篇逻辑
  • 1篇肯定性
  • 1篇多智能
  • 1篇多智能体
  • 1篇多智能体系
  • 1篇多智能体系统
  • 1篇并发

机构

  • 1篇广东商学院
  • 1篇电子科技大学
  • 1篇国防科学技术...

作者

  • 1篇苏金树
  • 1篇吴立军
  • 1篇杨志华

传媒

  • 1篇计算机学报

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
多智能体系统中并发动态知识、信念和肯定性逻辑的研究被引量：1
2010年
将知识、信念和肯定性逻辑从单个智能体扩展到多智能体系统,并且实现了多智能体系统中知识、信念和肯定性逻辑与具有并发动态属性的行为之间的很好结合.以此为基础,提出了多智能体系统中并发动态知识、信念和肯定性逻辑,简称CDKBC逻辑.为了对CDKBC逻辑进行解释,也给出了CDKBC模型,并且讨论了知识、信念和肯定性之间的关系,即知识蕴涵着肯定性,肯定性蕴涵着信念.文中也给出了一个相应的证明系统(即公理系统),证明了该系统是可靠的和完备的,并且证明了系统的有效性问题是EXPTIME完全的.最后论文给出了CDKBC逻辑的实例.
苏金树吴立军杨志华
关键词：多智能体系统
全选 清除 导出
共1页<1>
聚类工具0