Abstract
This article presents a formal dialogue game for adjudication dialogues. Existing AI & law models of legal dialogues and argumentation-theoretic models of persuasion are extended with a neutral third party, to give a more realistic account of the adjudicator’s role in legal procedures. The main feature of the model is a division into an argumentation phase, where the adversaries plea their case and the adjudicator has a largely mediating role, and a decision phase, where the adjudicator decides the dispute on the basis of the claims, arguments and evidence put forward in the argumentation phase. The model allows for explicit decisions on admissibility of evidence and burden of proof by the adjudicator in the argumentation phase. Adjudication is modelled as putting forward arguments, in particular undercutting and priority arguments, in the decision phase. The model reconciles logical aspects of burden of proof induced by the defeasible nature of arguments with dialogical aspects of burden of proof as something that can be allocated by explicit decisions on legal grounds.
Similar content being viewed by others
Notes
This article extends, revises and simplifies Prakken (2001b).
T(d) denotes the player(s) whose turn it is to move in d.
References
Bench-Capon T (1998) Specification and implementation of Toulmin dialogue game, Legal knowledge-based systems. JURIX: the eleventh conference, Gerard Noodt Instituut, Nijmegen, pp 5–19
Bench-Capon T, Geldard T, Leng P (2000) A method for the computational modelling of dialectical argument with dialogue games. Artif Intell Law 8:233–254
Brewka G (2001) Dynamic argument systems: a formal model of argumentation processes based on situation calculus. J Logic Comput 11:257–282
Carlson L (1983) Dialogue games: an approach to discourse analysis. Reidel Publishing Company, Dordrecht
Gordon T (1993) The pleadings game: formalizing procedural justice, Proceedings of the fourth international conference on artificial intelligence and law, ACM Press, New York, pp 10–19
Hage J (1997) Reasoning with rules. An essay on legal reasoning and its underlying logic, law and philosophy library. Kluwer Academic Publishers, Dordrecht/Boston/London
Hage J (2000) Dialectical models in artificial intelligence and law. Artif Intell Law 8:137–172
Hage J, Leenes R, Lodder A (1994) Hard cases: a procedural approach. Artif Intell Law 2:113–166
Hamblin C (1971) Mathematical models of dialogue. Theoria 37:130–155
Leenes R (2001) Burden of proof in dialogue games and Dutch civil procedure, Proceedings of the eighth international conference on artificial intelligence and law, ACM Press, New York, pp 109–118
Lodder A (1999) DiaLaw. On legal justification and dialogical models of argumentation, law and philosophy library. Kluwer Academic Publishers, Dordrecht/Boston/London
Loui R (1998) Process and policy: resource-bounded non-demonstrative reasoning. Comput Intell 14:1–38
Mackenzie J (1979) Question-begging in non-cumulative systems. J Philos Logic 8:117–133
Peczenik A (1996) Jumps and logic in the law. Artif Intell Law 4:297–329
Prakken H (2001a) Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae 48:253–271
Prakken H (2001b) Modelling reasoning about evidence in legal procedure, Proceedings of the eighth international conference on artificial intelligence and law. ACM Press, New York, pp 119–128
Prakken H (2005) Coherence and flexibility in dialogue games for argumentation. J Logic Comput 15:1009–1040
Prakken H (2006) Formal systems for persuasion dialogue. Knowl Eng Rev 21:163–188
Prakken H, Gordon T (1998) Rules of order for electronic group decision making—a formalization methodology, In: Padget J (ed) Collaboration between human and artificial societies. Coordination and agent-based distributed computing, number 1624 in Springer, Lecture notes in AI, Springer Verlag, Berlin, pp 246–263
Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non-classical Logics 7:25–75
Prakken H, Sartor G (2002) The role of logic in computational models of legal argument: a critical survey, In: Kakas A, Sadri F (eds) Logic programming and beyond. Essays in honour of Robert A. Kowalski, Part II, number 2048 in Springer, Lecture notes in computer science, Springer Verlag, Berlin, pp 342–380
Prakken H, Sartor G (2006) Presumptions and burdens of proof, In: van Engers TM (ed) Legal knowledge and information systems. JURIX 2006: the nineteenth annual conference, IOS Press, Amsterdam etc., pp 21–30
Prakken H, Sartor G (2007) Formalising arguments about the burden of persuasion, Proceedings of the eleventh international conference on artificial intelligence and law, ACM Press, New York, pp 97–106
Prakken H, Vreeswijk G (2002) Logics for defeasible argumentation, In: Gabbay D, Günthner F (eds) Handbook of philosophical logic, 2nd edn. Vol. 4, Kluwer Academic Publishers, Dordrecht/Boston/London, pp 219–318
Prakken H, Reed C, Walton D (2005) Dialogues about the burden of proof, Proceedings of the tenth international conference on artificial intelligence and law, ACM Press, New York, pp 115–124
Rescher N (1977) Dialectics: a controversy-oriented approach to the theory of knowledge. State University of New York Press, Albany, NY
Sartor G (1995) Defeasibility in legal reasoning, In: Bankowski Z, White I, Hahn U (eds) Informatics and the foundations of legal reasoning, Law and philosophy library, Kluwer Academic Publishers, Dordrecht/Boston/London, pp 119–157
Sartor G (2005) Legal reasoning: a cognitive approach to the law. Springer Verlag, Berlin
Strong J (ed) (1992) McCormick on Evidence, 4th edn. West Publishing Co., St Paul
Toulmin S (1958) The uses of argument. Cambridge University Press, Cambridge
Vreeswijk G (2000) Representation of formal dispute with a standing order. Artif Intell Law 8:205–231
Walton D, Krabbe E (1995) Commitment in dialogue. Basic concepts of interpersonal reasoning. State University of New York Press, Albany, NY
Acknowledgements
This research was partially supported by the EU under IST-FP6-002307 (ASPIC). I thank Tom Gordon, Chris Reed, Giovanni Sartor, Burkhard Schäfer and Doug Walton for useful discussions on the various aspects of burden of proof.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Prakken, H. A formal model of adjudication dialogues. Artif Intell Law 16, 305–328 (2008). https://doi.org/10.1007/s10506-008-9066-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10506-008-9066-4