摘要
能力是规范和描述Agent、研究和分析Agent计算以及设计Agent的一个重要抽象概念.文中基于一种主观的观点提出了Agent计算的能力理论以支持Agent计算的理论研究,提出了规划树概念以刻画Agent如何在动态、不确定的多Agent系统中通过对其规划进行合理、有效的组织来实现其任务.基于多Agent系统计算的逻辑框架,文中给出了能力概念的形式化语义定义。
Capability is an important abstract concept to specify and design agent, and to investigate agent's computing. In the paper here, a capability theory of agent's computing is put forward based on the internal perspective in support of the research on the theory of agent computing. The concept of plan tree is presented to describe how agent organizes its plans effectively to achieve its tasks in a non\|deterministic and dynamic multi\|agent system. Based on the logic framework of multi\|agent computing, the formal semantics of the capability is defined and some important logical properties are obtained.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1999年第10期1158-1163,共6页
Journal of Computer Research and Development
基金
国家自然科学基金
国防预研基金