A Formal Specification for Agent Structure
Wang Jing · Journal of Wuhan University of Science and Technology · 2006
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 interior 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.