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