Consultation Axiom System Based On Ability And Thinking Multi-agent Systems Model

Because of the rapid increasingly computing complexity and the explosive growth of information, the traditional centralized computing patterns are not adequate for large-scale distributed information processing, but agent-based computing and high-level interaction may satisfy the modern computing and distributed information processing, and multi-agent system (MAS) can play an important role in analyzing and developing the model and theory of human-interaction. Thus the research of agent and multi-agent system has become a hotspot and important domain in DAI. The purpose of this paper is to formally describe the MAS and the conflict resolving mechanism, negotiation in the MAS.In this paper, a formalism of reasoning about the interaction in multi-agent system is presented, which is MAS model based on negotiation axiom system of capability and thought (CTN system).Firstly, the semantic frame is presented, including the formal definition of actions, environment, Agent, negotiation and multi-agent system, and the global states, class of CTN system, RUN and reachable states for CTN system are also defined. The syntax rules and semantic constrains are described in detail; the semantic of this logic are given in terms of a general model of multi-agent system, closely related to the interpreted systems of modal logic. Then the axiomatic of negotiating logic is presented to give the system a formal description, and then appropriateness of Axioms is interpreted. The actions of agents are closely related to the ability and power of agents. An agent would not perform an action if it has not the ability, and if it has not the power and has not been entitled it would not either.Secondly, the soundness and completeness of negotiating logic is expounded. Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic. Based on a series of propositions and lemmas, the completeness of the negotiation logic is proved by construction. Then the logic completeness and the consistency of CTN system are presented.Thirdly, the conflict resolving mechanisms are discussed. After the definitions related to conflict, the arbitrage strategies are discussed, and the negotiation process is described in pseudo code. Negotiation is firstly used to resolve conflicts, and if negotiation can not result in agreement then arbitrage is used.Then some cases are used to illustrate the purpose of the logic. It shows that: (1) the semantic of CTN model is intuitive, rational and natural; (2) The CTN model is a formal description by integrating the ability and thought status of Agent, which can describe the difference among agents accessing the environment and performing actions, and the negotiation is also can be described when conflicts exist. Finally, and some future work are proposed.