Skip to main content
Top
Published in: Artificial Intelligence and Law 2/2010

01-06-2010

A hybrid formal theory of arguments, stories and criminal evidence

Authors: Floris J. Bex, Peter J. van Koppen, Henry Prakken, Bart Verheij

Published in: Artificial Intelligence and Law | Issue 2/2010

Log in

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

search-config
loading …

Abstract

This paper presents a theory of reasoning with evidence in order to determine the facts in a criminal case. The focus is on the process of proof, in which the facts of the case are determined, rather than on related legal issues, such as the admissibility of evidence. In the literature, two approaches to reasoning with evidence can be distinguished, one argument-based and one story-based. In an argument-based approach to reasoning with evidence, the reasons for and against the occurrence of an event, e.g., based on witness testimony, are central. In a story-based approach, evidence is evaluated and interpreted from the perspective of the factual stories as they may have occurred in a case, e.g., as they are defended by the prosecution. In this paper, we argue that both arguments and narratives are relevant and useful in the reasoning with and interpretation of evidence. Therefore, a hybrid approach is proposed and formally developed, doing justice to both the argument-based and the narrative-based perspective. By the formalization of the theory and the associated graphical representations, our proposal is the basis for the design of software developed as a tool to make sense of the evidence in complex cases.

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!

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!

Footnotes
1
A notable exception here are Pardo and Allen (2007), who advocate using stories to explain the evidence.
 
2
Examples are CaseMap (http://​www.​casemap.​com; accessed on February 5th, 2010) and Analyst’s Notebook (http://​www.​i2group.​com/​products/​analysis-product-line/​analysts-notebook; accessed on February 5th, 2010).
 
3
AVERS stands for Argument Visualization for Evidential Reasoning based on Stories and was specifically developed for crime analysis by van den Braak and Vreeswijk, see van den Braak et al. (2008), van den Braak (2010) and Bex et al. (2007a).
 
4
 
5
In the current framework, time is not explicitly represented. Rather, it is implicitly assumed that the further in the sequence an event is, the later it takes place.
 
6
See Prakken and Sartor (2009) and Gordon and Walton (2009) for discussions on how burdens and standards of proof can be incorporated in this approach.
 
Literature
go back to reference Anderson TJ, Schum DA, Twining WL (2005) Analysis of evidence, 2nd edn. Cambridge University Press, CambridgeCrossRef Anderson TJ, Schum DA, Twining WL (2005) Analysis of evidence, 2nd edn. Cambridge University Press, CambridgeCrossRef
go back to reference Bennett WL, Feldman MS (1981) Reconstructing reality in the courtroom: justice and judgment in american culture. Methuen–Tavistock, London Bennett WL, Feldman MS (1981) Reconstructing reality in the courtroom: justice and judgment in american culture. Methuen–Tavistock, London
go back to reference Bex FJ (2009) Evidence for a good story: a hybrid theory of arguments, stories and criminal evidence. Doctoral dissertation, Faculty of Law, University of Groningen Bex FJ (2009) Evidence for a good story: a hybrid theory of arguments, stories and criminal evidence. Doctoral dissertation, Faculty of Law, University of Groningen
go back to reference Bex FJ, Verheij B (2010) Het onderbouwen van een feitelijk oordeel in een strafzaak (Supporting a factual judgment in a criminal case). In: Van Koppen PJ, Merckelbach H, Jelicic M, De Keijser JW (eds) Reizen met Mijn Rechter. Psychologie van het Recht, 935–952. Kluwer, Deventer Bex FJ, Verheij B (2010) Het onderbouwen van een feitelijk oordeel in een strafzaak (Supporting a factual judgment in a criminal case). In: Van Koppen PJ, Merckelbach H, Jelicic M, De Keijser JW (eds) Reizen met Mijn Rechter. Psychologie van het Recht, 935–952. Kluwer, Deventer
go back to reference Bex FJ, Prakken H, Reed C, Walton DN (2003) Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artif Intell Law 11:125–165CrossRef Bex FJ, Prakken H, Reed C, Walton DN (2003) Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artif Intell Law 11:125–165CrossRef
go back to reference Bex FJ, Braak SW, van den Oostendorp H, van Prakken H, Verheij B, Vreeswijk G (2007a) Sense–making software for crime investigation: how to combine stories and arguments? Law Probab Risk 6:145–168CrossRef Bex FJ, Braak SW, van den Oostendorp H, van Prakken H, Verheij B, Vreeswijk G (2007a) Sense–making software for crime investigation: how to combine stories and arguments? Law Probab Risk 6:145–168CrossRef
go back to reference Bex FJ, Prakken H, Verheij B (2007b) Formalising argumentative story–based analysis of evidence. In: Proceedings of the 11th international conference on artificial intelligence and law, 1–10, ACM Press, New York (New York) Bex FJ, Prakken H, Verheij B (2007b) Formalising argumentative story–based analysis of evidence. In: Proceedings of the 11th international conference on artificial intelligence and law, 1–10, ACM Press, New York (New York)
go back to reference Bex FJ, Bench-Capon TJM, Atkinson KD (2009) Did he jump or was he pushed? Abductive practical reasoning. Artif Intell Law 17:79–99CrossRef Bex FJ, Bench-Capon TJM, Atkinson KD (2009) Did he jump or was he pushed? Abductive practical reasoning. Artif Intell Law 17:79–99CrossRef
go back to reference Bondarenko A, Dung PM, Kowalski RA, Toni F (1997) An abstract, argumentation–theoretic approach to default reasoning. Artif Intell 93:63–101MATHCrossRefMathSciNet Bondarenko A, Dung PM, Kowalski RA, Toni F (1997) An abstract, argumentation–theoretic approach to default reasoning. Artif Intell 93:63–101MATHCrossRefMathSciNet
go back to reference Braak SW, van den Oostendorp H, van Vreeswijk G, Prakken H (2008) Representing narrative and testimonial knowledge in sense–making software for crime analysis. In: Francesconi E, Sartor G, Tiscornia D (eds) Legal knowledge and information systems. JURIX 2008: The 21st annual conference, 160–169. IOS Press, Amsterdam Braak SW, van den Oostendorp H, van Vreeswijk G, Prakken H (2008) Representing narrative and testimonial knowledge in sense–making software for crime analysis. In: Francesconi E, Sartor G, Tiscornia D (eds) Legal knowledge and information systems. JURIX 2008: The 21st annual conference, 160–169. IOS Press, Amsterdam
go back to reference Caminada M (2006) On the issue of reinstatement in argumentation. In: Fisher M, van der Hoek W, Konev B, Lisitsa A (eds) Logics in artificial intelligence, 10th European Conference, Jelia 2006. Lecture notes in computer science, vol 4160. Springer, Berlin, pp 111–123 Caminada M (2006) On the issue of reinstatement in argumentation. In: Fisher M, van der Hoek W, Konev B, Lisitsa A (eds) Logics in artificial intelligence, 10th European Conference, Jelia 2006. Lecture notes in computer science, vol 4160. Springer, Berlin, pp 111–123
go back to reference Cohen LJ (1977) The probable and the provable. Oxford University Press, Oxford Cohen LJ (1977) The probable and the provable. Oxford University Press, Oxford
go back to reference Console L, Torasso P (1991) A spectrum of logical definitions of model–based diagnosis. Comput Intell 7:133–141CrossRef Console L, Torasso P (1991) A spectrum of logical definitions of model–based diagnosis. Comput Intell 7:133–141CrossRef
go back to reference de Poot CJ, Bokhorst RJ, Koppen PJ, van Muller ER (2004) Rechercheportret—over dillemma’s in de opsporing. Kluwer, Alphen a.d. Rijn (in Dutch) de Poot CJ, Bokhorst RJ, Koppen PJ, van Muller ER (2004) Rechercheportret—over dillemma’s in de opsporing. Kluwer, Alphen a.d. Rijn (in Dutch)
go back to reference Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n–person games. Artif Intell 77:321–357MATHCrossRefMathSciNet Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n–person games. Artif Intell 77:321–357MATHCrossRefMathSciNet
go back to reference Gordon TF (2007) Visualizing Carneades argument graphs. Law Probab Risk 6:109–117CrossRef Gordon TF (2007) Visualizing Carneades argument graphs. Law Probab Risk 6:109–117CrossRef
go back to reference Gordon TF, Walton D (2009) Proof burdens and standards. In: Rahwan I, Simari G (eds) Argumentation in artificial intelligence. Springer, Berlin Gordon TF, Walton D (2009) Proof burdens and standards. In: Rahwan I, Simari G (eds) Argumentation in artificial intelligence. Springer, Berlin
go back to reference Hage JC (1996) A theory of legal reasoning and a logic to match. Artif Intell Law 4:199–273CrossRef Hage JC (1996) A theory of legal reasoning and a logic to match. Artif Intell Law 4:199–273CrossRef
go back to reference Hepler AB, Dawid AP, Leucari V (2007) Object–oriented graphical representations of complex patterns of evidence. Law Probab Risk 6:275–293CrossRef Hepler AB, Dawid AP, Leucari V (2007) Object–oriented graphical representations of complex patterns of evidence. Law Probab Risk 6:275–293CrossRef
go back to reference Heuer RJ (1999) Psychology of intelligence analysis. Center for the Study of Intelligence, Central Intelligence Agency Heuer RJ (1999) Psychology of intelligence analysis. Center for the Study of Intelligence, Central Intelligence Agency
go back to reference Josephson JR (2002) On the proof dynamics of inference to the best explanation. In: MacCrimmon M, Tillers P (eds) The dynamics of judicial proof—computation, logic and common sense. Physica, Berlin, pp 287–306 Josephson JR (2002) On the proof dynamics of inference to the best explanation. In: MacCrimmon M, Tillers P (eds) The dynamics of judicial proof—computation, logic and common sense. Physica, Berlin, pp 287–306
go back to reference Keppens J, Schäfer B (2006) Knowledge based crime scenario modelling. Expert Syst Appl 30:203–222CrossRef Keppens J, Schäfer B (2006) Knowledge based crime scenario modelling. Expert Syst Appl 30:203–222CrossRef
go back to reference Nijboer JF, Sennef A (1999) Justification. In: Nijboer JF, Malsch M (eds) Complex cases: perspectives on the Netherlands criminal justice system. Thela Thesis, Amsterdam, pp 11–26 Nijboer JF, Sennef A (1999) Justification. In: Nijboer JF, Malsch M (eds) Complex cases: perspectives on the Netherlands criminal justice system. Thela Thesis, Amsterdam, pp 11–26
go back to reference Pardo MS, Allen RJ (2007) Juridical proof and the best explanation. Law Philos 27:223–268 SpringerCrossRef Pardo MS, Allen RJ (2007) Juridical proof and the best explanation. Law Philos 27:223–268 SpringerCrossRef
go back to reference Pennington N, Hastie R (1993) Reasoning in explanation–based decision making. Cognition 49:123–163CrossRef Pennington N, Hastie R (1993) Reasoning in explanation–based decision making. Cognition 49:123–163CrossRef
go back to reference Pollock JL (1995) Cognitive carpentry: a blueprint for how to build a person. MIT Press, Cambridge Pollock JL (1995) Cognitive carpentry: a blueprint for how to build a person. MIT Press, Cambridge
go back to reference Prakken H (2010) An abstract framework for argumentation with structured arguments. Argument Comput 1, to appear Prakken H (2010) An abstract framework for argumentation with structured arguments. Argument Comput 1, to appear
go back to reference Prakken H, Renooij S (2001) Reconstructing causal reasoning about evidence: a case study. In Verheij B, Lodder AR, Loui RP, Muntjewerff A (eds.) Legal knowledge and information systems. JURIX 2001: The 14th annual conference, 160–169, IOS Press, Amsterdam Prakken H, Renooij S (2001) Reconstructing causal reasoning about evidence: a case study. In Verheij B, Lodder AR, Loui RP, Muntjewerff A (eds.) Legal knowledge and information systems. JURIX 2001: The 14th annual conference, 160–169, IOS Press, Amsterdam
go back to reference Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non–classical Logics 7:25–75MATHMathSciNet Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non–classical Logics 7:25–75MATHMathSciNet
go back to reference Prakken H, Sartor G (2009) A logical analysis of burdens of proof. In: Kaptein H, Prakken H, Verheij B (eds) Legal evidence and proof: statistics, Stories, Logic. Ashgate, Aldershot Prakken H, Sartor G (2009) A logical analysis of burdens of proof. In: Kaptein H, Prakken H, Verheij B (eds) Legal evidence and proof: statistics, Stories, Logic. Ashgate, Aldershot
go back to reference Prakken H, Vreeswijk G (2002) Logics for defeasible argumentation. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic. Kluwer Academic Publishers, Dordrecht, pp 219–318 Prakken H, Vreeswijk G (2002) Logics for defeasible argumentation. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic. Kluwer Academic Publishers, Dordrecht, pp 219–318
go back to reference Reed CA, Rowe CWA (2004) Araucaria: software for argument diagramming, analysis and representation. Int J AI Tools 13:961–980CrossRef Reed CA, Rowe CWA (2004) Araucaria: software for argument diagramming, analysis and representation. Int J AI Tools 13:961–980CrossRef
go back to reference Schank RC, Abelson RP (1977) Scripts, plans, goals and understanding: an inquiry into human knowledge structures. Lawrence Erlbaum, HillsdaleMATH Schank RC, Abelson RP (1977) Scripts, plans, goals and understanding: an inquiry into human knowledge structures. Lawrence Erlbaum, HillsdaleMATH
go back to reference Schum DA (1994) The evidential foundations of probabilistic reasoning. Northwestern University Press, Evanston Schum DA (1994) The evidential foundations of probabilistic reasoning. Northwestern University Press, Evanston
go back to reference Simon D (2001) A third view of the black box: cognitive coherence in legal decision making. Univ Chicago Law Rev 71:511–586 Simon D (2001) A third view of the black box: cognitive coherence in legal decision making. Univ Chicago Law Rev 71:511–586
go back to reference Thagard P (2004) Causal inference in legal decision making: explanatory coherence vs. Bayesian networks. Appl Artif Intell 18:231–249CrossRef Thagard P (2004) Causal inference in legal decision making: explanatory coherence vs. Bayesian networks. Appl Artif Intell 18:231–249CrossRef
go back to reference Thagard P (2005) Testimony, credibility, and explanatory coherence. Erkenntnis 63:295–316MATHCrossRef Thagard P (2005) Testimony, credibility, and explanatory coherence. Erkenntnis 63:295–316MATHCrossRef
go back to reference Thagard P, Shelley CP (1997) Abductive reasoning: logic, visual thinking, and coherence. In: Chiara MLD (ed) Logic and scientific methods. Kluwer Academic Publishers, Dordrecht Thagard P, Shelley CP (1997) Abductive reasoning: logic, visual thinking, and coherence. In: Chiara MLD (ed) Logic and scientific methods. Kluwer Academic Publishers, Dordrecht
go back to reference Tillers P (2005) Picturing inference. In: Schünemann B, Tinnefeld M-T, Wittmann R (eds) Gerechtigkeitswissenschaft, Kolloquium aus Anlass des 70. Geburtstages von Lothar Philipps. Berliner Wissenschafts, Berlin Tillers P (2005) Picturing inference. In: Schünemann B, Tinnefeld M-T, Wittmann R (eds) Gerechtigkeitswissenschaft, Kolloquium aus Anlass des 70. Geburtstages von Lothar Philipps. Berliner Wissenschafts, Berlin
go back to reference Toulmin SE (2003) The uses of argument, updated edition (originally published in 1958). Cambridge University Press, Cambridge Toulmin SE (2003) The uses of argument, updated edition (originally published in 1958). Cambridge University Press, Cambridge
go back to reference van den Braak SW (2010) Sensemaking software for crime analysis. Doctoral dissertation, Department of Information and Computing Sciences, Utrecht University van den Braak SW (2010) Sensemaking software for crime analysis. Doctoral dissertation, Department of Information and Computing Sciences, Utrecht University
go back to reference Verheij B (1996) Two approaches to dialectical argumentation: admissible sets and argumentation stages. In Meyer J-JC, van der Gaag LC (eds.) In: Proceedings of the 8th Dutch conference on artificial intelligence (NAIC-96), pp 357–368 Verheij B (1996) Two approaches to dialectical argumentation: admissible sets and argumentation stages. In Meyer J-JC, van der Gaag LC (eds.) In: Proceedings of the 8th Dutch conference on artificial intelligence (NAIC-96), pp 357–368
go back to reference Verheij B (2000) Anchored narratives and dialectical argumentation. In: Van Koppen PJ, Roos N (eds) Rationality, information and progress in law and psychology. Liber Amicorum Hans F. Crombag. Metajuridica Publications, Maastricht, pp 203–226 Verheij B (2000) Anchored narratives and dialectical argumentation. In: Van Koppen PJ, Roos N (eds) Rationality, information and progress in law and psychology. Liber Amicorum Hans F. Crombag. Metajuridica Publications, Maastricht, pp 203–226
go back to reference Verheij B (2005) Virtual arguments: on the design of argument assistants for lawyers and other arguers. T.M.C. Asser Press, Den Haag Verheij B (2005) Virtual arguments: on the design of argument assistants for lawyers and other arguers. T.M.C. Asser Press, Den Haag
go back to reference Wagenaar WA, Koppen PJ, van Crombag HFM (1993) Anchored narratives: the psychology of criminal evidence. St. Martin’s Press, New York Wagenaar WA, Koppen PJ, van Crombag HFM (1993) Anchored narratives: the psychology of criminal evidence. St. Martin’s Press, New York
go back to reference Walton DN (2002) Legal argumentation and evidence. Penn. State University Press, University Park Walton DN (2002) Legal argumentation and evidence. Penn. State University Press, University Park
go back to reference Walton DN, Reed CA, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge Walton DN, Reed CA, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge
go back to reference Wigmore JH (1931) The principles of judicial proof or the process of proof as given by logic, psychology, and general experience, and illustrated in judicial trials, 2nd edn. Little Brown and Company, Boston Wigmore JH (1931) The principles of judicial proof or the process of proof as given by logic, psychology, and general experience, and illustrated in judicial trials, 2nd edn. Little Brown and Company, Boston
Metadata
Title
A hybrid formal theory of arguments, stories and criminal evidence
Authors
Floris J. Bex
Peter J. van Koppen
Henry Prakken
Bart Verheij
Publication date
01-06-2010
Publisher
Springer Netherlands
Published in
Artificial Intelligence and Law / Issue 2/2010
Print ISSN: 0924-8463
Electronic ISSN: 1572-8382
DOI
https://doi.org/10.1007/s10506-010-9092-x

Premium Partner