一种Agent结构的形式化描述  

A Formal Specification for Agent Structure

作　　者：汪勇[1] 高运良[1] 王静[1] 

机构地区：[1]武汉科技大学管理学院,湖北武汉430081

出　　处：《武汉科技大学学报》2006年第6期636-639,共4页Journal of Wuhan University of Science and Technology

基　　金：湖北省自然科学基金资助项目(2004ABA004)

摘　　要：以BD I模型为代表的Agent结构描述存在抽象、复杂和不完整等问题,很难应用于实际Agent的构造。基于物理和设计立场,提出一种新的Agent结构模型,并作了形式化描述。该模型克服了现有模型建立在纯意识系统基础上的缺点,解决了Agent模型与具体Agent结构、行为和目标的映射问题。用该模型构造的电子谈判实例验证了它的正确性和有效性。Problems such as abstraction, complication and incompleteness exist in the agent structure models like BDI, and consequently it is not easy to create a practical agent system. Based on physicality and design, a new agent model is put forward, whose formal specification is given. Furthermore, agent with integrate inte- rior structure attributions is designed. This model has overcome the defects of current model created by pure consciousness, and solved the problem of mapping between agent model and concrete structure, action and goal. The example of e-negotiation by means of the model has verified its usefulness and validity.

关 键 词：AGENT模型 Agent结构设计 形式化描述 电子谈判 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]