Skip to main content
Log in

Formalising ordinary legal disputes: a case study

  • Published:
Artificial Intelligence and Law Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

Notes

  1. The numbering of the statute sections below is as it was at the time of the case, in 1974–1978.

  2. Strictly speaking arguments in this logic are deductions instead of proof trees, but the conversion between these formats is straightforward.

  3. 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

    Article  Google Scholar 

  • Gordon T (1994) The Pleadings Game: an exercise in computational dialectics. Artif Intell Law 2:239–292

    Article  Google Scholar 

  • Hage J (1997) Reasoning with rules. an essay on legal reasoning and its underlying logic, law and philosophy library. Kluwer Academic Publishers, Dordrecht

    Google Scholar 

  • Hage J, Leenes R, Lodder A (1994) Hard cases: a procedural approach. Artif Intell Law 2:113–166

    Article  Google Scholar 

  • Kowalski R, Toni F (1996) Abstract argumentation. Artif Intell Law 4:275–296

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Prakken H (2001) Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae 48:253–271

    MATH  MathSciNet  Google Scholar 

  • 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

    Article  MATH  MathSciNet  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Walton D, Krabbe E (1995) Commitment in dialogue. Basic concepts of interpersonal reasoning. State University of New York Press, Albany, NY

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Henry Prakken.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10506-008-9069-1

Keywords

Navigation