Logic Programming and Burden of Proof in Legal Reasoning

In legal reasoning, there are a lot of interesting problems related with techniques of informatics. We propose a research field called juris-informatics to hope that we could make a great success like bio-informatics to introduce various techniques of informatics into legal domain. In this paper, we show our contributions to apply logic programing to formalizing and implementing burden of proof in legal reasoning.

[1]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming , 1993, IJCAI.

[2]  Ichiro Kitamura,et al.  The Judiciary in Contemporary Society: Japan , 1993 .

[3]  Ken Satoh,et al.  Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming , 2009, JURIX.

[4]  Ken Satoh.  A Formalization for Burden of Production in Logic Programming , 2009 .

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

[6]  Henry Prakken,et al.  Formalising arguments about the burden of persuasion , 2007, ICAIL.

[7]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[8]  Phan Minh Dung,et al.  A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation , 2009, IJCAI.

[9]  Ken Satoh,et al.  PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology , 2010, JSAI-isAI Workshops.

[10]  Henry Prakken,et al.  Presumptions and Burdens of Proof , 2006, JURIX.

[11]  Henry Prakken,et al.  The Carneades model of argument and burden of proof , 2007, Artif. Intell..

[12]  Henry Prakken,et al.  More on Presumptions and Burdens of Proof , 2008, JURIX.

[13]  Hajime Yoshino.  On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation , 2004, Artificial Intelligence and Law.

[14]  Sanjay Modgil,et al.  Proof Theories and Algorithms for Abstract Argumentation Frameworks , 2009, Argumentation in Artificial Intelligence.

[15]  K. Satoh,et al.  Formalizing a Switch of Burden of Proof by Logic Programming , 2007 .