Research Of Multi-Agent Cooperation Model Based On Situation Calculus

Research of multi-agent system is a hotspot in the field of artificial intelligence. Especially, knowledge expression and action reasoning together with communication and cooperation are the investigation focus of many experts and scholars at present, though many achievements were obtained, there still exist many problems, mainly is the gaps between basic theory and implementing technology. Based on situation calculus theory, the Cognitive Robotics group of Toronto university have made a leap form theory to practice.Based on the research of Situation Calculus carded out by the Cognitive Robotics group of Toronto university, we made a research on Situation Calculus and it's application (Golog and ConGolog language), then based on Situation Calculus created a multi-autonomy agent request/server cooperation model which can perfectly depict agent's mental states, autonomy action reasoning and mutual communication. The main research and innovation can be classed as four parts:(1) Account for dynamicy and indetermination of MAS, action concurrent of multi-agents and autonomy action reason of agent, Situation Calculus is adopted to formalize reason machine of MAS in this paper, meanwhile it adopts the ConGolog language with concurrent feature to depict agent autonomy action reason.(2) Based on Situation Calculus, given an autonomy agent model, and formalized it's mental states, defined the knowledge agent knows at incomplete knowable environment as agent's belief, thus by dint of Prolog knowledge base to achieve update of belief as well as agent's autonomy action reason, in addition it adopts sense action and action regression of situation calculus too.(3) In order to perfect communication of ConGolog, communication action is imported in, and discussed the formalization description of the communication action's infection on mental states.(4) Put forward a request/server cooperation model based on situation calculus, and give it's formalized semantic, at last by a simple and material multi-agent delivery coffee case indicate that the model is feasible.The multi-agent cooperation model we proposed based on Situation Calculus not only has a perfect communication and cooperation semantic, but also can carry through autonomy action reason according to the update of agent's mental states. It provides an effective approach to explain agent's autonomy and construct various MAS.