| 形式化Agent的能力 |
| |
| 引用本文： | 毛新军 王怀民. 形式化Agent的能力[J]. 计算机工程与科学, 1999, 21(1): 51-56 |
| |
| 作者姓名： | 毛新军 王怀民 |
| |
| 作者单位： | 国防科技大学计算机系 |
| |
| 摘 要： | 能力是规范和设计Ａｇｅｎｔ的一个重要的抽象概念。本文提出了多Ａｇｅｎｔ系统中Ａｇｅｎｔ计算的能力理论以支持Ａｇｅｎｔ计算的理论研究。我们区分两种能力：实现型能力和维护型能力。基于多Ａｇｅｎｔ系统计算的逻辑框架，我们给出了它的语义定义，获取和描述了它的一些重要属性。
|
| 关 键 词： | Agent 能力 智能主体 人工智能 计算机科学 |
Formalizing the Capability of Agent |
| |
| Mao Xinjun,Wang Huaimin and Chen Huowang. Formalizing the Capability of Agent[J]. Computer Engineering & Science, 1999, 21(1): 51-56 |
| |
| Authors: | Mao Xinjun Wang Huaimin Chen Huowang |
| |
| Abstract: | Capability is an important abstract concept to specify and design agent.A capability theory of agent computing is presented in this paper.We differentiate two capabilities:achievement capability and maintenance capability.Based on the logic framework of multi agent computing,the formal semantics of the capapbility is defined,and some inportant properties are obtained. |
| |
| Keywords: | agent multi agent system belief capability. |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
