Skip to main content
Log in

Logic Programming and Burden of Proof in Legal Reasoning

  • Invited Paper
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Dung P.M.: "On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming”. Proc. of IJCAI-93, 852–859 (1993)

    Google Scholar 

  2. Dung P.M., Dung T.M.: “A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation”. Proc. of IJCAI-09, 746–751 (2009)

    Google Scholar 

  3. Garciá A.J., Simari G.R.: “Defeasible Logic Programming: An Argumentative Approach”. TPLP 4(1-2), 95–138 (2004)

    MATH  Google Scholar 

  4. Gordon T.F., Prakken H., Walton D.: “The Carneades Model of Argument and Burden of Proof”. Artif. Intell. 171(10-15), 875–896 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  5. Ito, S., Basis of Ultimate Facts, Yuhikaku, 2001 (in Japanese).

  6. Ito, S., Lecture Series on Ultimate Facts, Shojihomu, 2008 (in Japanese).

  7. Kitamura, I., “The Judiciary in Contemporary Society: Japan,” Case Western Reserve Journal of International Law, 00087254, Sprint93, 25, 2, 1993.

  8. Kurata, T., “Shomei Sekininron,” Hanrei Times (2001), Japanese translation of “Rosenberg, L., Die Beweislast auf der Grundlage des Bürgerlichen Gesetzbuchs und der Zivilprozessordnung (1956).”

  9. Modgil, S., Caminada, M., “Proof Theories and Algorithms for Abstract Argumentation Frameworks,” Argumentation in AI (Rahwan, I. and Simari, G. R. eds.), Springer-Verlag, 2009.

  10. Prakken H.: “Modelling Defeasibility in Law: Logic or Procedure?”. Fundam. Inform. 48(2-3), 253–271 (2001)

    MathSciNet  MATH  Google Scholar 

  11. Prakken H., Sartor G.: “Presumptions and Burdens of Proof”. Proc. of JURIX 2006, 21–30 (2006)

    Google Scholar 

  12. Prakken H., Sartor G.: “Formalising Arguments about the Burden of Persuasion”. Proc. of ICAIL 2007, 97–106 (2007)

    Article  Google Scholar 

  13. Prakken H., Sartor G.: “More on Presumptions and Burdens of Proof”. Proc. of JURIX 2008, 176–185 (2008)

    Google Scholar 

  14. Satoh, K., Tojo, S., Suzuki, Y., “Formalizing a Switch of Burden of Proof by Logic Programming,” Proc. of the 1st International Workshop on Juris-Informatics (JURISIN 2007), pp.76–85, 2007. (http://research.nii.ac.jp/˜ksatoh/papers/jurisin2007.pdf)

  15. Satoh, K., “Formalization of Burden of Proof and Its Surrounding Concepts by Logic Programming,” The University of Tokyo Law Review, 4, pp.46–57, 2009 (in Japanese).

  16. Satoh, K., “A Formalization for Burden of Production in Logic Programming,” Proc. of the 3rd International Workshop on Juris-informatics (JURISIN 2009), pp.107–117, 2009.

  17. Satoh, K., Kubota, M., Nishigai, Y., Takano, C., “Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming,” Proc. of JURIX 2009, pp.162–171, 2009.

  18. Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C., “PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology,” Proc. of the 4th International Workshop on Juris-informatics (JURISIN 2010), pp.29–40, 2010.

  19. Shindo, K., New Civil Procedure Law (Revised 3rd Edition), Kobundo publisher, 2005 (in Japanese).

  20. Yoshino, H., “On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation,” Artificial Intelligence and Law, 5, 1-2, pp.77–96, Springer, 1997.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ken Satoh.

About this article

Cite this article

Satoh, K. Logic Programming and Burden of Proof in Legal Reasoning. New Gener. Comput. 30, 297–326 (2012). https://doi.org/10.1007/s00354-012-0402-6

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00354-012-0402-6

Keywords

Navigation