Skip to main content

PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,volume 6797)

Abstract

In this paper, we propose a legal reasoning system called PROLEG (PROlog based LEGal reasoning support system) based on the Japanese “theory of presupposed ultimate facts” (called “Yoken-jijitsu-ron” in Japanese, the JUF theory, in short). The theory is used for decision making by judges under incomplete information. Previously, we proposed a translation of the theory into logic programming. However, it turns out that the knowledge representation in logic programming is difficult for lawyers to understand. So, in this paper, we change knowledge representation of rules in the JUF theory in PROLEG so that we reflect lawyers’ reasoning using the idea of “openness” proposed by a judge who is a main investigator of the JUF theory.

This work has been done partially while Kento Asai, Masahiro Kubota, Megumi Nakamura, Kei Shirakawa and Chiaki Takano were with NII.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-25655-4_14
  • Chapter length: 12 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-25655-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dung, P.M.: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artif. Intell. 77(2), 321–358 (1995)

    MathSciNet  CrossRef  Google Scholar 

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

    MathSciNet  CrossRef  Google Scholar 

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

    Google Scholar 

  4. McCarty, L.T., Sridharan, N.S., Sangster, B.C.: The Implementation of TAXMAN II: An Experiment in Artificial Intelligence and Legal Reasoning. Report LRP-TR-2, Rutgers University (1979)

    Google Scholar 

  5. Prakken, H.: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Law and Philosophy Library 32 (1997)

    Google Scholar 

  6. Prakken, H., Sartor, G.: Formalising Arguments about the Burden of Persuasion. In: Proc. of ICAIL 2007, pp. 97–106 (2007)

    Google Scholar 

  7. Satoh, K., Kubota, M., Nishigai, Y., Takano, C.: Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming. In: Proc. of JURIX 2009, pp. 162–171 (2009)

    Google Scholar 

  8. Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British Nationality Act as a Logic Program. CACM 29(5), 370–386 (1986)

    CrossRef  Google Scholar 

  9. Yoshino, H.: On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation, vol. 5(1-2), pp. 77–96 (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Satoh, K. et al. (2011). PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. In: Onada, T., Bekki, D., McCready, E. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2010. Lecture Notes in Computer Science(), vol 6797. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25655-4_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25655-4_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25654-7

  • Online ISBN: 978-3-642-25655-4

  • eBook Packages: Computer ScienceComputer Science (R0)