Skip to main content
Erschienen in: Artificial Intelligence and Law 4/2008

01.12.2008

Formalising ordinary legal disputes: a case study

verfasst von: Henry Prakken

Erschienen in: Artificial Intelligence and Law | Ausgabe 4/2008

Einloggen

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Fußnoten
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}.\)
 
Literatur
Zurück zum Zitat 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 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
Zurück zum Zitat Gordon T (1994) The Pleadings Game: an exercise in computational dialectics. Artif Intell Law 2:239–292CrossRef Gordon T (1994) The Pleadings Game: an exercise in computational dialectics. Artif Intell Law 2:239–292CrossRef
Zurück zum Zitat 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 (1997) Reasoning with rules. an essay on legal reasoning and its underlying logic, law and philosophy library. Kluwer Academic Publishers, Dordrecht
Zurück zum Zitat Hage J, Leenes R, Lodder A (1994) Hard cases: a procedural approach. Artif Intell Law 2:113–166CrossRef Hage J, Leenes R, Lodder A (1994) Hard cases: a procedural approach. Artif Intell Law 2:113–166CrossRef
Zurück zum Zitat Kowalski R, Toni F (1996) Abstract argumentation. Artif Intell Law 4:275–296CrossRef Kowalski R, Toni F (1996) Abstract argumentation. Artif Intell Law 4:275–296CrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat Leclerq W (1990) Procesdossiers: Civiel Proces. Ars Aequi Libri, Nijmegen (in Dutch) Leclerq W (1990) Procesdossiers: Civiel Proces. Ars Aequi Libri, Nijmegen (in Dutch)
Zurück zum Zitat 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) 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)
Zurück zum Zitat Lodder A (1999) DiaLaw on legal justification and dialogical models of argumentation. law and philosophy library. Kluwer Academic Publishers, Dordrecht Lodder A (1999) DiaLaw on legal justification and dialogical models of argumentation. law and philosophy library. Kluwer Academic Publishers, Dordrecht
Zurück zum Zitat Prakken H (2001) Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae 48:253–271MATHMathSciNet Prakken H (2001) Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae 48:253–271MATHMathSciNet
Zurück zum Zitat 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 (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
Zurück zum Zitat 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 (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
Zurück zum Zitat 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 (2007) Formalising ordinary legal disputes: a case study. Technical report UU-CS-2007-048, Department of Information and Computing Sciences, Utrecht University, Utrecht
Zurück zum Zitat 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 (2008) A formal model of adjudication dialogues, Technical report UU-CS-2008-31, Department of Information and Computing Sciences, Utrecht University, Utrecht
Zurück zum Zitat 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 (1996) A dialectical model of assessing conflicting arguments in legal reasoning. Artif Intell Law 4:331–368CrossRef
Zurück zum Zitat 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 (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
Zurück zum Zitat 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 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
Zurück zum Zitat Schum D (1994) Evidential foundations of probabilistic reasoning. Northwestern University Press, Evanston, IL Schum D (1994) Evidential foundations of probabilistic reasoning. Northwestern University Press, Evanston, IL
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat Walton D (1996) Argumentation schemes for presumptive reasoning. Lawrence Erlbaum Associates, Mahwah, NJ Walton D (1996) Argumentation schemes for presumptive reasoning. Lawrence Erlbaum Associates, Mahwah, NJ
Zurück zum Zitat Walton D, Krabbe E (1995) Commitment in dialogue. Basic concepts of interpersonal reasoning. State University of New York Press, Albany, NY Walton D, Krabbe E (1995) Commitment in dialogue. Basic concepts of interpersonal reasoning. State University of New York Press, Albany, NY
Metadaten
Titel
Formalising ordinary legal disputes: a case study
verfasst von
Henry Prakken
Publikationsdatum
01.12.2008
Verlag
Springer Netherlands
Erschienen in
Artificial Intelligence and Law / Ausgabe 4/2008
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI
https://doi.org/10.1007/s10506-008-9069-1