期刊文献+

形式化Agent的能力

Formalizing the Capability of Agent
下载PDF
导出
摘要 能力是规范和设计Agent的一个重要的抽象概念。本文提出了多Agent系统中Agent计算的能力理论以支持Agent计算的理论研究。我们区分两种能力:实现型能力和维护型能力。基于多Agent系统计算的逻辑框架,我们给出了它的语义定义,获取和描述了它的一些重要属性。 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.
出处 《计算机工程与科学》 CSCD 1999年第1期51-56,共6页 Computer Engineering & Science
基金 国家自然科学基金
关键词 AGENT 能力 智能主体 人工智能 计算机科学 agent,multi agent system,belief,capability.
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部