基于机会发现逻辑Lk的多智能体系统形式化描述方法

摘要：

MAS系统中agent的核心能力是其对未来行为的理性决策,因应用环境的开放性和动态变化而具有不确定性.机会发现理论可以在此类环境中发现对主体决策具有重要影响的事件或状态,可用于表达智能行为的协作计算模型.在此情况下,以机会发现理论和时态/模态逻辑为基础,采用基于Kripke框架的机会发现逻辑Lk来研究多智能体系统的形式化描述方法.对Lk的结构及语义进行了详细地描述,并验证了Lk具有可判性且能够在多项式级时间复杂度内实现.

关键词：MAS系统、机会发现、Kripke框架、机会发现逻辑

所属期刊栏目：13

分类号：TP301.4(计算技术、计算机技术)

在线出版日期：2013-05-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1827-1831