[4E3-OS-7b] AIの法学の応用(2)

[4E3-OS-7b-05] Implementation of Criminal Procedure using PROLEG Technology

〇Ken Satoh¹, Yoshiaki Nishigai² (1. National Institute of Informatics, 2. Nihon University)

Keywords:legal reasoning, penal code, logic programming

In this paper, we show a possibility to implement Japanese criminal procedure including Japanese penal code in PROLEG (PROlog-based LEGal reasoning support system).
PROLEG has been orginially used to formalize only civil procedure but it is also generally applicable to laws which include general rules and exceptions. Japanese penal code consists of general rules and exceptions so it is possible to formalize it in PROLEG. This paper discusses a concern about how we represent conditions of concepts in criminal law domain using PROLEG.