Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract)

This paper reports the development of a simple tool, NEGEXT, written in the platform-independent Java language. NEGEXT has been constructed to aid real people doing actual negotiations, when the ways to negotiate are simply too many to be computed by a normal human mind. This toolkit will also help in planning one’s strategic moves in negotiation situations when the opponents’ possible moves can be approximated. Even though some visualization tools for extensive form game trees already exist, we believe we are the first to make a tree-based negotiation toolkit that incorporates the possibility of representing learning from game to game, by sequential and parallel composition (cf. [1]). Moreover, the toolkit has a model-checking component which computes whether and how an individual or a specific coalition can achieve a given objective.