Abstract
This paper presents a formal reconstruction of a Dutch civil legal case in Prakken’s formal model of adjudication dialogues. The object of formalisation is the argumentative speech acts exchanged during the dispute by the adversaries and the judge. The goal of this formalisation is twofold: to test whether AI & law models of legal dialogues in general, and Prakken’s model in particular, are suitable for modelling particular legal procedures; and to learn about the process of formalising an actual legal dispute.
Similar content being viewed by others
Notes
The numbering of the statute sections below is as it was at the time of the case, in 1974–1978.
Strictly speaking arguments in this logic are deductions instead of proof trees, but the conversion between these formats is straightforward.
In this table he complement of a formula \(\varphi,\) denoted by \(-\varphi,\) is \(\neg \varphi\) if \(\varphi\) does not start with a negation and \(\varphi^{\prime}\) if \(\varphi = \neg \varphi^{\prime}.\)
References
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
Gordon T (1994) The Pleadings Game: an exercise in computational dialectics. Artif Intell Law 2:239–292
Hage J (1997) Reasoning with rules. an essay on legal reasoning and its underlying logic, law and philosophy library. Kluwer Academic Publishers, Dordrecht
Hage J, Leenes R, Lodder A (1994) Hard cases: a procedural approach. Artif Intell Law 2:113–166
Kowalski R, Toni F (1996) Abstract argumentation. Artif Intell Law 4:275–296
Lauritsen M (2005) Intelligent tools for managing factual arguments. In: Proceedings of the tenth international conference on artificial intelligence and law. ACM Press, New York, pp 95–104
Leclerq W (1990) Procesdossiers: Civiel Proces. Ars Aequi Libri, Nijmegen (in Dutch)
Leenes R (1998) Hercules of Karneades: hard cases in Recht en Rechtsinformatica (Hercules or Karneades: hard cases in law and legal informatics). Twente University Press, Enschede (in Dutch)
Lodder A (1999) DiaLaw on legal justification and dialogical models of argumentation. law and philosophy library. Kluwer Academic Publishers, Dordrecht
Prakken H (2001) Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae 48:253–271
Prakken H (2002) Incomplete arguments in legal discourse: a case study. In: Legal Knowledge and Information Systems. JURIX 2002: The fifteenth annual conference. IOS Press, Amsterdam etc, pp 93–102
Prakken H (2005a) Coherence and flexibility in dialogue games for argumentation. J Logic Comput 15:1009–1040
Prakken H (2005b) A study of accrual of arguments, with applications to evidential reasoning. In: Proceedings of the tenth international conference on artificial intelligence and law. ACM Press, New York, pp 85–94
Prakken H (2007) Formalising ordinary legal disputes: a case study. Technical report UU-CS-2007-048, Department of Information and Computing Sciences, Utrecht University, Utrecht
Prakken H (2008) A formal model of adjudication dialogues, Technical report UU-CS-2008-31, Department of Information and Computing Sciences, Utrecht University, Utrecht
Prakken H, Sartor G (1996) A dialectical model of assessing conflicting arguments in legal reasoning. Artif Intell Law 4:331–368
Prakken H, Sartor G (2006) Presumptions and burdens of proof. In: Engers TMv (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. In: Proceedings of the eleventh international conference on artificial intelligence and law. ACM Press, New York, pp 97–106
Schum D (1994) Evidential foundations of probabilistic reasoning. Northwestern University Press, Evanston, IL
Shipman F, Marshall C (1999) Formality considered harmful: experiences, emerging themes, and directions on the use of formal representations in interactive systems. Comput Support Cooperative Work 8:333–352
Sombekke J, van Engers T, Prakken H (2007) Argumentation structures in legal dossiers. In: Proceedings of the eleventh international conference on artificial intelligence and law. ACM Press, New York, pp 277–281
Walton D (1996) Argumentation schemes for presumptive reasoning. Lawrence Erlbaum Associates, Mahwah, NJ
Walton D, Krabbe E (1995) Commitment in dialogue. Basic concepts of interpersonal reasoning. State University of New York Press, Albany, NY
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Prakken, H. Formalising ordinary legal disputes: a case study. Artif Intell Law 16, 333–359 (2008). https://doi.org/10.1007/s10506-008-9069-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10506-008-9069-1