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

[4E3-OS-7b-05] 刑事訴訟版のPROLEGの開発

〇佐藤 健¹、西貝 吉晃² (1. 国立情報学研究所、2. 日本大学)

キーワード：法的推論、刑法、論理プログラミング

本論文では、刑事訴訟のPROLEG(PROlog-based LEGal reasoning support system)による実装について検討する。PROLEGは民事訴訟を実装するために開発されてきたが、PROLEGの法表現自体は、原則・例外からなる法体系であれば一般的に応用可能である。刑法も同様に原則・例外からなる法体系であるので、PROLEGでの実装は基本的には可能と思われるが、民事訴訟と刑事訴訟には概念的な差異があるため、この論文はそのような差異についてPROLEGでどのように実装するかについて論じる。