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

Formalization Description Method of Multi-agent System Based on Chance Discovery Logic L_k

作　　者：宋宝卫[1] 孙占锋[1] 

机构地区：[1]郑州轻工业学院计算机与通信工程学院,郑州450002

出　　处：《科学技术与工程》2013年第7期1827-1831,共5页Science Technology and Engineering

摘　　要：MAS系统中agent的核心能力是其对未来行为的理性决策,因应用环境的开放性和动态变化而具有不确定性。机会发现理论可以在此类环境中发现对主体决策具有重要影响的事件或状态,可用于表达智能行为的协作计算模型。在此情况下,以机会发现理论和时态/模态逻辑为基础,采用基于Kripke框架的机会发现逻辑Lk来研究多智能体系统的形式化描述方法。对Lk的结构及语义进行了详细地描述,并验证了Lk具有可判性且能够在多项式级时间复杂度内实现。The core capability of a rational agent is to choose its next action in a rational fashion, the coopera- tion between agents is the key for state transformation of a multi-agent system （MAS）. Logical properties of opera- tion 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 de- fined by semantics, as the set of all formulas that are valid in all suggested models. Research shows that Lk is realiz- able at most polynomial size.

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

分 类 号：TP301.4[自动化与计算机技术—计算机系统结构]