Programming of “Japanese Presupposed Ultimate Fact Theory” in criminal law using PROLEG

DOI Web Site

Bibliographic Information

Other Title
  • PROLEGを用いた「裁判規範としての刑法」のプログラミング
  • PROLEG オ モチイタ 「 サイバン キハン ト シテ ノ ケイホウ 」 ノ プログラミング

Search this article

Abstract

<p>We have been researching and developing a system called “PROLEG” which incorporates “Yoken-jijitsu-ron.” This logically organizes the abstract facts necessary to allege or prove in each statute in civil procedure. In civil procedure, since there have already been quite formally logical arguments based on the theory above mentioned, only what we had to do was creating rule bases subject to the civil law books in regards to this theory. However, this implementation process means that this system can only correspond to civil procedure. Since criminal procedure is also a procedure in courts, and we discuss it using similar legal concepts, we believe that criminal procedure, what we call “Yoken-jijitsu-ron” of Japanese criminal codes, is also able to be created and incorporated into “PROLEG for criminal law.” In the courses of developing “PROLEG for criminal law,” we faced and solved some implementational problems in relation to general parts of criminal law of which arguments do not generally exist in civil law. In this paper, we will explain PROLEG system and criminal law and how to combine two things by showing program codes and the visualization of output using some practically important cases. By doing this, we can see PROLEG is adaptable to criminal procedure and it can be used for EdTech and other purposes.</p>

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top