Search
 
loader loading subjects...
cover
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming
Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, Chiaki Takano
162 - 171
10.3233/978-1-60750-082-7-162
Frontiers in Artificial Intelligence and Applications
Volume 205: Legal Knowledge and Information Systems
Abstract

The Japanese “theory of presupposed ultimate facts” (called “Yoken-jijitsu-ron” in Japanese) for interpreting the Japanese civil code has been underway for over forty years mainly by judges in the Japanese Legal Training Institute, but not yet formalized in a mathematical way. This paper attempts to mathematically formalize this theory and presents the correspondence between the theory and logic programming with “negation as failure”. It is quite surprising that Japanese judges independently developed such a theory without knowing about logic programming.

$35.00 / €27.50 / £22.00
Add PDF to cart