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

Formal Description Approach of Chance Discovery Theory in Multi-Agent System

作　　者：周绪川[1,2] 钟勇[2] 蔡利平[1] 

机构地区：[1]西南民族大学计算机科学与技术学院,成都610041 [2]中国科学院成都计算机应用研究所,成都610041

出　　处：《计算机工程》2011年第11期187-189,共3页Computer Engineering

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

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

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

分 类 号：N945[自然科学总论—系统科学]