PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology
PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology
复制标题
PROLEG：PROLOG技术对日本民法典预设最终事实理论的实现
DOI：
10.1007/978-3-642-25655-4_14
复制
发表时间：
2010
影响因子：
10.6
通讯作者：
Chiaki Takano
中科院分区：
文献类型：
--
作者：
K. Satoh;Kento Asai;Takamune Kogawa;M. Kubota;Megumi Nakamura;Yoshiaki Nishigai;Kei Shirakawa;Chiaki Takano
在本文中，我们提出了一个法律推理系统，称为PROLEG（基于PROlog的法律推理支持系统），该系统基于日本的“预设最终事实理论”（日语称为“Yoken-jijitsu-ron”，简称为JUF理论）。该理论用于法官在不完全信息条件下的决策。在此之前，我们提出了将该理论转化为逻辑编程的方法。然而，事实证明，逻辑规划中的知识表示对于律师来说是难以理解的。因此，本文在PROLEG中改变了JUF理论中规则的知识表示方式，采用JUF理论主要研究者之一的法官提出的“开放性”思想来反映律师的推理。
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.