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.

References in zbMATH (referenced in 4 articles )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Satoh, Ken; Zese, Riccardo: Dischargeable obligations in the (\mathcalS)CIFF framework (2020)
  2. Schulz, Claudia; Toni, Francesca: Justifying answer sets using argumentation (2016)
  3. Satoh, Ken: Logic programming and burden of proof in legal reasoning (2012)
  4. Satoh, Ken; Asai, Kento; Kogawa, Takamune; Kubota, Masahiro; Nakamura, Megumi; Nishigai, Yoshiaki; Shirakawa, Kei; Takano, Chiaki: PROLEG: An implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology (2011) ioport