Multi-Agent System Formal Model Based On Negotiation Axiom System Of Temporal Logic

Agent and multi-agent system is a hotspot and an important domain in DAI. Negotiation is thebest universal and primary form of assure agents could effective interaction in multi-agent system. In this paper, we use formalization method present a temporal logic-based formal model ofnegotiation of multi-agent system. It present a formalism of reasoning about interaction of multi-agentsystem. It present the function of time, ability and power of agent at select action and negotiationprogress in multi-agent, and power of agent change over time and agent can do action without timerestrict, it provide explain and restrict about behavior of agent in multi-agent system. We first describe semantic frame, give temporal structure, action, environment, Agents,negotiation and TN definition in formalization. The semantic of this logic is given based on reachableworld model. And based on temporal logic put forward an axiomatics of this logic, and systematicallydiscuss its rationality. At the same time, we prove validity, soundness, completeness anduncontradictory. Then give negotiation and arbitrage mechanism of conflicts resolving. Finally, weillustrate the use of the logic through an example, and discuss issues for future work.