Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming
复制标题
将日本预设终极事实理论转化为逻辑编程
DOI：
10.3233/978-1-60750-082-7-162
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Chiaki Takano
中科院分区：
文献类型：
--
作者：
K. Satoh;M. Kubota;Yoshiaki Nishigai;Chiaki Takano
日本民法典解释的“终极事实预设理论”（日语称为“Yoken-jijitsu-罗恩”）主要由日本法律的研修院的法官们提出，至今已有40多年的历史，但尚未形成数学形式。本文试图对这一理论进行数学形式化，并给出了它与“否定即失败”的逻辑程序设计的对应关系。令人惊讶的是，日本法官在不了解逻辑编程的情况下独立开发了这样一个理论。
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.
证明责任的归纳推理
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
Jiefei Ma;Alessandra Russo;Krysia Broda;Hiroshi Hosobe;Ken Satoh;Naoki Fukuta;Ken Satoh
通讯作者：
Ken Satoh