Prevarication in dispute protocols

ABSTRACT

Models of persuasion, argument, and reasoning motivated by analogies from Law and legal process are now accepted formalisms supporting multi-agent discourse in applications such as contract negotiation and resolving disputed claims. A number of non-classical Logics and proof theories within these have been proposed specifically to deal with the special circumstances wherein propositional theories are not best suited to address modeling issues arising in legal contexts: e.g. exceptions and defaults are treated in a variety of so-called non-monotonic logics; similarly concepts of credulous, cautious and sceptical belief have been developed, partly to reflect differing forms of 'burden of proof' that may apply in various judicial contexts. Our concern in this paper is to consider one aspect of legal argument that appears to have been largely neglected in existing work concerning agent discourse protocols - particularly so in the arenas of persuasion and dispute resolution - the use of legitimate procedural devices to defer 'undesirable' conclusions being finalised and the deployment of such techniques in seeking to have a decision over-ruled. Motivating our study is the contention that individual agents within an 'agent society' could (be programmed to) act in a 'non-cooperative' manner: thus, contesting policies/decisions accepted by other agents in the 'society' in order to improve some national 'individual' utility. Using Dung's argumentation framework, we present various settings in which the use of 'legitimate delay' can be rigorously modeled, formulate some natural decision questions respecting the existence and utility of 'prevaricatory tactics', and, finally, illustrate within a greatly simplified schema, how carefully-chosen devices may greatly increase the length of an apparently 'straightforward' dispute.

REFERENCES

• 1: Alexander Artikis , Jeremy Pitt , Marek Sergot, Animated specifications of computational societies, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3, July 15-19, 2002, Bologna, Italy [doi>10.1145/545056.545070]
• 2: T. J. M. Bench-Capon. Specification and implementation of Toulmin dialogue game. In J. C. Hage et al., editor, Legal Knowledge Based Systems, pages 5--20. GNI, 1998.
• 3: T. J. M. Bench-Capon, P. E. Dunne, and P. H. Leng. A dialogue game for dialectical interaction with expert systems. In Proc. 12th Annual Conference on Expert Systems and their applications, pages 105--113, 1992.
• 4: C. Cayrol, S. Doutre, and J. Mengin. On decision problems related to the preferred semantics for argumentation frameworks. Technical report, I.R.I.T., Toulouse, (to appear, Jnl. of Logic and Computation), 2002.
• 5: Yannis Dimopoulos , Alberto Torres, Graph theoretical structures in logic programs and default theories, Theoretical Computer Science, v.170 n.1-2, p.209-244, Dec. 1996 [doi>10.1016/S0304-3975(96)00004-7]
• 6: Phan Minh Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence, v.77 n.2, p.321-357, Sept. 1995 [doi>10.1016/0004-3702(94)00041-X]
• 7: Paul E. Dunne , T. J. M. Bench-Capon, Two party immediate response disputes: properties and efficiency, Artificial Intelligence, v.149 n.2, p.221-250, October 2003 [doi>10.1016/S0004-3702(03)00076-6]
• 8: Paul E. Dunne , Peter McBurney, Optimal utterances in dialogue protocols, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia [doi>10.1145/860575.860673]
• 9: J. G. Fuller. The Day of St. Anthony's Fire. Hutchinson Publishing Group, London, 1969
• 10: D. Gabbay and J. Woods. More on Non-Cooperation in Dialogue Logic Logic Jnl. of the IGPL, 9:305--323, 2001
• 11: Thomas F. Gordon, Pleadings Game: An Artificial Intelligence Model of Procedural Justice, Kluwer Academic Publishers, Norwell, MA, 1995
• 12: H. Jakobovits. On the theory of argumentation frameworks. PhD thesis, Vrije Universiteit Brussels, April 2000.
• 13: H. Jakobovits , D. Vermeir, Dialectic semantics for argumentation frameworks, Proceedings of the 7th international conference on Artificial intelligence and law, p.53-62, June 14-17, 1999, Oslo, Norway [doi>10.1145/323706.323715]
• 14: The Lawyer's Code of Professional Responsibility. New York State 2002
• 15: A. R. Lodder. Dialaw: On legal justification and Dialogue Games. PhD thesis, Univ. of Maastricht, 1998.
• 16: S. A. Matthews. Veto threats: rhetoric in a bargaining game The Quarterly Jnl. of Economics, May 1989, 347--369.
• 17: Peter McBurney , Simon Parsons, Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents, Journal of Logic, Language and Information, v.11 n.3, p.315-334, Summer 2002 [doi>10.1023/A:1015586128739]
• 18: Peter McBurney , Simon Parsons , Michael Wooldridge, Desiderata for agent argumentation protocols, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1, July 15-19, 2002, Bologna, Italy [doi>10.1145/544741.544836]
• 19: When are two protocols the same? In M. P. Huget, F. Dignum and J. L. Koning, editors, Agent Communications Languages and Conversation Policies, Proc. AAMAS-02 Workshop, Bologna, Italy, 2002.
• 20: S. Parsons, C. A. Sierra, and N. R. Jennings. Agents that reason and negotiate by arguing, Journal of Logic and Computation, 8(3):261--292, 1998.
• 21: H. Prakken. Logical Tools for Modelling Legal Argument. Kluwer Academic Publishers, 1997.
• 22: C. Reed, Dialogue Frames in Agent Communication, Proceedings of the 3rd International Conference on Multi Agent Systems, p.246, July 03-07, 1998
• 23: A. Urquhart, The complexity of Gentzen systems for propositional logic, Theoretical Computer Science, v.66 n.1, p.87-97, 2 Aug. 1989 [doi>10.1016/0304-3975(89)90147-3]
• 24: Gerard Vreeswijk , Henry Prakken, Credulous and Sceptical Argument Games for Preferred Semantics, Proceedings of the European Workshop on Logics in Artificial Intelligence, p.239-253, October 02, 2000
• 25: D. N. Walton and E. C. W. Krabbe. Committment in Dialogue: Basic Concepts of Interpersonal Reasoning. Univ. of New York Press, 1995.

INDEX TERMS

Keywords:
argumentation and persuasion, dialogue protocols, locution selection