机会发现在多智能体系统中的形式化描述方法

摘要：

针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑LK,用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述,为实现动态并发环境中MAS的系统协作行为建模及自动决策推理提供依据.给出LK的结构及语义,证明了LK的可判定性,且计算可在多项式级时间复杂度内实现.

关键词：多智能体系统、知识系统、机会发现、形式化方法、可判定性

所属期刊栏目：37

分类号：N945(系统科学)

资助基金：四川省科技攻关计划基金资助项目07GG006-014;中央高校基本业务费专项基金资助项目09NZYZJ02

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

页数：共3页

页码：187-189