论文部分内容阅读
Ａｇｅｎｔ是计算机科学领域中的一个重要概念。Ｍｕｌｔｉ－ａｇｅｎｔ系统由一组对独立、相互作用的自主Ａｇｅｎｔ组成。近年来，如何开发Ｍｕｌｔｉ－ａｇｅｎｔ系统成为人们关注的一个重要研究课题。该文提出了一个抽象概念－维护型意愿以表示Ｍｕｌｔｉ－ａｇｅｎｔ系统的全局性行为约束信息。文中讨论了维护型意愿的直观含义，为了严格、形式化地研究该概念，作者提出了Ｍｕｌｔｉ－ａｇｅｎｔ系统计算的逻辑框架并基于该逻辑框架给出了维护型意愿的严格语义定义，获取和描述了维护型意愿的一些重要属性。