A formal approach to protocols and strategies for (legal) negotiation

  • Authors:

  • Guido Governatori;Marlon Dumas;Arthur H. M. ter Hofstede;Phillipa Oaks

  • Affiliations:

  • Cooperative Information Systems Research Centre, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia;Cooperative Information Systems Research Centre, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia;Cooperative Information Systems Research Centre, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia;Cooperative Information Systems Research Centre, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia

  • Venue:
  • Proceedings of the 8th international conference on Artificial intelligence and law
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a formal and executable framework for expressing protocols and strategies for automated (legal) negotiation. In this framework a party involved in a negotiation is represented through a software agent composed of four modules: (i) a communication module which manages the interaction with the other agents; (ii) a control module; (iii) a reasoning module specified as a defeasible theory; and (iv) a knowledge base which bridges the control and the reasoning modules, while keeping track of past decisions and interactions. The choice of defeasible logic is justified against a set of desirable criteria for negotiation automation languages. Moreover, the suitability of the framework is illustrated through two case studies.