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, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Gordon, T.F., Prakken, H., Walton, D.: The Carneades Model of Argument and Burden of Proof. Artif. Intell. 171(10-15), 875–896 (2007)
Ito, S.: Lecture Series on Ultimate Facts. Shojihomu (2008) (in Japanese)
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)
Prakken, H.: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Law and Philosophy Library 32 (1997)
Prakken, H., Sartor, G.: Formalising Arguments about the Burden of Persuasion. In: Proc. of ICAIL 2007, pp. 97–106 (2007)
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)
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)
Yoshino, H.: On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation, vol. 5(1-2), pp. 77–96 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)