PROLEG: an implementation of the presupposed ultimate fact theory of japanese civil code by PROLOG technology

Authors:
Ken Satoh;Kento Asai;Takamune Kogawa;Masahiro Kubota;Megumi Nakamura;Yoshiaki Nishigai;Kei Shirakawa;Chiaki Takano
Affiliations:
National Institute of Informatics and Sokendai, Japan;National Institute of Informatics and Sokendai, Japan;National Institute of Informatics and Sokendai, Japan;National Institute of Informatics and Sokendai, Japan;National Institute of Informatics and Sokendai, Japan;National Institute of Informatics and Sokendai, Japan;National Institute of Informatics and Sokendai, Japan;National Institute of Informatics and Sokendai, Japan
Venue:
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Year:
2010

Citing 7
Cited 0

The British Nationality Act as a logic program

Communications of the ACM
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
On the logical foundations of compound predicate formulae for legal knowledge representation

Artificial Intelligence and Law
Formalising arguments about the burden of persuasion

Proceedings of the 11th international conference on Artificial intelligence and law
The Carneades model of argument and burden of proof

Artificial Intelligence
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming

Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law

Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law

Quantified Score

Hi-index	0.00

Visualization

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.