Authors:
Yang Song
and
Ken Satoh
Affiliation:
National Institute of Informatics, Japan
Keyword(s):
Multi-Agent System, Negotiation, BATNA and WATNA, Gödel Logic, Modal Logic.
Abstract:
Negotiation plays a crucial role in the dispute resolution systems. In the negotiation, the agents usually need to compromise with each other because their preferences are different. To provide the best or acceptable suggestion in the negotiation, BATNA (Best Alternative To a Negotiated Agreement) and WATNA (Worst Alternative To a Negotiated Agreement) can be a method to express the preference of each agent. In this paper, our aim is to formalize the negotiated situations of multi-agent system in a logical method based on BATNA and WATNA. We consider each given suggestion as a possible world in modal logic, and provide a 3-valued valuation based on Gödel logic to judge whether a suggestion is over the BATNA, below the WATNA, or between the BATNA and WATNA of each agent, which is to show whether the suggestion is acceptable, rejectable or undecided to the agent. Moreover, by using the modal operator we can check whether there exists a best or acceptable suggestion for all agents in a
negotiated situation.
(More)