计算机工程2011，Vol.37Issue(11)：187-189,3.DOI:10.3969/j.issn.1000.3842.2011.11.064
机会发现在多智能体系统中的形式化描述方法
Formal Description Approach of Chance Discovery Theory in Multi-Agent System
摘要
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 Lk based on hybrid temporal/modal logic on special Kripke models and logical properties of operation Chance Discovery(CD) via structures of Lk 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 Lk 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,3.基金项目
四川省科技攻关计划基金资助项目(07GG006-014) （07GG006-014）
中央高校基本业务费专项基金资助项目(09NZYZJ02) （09NZYZJ02）
