MAS系统中agent的核心能力是其对未来行为的理性决策,因应用环境的开放性和动态变化而具有不确定性.机会发现理论可以在此类环境中发现对主体决策具有重要影响的事件或状态,可用于表达智能行为的协作计算模型.在此情况下,以机会发现理论和时态/模态逻辑为基础,采用基于Kripke框架的机会发现逻辑Lk来研究多智能体系统的形式化描述方法.对Lk的结构及语义进行了详细地描述,并验证了Lk具有可判性且能够在多项式级时间复杂度内实现.%The core capability of a rational agent is to choose its next action in a rational fashion, the cooperation between agents is the key for state transformation of a multi-agent system ( MAS). Logical properties of operation chance discovery ( CD) via structures are studied based on hybrid temporal/modal logic on special Kripke models. A logic (of knowledge and discovery via interaction of agents) Lk is introduced and studied, which is defined by semantics, as the set of all formulas that are valid in all suggested models. Research shows that Lk is realizable at most polynomial size.
展开▼
机译：LKs示威者som plattform foer att maeta Effekter av Ledningskrigfoering pa Ledningsfoermaga：anvaendartest LKs示威者版本2（LKs示威者作为衡量C2战争对C2能力影响的平台：用户测试Lks示威者Vers
