Modelling reasoning about evidence in legal procedure

This article investigates the modelling of reasoning about evidence in legal procedure. To this end, a dialogue game model of the relevant parts of Dutch civil procedure is developed with three players: two adversaries and a judge. The model aims to be both legally realistic and technically well-founded. Legally, the main achievement is a more realistic account of the judge's role in legal procedures than that provided by current models. Technically, the model aims to preserve the features of an earlier-developed framework for two-player argumentative dialogue systems.

[1]  Arno R. Lodder Dialogical models of argumentation , 1999 .

[2]  Henry Prakken,et al.  On Dialogue Systems with Speech Acts, Arguments, and Counterarguments , 2000, JELIA.

[3]  Henry Prakken,et al.  Modelling Defeasibility in Law: Logic or Procedure? , 2001, Fundam. Informaticae.

[4]  Nikos I. Karacapilidis,et al.  The Zeno argumentation framework , 1997, ICAIL '97.

[5]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[6]  Gerhard Brewka,et al.  Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus , 2001, J. Log. Comput..

[7]  Henry Prakken,et al.  Rules of Order for Electronic Group Decision Making - A Formalization Methodology , 1999, Collaboration between Human and Artificial Societies.

[8]  Trevor J. M. Bench-Capon Specification and Implementation of Toulmin Dialogue Game , 1999 .

[9]  de Cornelis Vey Mestdagh 'Hercules of Karneades, Hard Cases in Recht en Rechtsinformatica' , 1999 .

[10]  Hadassa Jakobovits,et al.  On the theory of argumentation frameworks , 2000 .

[11]  Gerard A. W. Vreeswijk,et al.  The computational value of debate in defeasible reasoning , 1995 .

[12]  J. Pollock Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .

[13]  Ronald Prescott Loui,et al.  Process and Policy: Resource‐Bounded NonDemonstrative Reasoning , 1998, Comput. Intell..

[14]  Jim D. Mackenzie,et al.  Question-begging in non-cumulative systems , 1979, J. Philos. Log..

[15]  Ronald Prescott Loui,et al.  Progress on Room 5: a testbed for public interactive semi-formal legal argumentation , 1997, ICAIL '97.