Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics

Artificial Intelligence and Law

Volumn 20, Issue 1, 2012, Pages 57-82

  Prakken, Henry ^a,b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Argumentation structure; Legal argument; Logics for argumentation

Indexed keywords

FORESTRY; FORMAL LOGIC; SEMANTICS; TREES (MATHEMATICS);

ABSTRACT FRAMEWORK; ACCEPTABILITY SEMANTICS; ARGUMENTATION STRUCTURES; DEFEASIBLE RULES; DEPENDENCY RELATION; FIRST ORDER LOGIC; LEGAL ARGUMENTS; LOGICS FOR ARGUMENTATIONS;

ABSTRACTING;

ABSTRACTS; ALGORITHMS; ARTIFICIAL INTELLIGENCE; LEGISLATION; LOGIC;

EID: 84861526161     PISSN: 09248463     EISSN: 15728382     Source Type: Journal    
DOI: 10.1007/s10506-012-9117-8     Document Type: Conference Paper

References (32)

1. Amgoud L, Bodenstaff L, Caminada M, McBurney P, Parsons S, Prakken H, van Veenen J, Vreeswijk G (2006) Final review and report on formal argumentation system, Deliverable D2.6, ASPIC IST-FP6-002307
2. Ashley K (2006) Case-based reasoning. In: Lodder A, Oskamp A (eds) Information technology and lawyers: advanced technology in the legal domain, from challenges to daily routine, Springer, Berlin, pp 23-60
3. K Atkinson T Bench-Capon 2007 Practical reasoning as presumptive argumentation using action based alternating transition systems Artif Intell 171 855 874 2354478 1168.68558 10.1016/j.artint.2007.04.009 (Pubitemid 47285071)
4. T Bench-Capon 2003 Persuasion in practical argument using value-based argumentation frameworks J Logic Comput 13 429 448 2009906 1043.03026 10.1093/logcom/13.3.429
5. Bench-Capon T, Prakken H (2006a) Argumentation. In: Lodder A, Oskamp A (eds) Information technology and lawyers: advanced technology in the legal domain, from challenges to daily routine, Springer, Berlin, pp 61-80
6. Bench-Capon T, Prakken H (2006b) Justifying actions by accruing arguments. In: Dunne P, Bench-Capon T (eds) Computational models of argument. Proceedings of COMMA 2006, IOS Press, Amsterdam etc, pp 247-258
7. T Bench-Capon H Prakken 2010 Using argument schemes for hypothetical reasoning in law Artif Intell Law 18 153 174 10.1007/s10506-010-9094-8
8. Bex F (2009) Evidence for a good story. A hybrid theory of arguments, stories and criminal evidence, doctoral dissertation Faculty of Law, University of Groningen
9. F Bex H Prakken C Reed D Walton 2003 Towards a formal account of reasoning about evidence: argumentation schemes and generalisations Artif Intell Law 12 125 165 10.1023/B:ARTI.0000046007.11806.9a (Pubitemid 40672192)
10. P Dung 1995 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games Artif Intell 77 321 357 1360304 1013.68556 10.1016/0004-3702(94)00041-X
11. T Gordon 1994 The Pleadings Game: an exercise in computational dialectics Artif Intell Law 2 239 292 10.1007/BF00871972
12. T Gordon H Prakken D Walton 2007 The Carneades model of argument and burden of proof Artif Intell 171 875 896 2354479 1168.68566 10.1016/j.artint. 2007.04.010 (Pubitemid 47285070)
13. J Hage 1996 A theory of legal reasoning and a logic to match Artif Intell Law 4 199 273 10.1007/BF00118493 (Pubitemid 126706889)
14. R Loui J Norman 1995 Rationales and argument moves Artif Intell Law 3 159 189 10.1007/BF00872529
15. J Pollock 1994 Justification and defeat Artif Intell 67 377 408 1279646 0807.68085 10.1016/0004-3702(94)90057-4
16. H Prakken 2001 Modelling defeasibility in law: logic or procedure? Fundam Inform 48 253 271 2009783 0995.03023 (Pubitemid 34055544)
17. H Prakken 2002 An exercise in formalising teleological case-based reasoning Artif Intell Law 10 113 133 10.1023/A:1019536206548 (Pubitemid 34974602)
18. H Prakken 2005 AI and law, logic and argument schemes Argumentation 19 303 320 10.1007/s10503-005-4418-7 (Pubitemid 43296529)
19. Prakken H (2005b) A study of accrual of arguments, with applications to evidential reasoning. In: Proceedings of the 10th international conference on artificial intelligence and law. ACM Press, New York, pp 85-94
20. H Prakken 2005 Coherence and flexibility in dialogue games for argumentation J Log Comput 15 1009 1040 2186733 1092.03014 10.1093/logcom/exi046 (Pubitemid 41806518)
21. H Prakken 2008 Formalising ordinary legal disputes: a case study Artif Intell Law 16 333 359 10.1007/s10506-008-9069-1
22. H Prakken 2010 An abstract framework for argumentation with structured arguments Argument Comput 1 93 124 10.1080/19462160903564592
23. H Prakken G Sartor 1997 Argument-based extended logic programming with defeasible priorities J Appl Non-Class Log 7 25 75 1673417 0877.68019
24. 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 Publishing, Farnham, pp 223-253
25. C Reed G Rowe 2004 Araucaria: Software for argument analysis, diagramming and representation Int J AI Tools 13 961 980 10.1142/S0218213004001922 (Pubitemid 40111952)
26. Sartor G (2008) Legal policies and theories of legality: from 'banana's' to Radbruch's formula. European University Institute Florence, EUI Working Papers Law 27
27. van den Braak S (2010) Sensemaking software for crime analysis, doctoral dissertation Department of Information and Computing Sciences, Utrecht University
28. B Verheij 2003 Dialectical argumentation with argumentation schemes: an approach to legal logic Artif Intell Law 11 167 195 10.1023/B:ARTI.0000046008. 49443.36 (Pubitemid 40672193)
29. Verheij B (2008) About the logical relations between cases and rules. In: Francesconi E, Sartor G, Tiscornia D (eds) Legal knowledge and information systems. JURIX 2008: the twentyfirst annual conference, IOS Press, Amsterdam etc, pp 21-32
30. G Vreeswijk 1997 Abstract argumentation systems Artif Intell 90 225 279 1441188 1017.03513 10.1016/S0004-3702(96)00041-0 (Pubitemid 127398371)
31. Walton D, Reed C, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge
32. Wyner A, Bench-Capon T, Atkinson K (2007) Arguments, values and baseballs: representation of Popov v. Hayashi. In: Lodder A, Mommers L (eds) Legal knowledge and information systems. JURIX 2007: the twentieth annual conference, IOS Press, Amsterdam etc, pp 151-160