摘要： 针对多智能体系统(MAS)中执行决策的非确定性问题，研究结合时态/模态逻辑及机会发现理论，引入基于Kripke结构的复合逻辑 ，用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述，为实现动态并发环境中MAS的系统协作行为建模及自动决策推理提供依据。给出 的结构及语义，证明了 的可判定性，且计算可在多项式级时间复杂度内实现。
关键词:
多智能体系统,
知识系统,
机会发现,
形式化方法,
可判定性
Abstract: It is difficult to determine one certain executing path because the cooperation between Agents are dynamic in a Multi-Agent System(MAS). It introduces and studies a logic based on hybrid temporal/modal logic on special Kripke models and logical properties of operation Chance Discovery(CD) via structures of defined by semantics, as the set of all formulas that are valid in all suggested models. The language chosen to build the logical formulas includes modal/temporal operations, operations for the Agent’s knowledge, local and global operations for CD, operation of local common knowledge, and an operation for chance of discovery via Agents’ interactions. Experimental result shows the problem of computing the true logical laws of is decidable at most polynomial size.
Key words:
Multi-Agent System(MAS),
knowledge system,
chance discovery,
formal approach,
decidability
中图分类号:
周绪川, 钟勇, 蔡利平. 机会发现在多智能体系统中的形式化描述方法[J]. 计算机工程, 2011, 37(11): 187-189.
ZHOU Xu-Chuan, ZHONG Yong, CA Li-Beng-. Formal Description Approach of Chance Discovery Theory in Multi-Agent System[J]. Computer Engineering, 2011, 37(11): 187-189.