Research on Negotiation Model of MAS Based on Linear-Time Temporal Logic and Its Reason and Accrediting Rules

In solving multi-agent system, we are faced with a series of questions of cooperation among agents, clearing up conflict, processing contradiction and so on, negotiation technology is key point in solving plan, it is also one of important contents on research of multi-agent system. In this paper, a negotiation model of multi-agent system based on linear-time temporal logic is presented and a formalized system of the model is given, and at the same time reason and accrediting rules are submitted.