| 摘要: |
| 提出了Agent在多Agent系统中计算的意愿理论,以支持Agent计算的理论研究.区分了两种意愿：实现型意愿和维护型意愿.基于多Agent系统计算的逻辑框架,给出了两种意愿新的语义定义,获取和描述了它们的一些重要逻辑属性. |
| 关键词: Agent,多Agent系统,意向系统,信念,意愿. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国防预研基金资助. |
|
| The Intention Theory of Agent Computing in Multi-agent System |
|
MAO Xin-jun,WANG Huai-min,CHEN Huo-wang,LIU Feng-qi
|
| Abstract: |
| Intention is an important abstract concept to specify and design agent. In this paper, an intention theory of agent computing in multi-agent system is presented to support the research on the theory of agent computing. Two intentions: achievement intention and maintenance intention, respectively denoting the different aims of agent are differentiated. The formal semantics of two intentions are defined and some important properties are obtained based on the logic framework of multi-agent system computing. |
| Key words: Agent, multi-agent system, intentional system, belief, intention. |
