形式化Agent的能力

能力是规范和设计Ａｇｅｎｔ的一个重要的抽象概念。本文提出了多Ａｇｅｎｔ系统中Ａｇｅｎｔ计算的能力理论以支持Ａｇｅｎｔ计算的理论研究。我们区分两种能力：实现型能力和维护型能力。基于多Ａｇｅｎｔ系统计算的逻辑框架,我们给出了它的语义定义,获取和描述了它的一些重要属性。