Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Artificial Intelligence and Law
Published in: Artificial Intelligence and Law 4/2008

01-12-2008

Formalising ordinary legal disputes: a case study

Author: Henry Prakken

Published in: Artificial Intelligence and Law | Issue 4/2008

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.
previous article Introduction to special issue on modelling legal cases
next article An ontology in OWL for legal case-based reasoning

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Footnotes
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}.\)
 
Literature
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–254CrossRef
Gordon T (1994) The Pleadings Game: an exercise in computational dialectics. Artif Intell Law 2:239–292CrossRef
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–166CrossRef
Kowalski R, Toni F (1996) Abstract argumentation. Artif Intell Law 4:275–296CrossRef
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–271MATHMathSciNet
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 (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–368CrossRef
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–352CrossRef
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
Metadata
Title
Formalising ordinary legal disputes: a case study
Author
Henry Prakken
Publication date
01-12-2008
Publisher
Springer Netherlands
Published in
Artificial Intelligence and Law / Issue 4/2008
Print ISSN: 0924-8463
Electronic ISSN: 1572-8382
DOI
https://doi.org/10.1007/s10506-008-9069-1

Premium Partner

    Image Credits