PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology
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.
Unable to display preview. Download preview PDF.
- 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
- 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