A Formal Model of Multi-Agent Collaborative Systems
Liu Gui · Chinese Journal of Computers · 2001
Building computer systems that can work together has long been an important task of computer science. Research on theory and application of multi agent systems has received the attention of many researchers from AI as well as many other fields. The existing theories of multi agent system suffer seriously from so called side effect problems and the characterization of resource and capability bounded properties of agent under dynamic environments. Based on Situation Calculus and Three Valued Logic, this paper proposes a multi agent collaborative formal model that can avoid many of the side effects; Additionally, the multi agent collaborative planning theory we proposed based on this model can characterize the above properties of agent more appropriately [8] .