法的類推推論のシステム化の基礎的研究

1989 Fiscal Year Annual Research Report

• Project/Area Number: 01633013
• Research Institution: Meiji Gakuin University
• Principal Investigator: 吉野 一 明治学院大学, 法学部, 教授 (50062162)
• Co-Investigator(Kenkyū-buntansha): 原口 誠 東京工業大学, 大学院総合理工学研究科, 助教授 (40128450) ; 松村 良之 北海道大学, 法学部, 教授 (80091502) ; 加賀山 茂 大阪大学, 法学部, 助教授
• Keywords: 類推 / エキスパートシステム / 知識ベース / 人工知能 / 法律 / 論理 / コンピュータ / 判例

Research Abstract

本研究は、法的類推推論のシステム化の基礎を確立することを目的とする。本研究は法的推論のケーススタディを通じてその具体的方法を探るものである。本研究は、六つのフェーズから成り立つ。すなわち、(1)法的類推推論における知識構造の分析、(2)法的類推推論の知識の形式化、(3)類推システムの実現方法の検討、(4)法的類推実験システムの設計、(5)法的類推実験システムのインプリメント、(6)作成されたシステムの実験と評価である。本年は初年度であり、上記(1)、(2)および(3)の課題を中心に研究を行った。
(1)法的類推推論における知識構造の分析:判例データベースを調査し、類推適用が問題になっている判例を収集し分析した。特に多い94条2項の類推適用の事例において法的類推推論がいかなる論理構造を有するかを明らかにした。
(2)法的類推推論の知識の形式化:法的知識の単位である法規範文の一階述語論理による形式化の方法を確立した。これは文を構成する各要素述語をそれが指示する実体に対するIDとその概念を構成する関係子を変項としてもつ述語論理式で表現し、文をその要素述語論理式の命題論理演算子による結合式として表現するものである。
(3)類推のシステム化の実現方法の検討:法的類推推論のシステム化の方法の基礎を確立した。それはルールの変換の概念を拡張したものである。類推によって生成されたルールを当該事案に適用し、ゴールに対する解を導出する方法である。法規範文の要素論理式の集合に適用するプロセスは、抽象化を用いた類推におけるターゲット具体化過程に相当している。ルールの変換をこうした抽象図式の具体的過程を伴うものにまで拡張する方法が検討された。これは、次年度の類推システムの設計に取り込む予定である。

Research Products

• [Publications] 脇園竜二,有村博紀,井上仁,原口誠,有川節夫: "確定節を対象とした類推システムARTSの効率化" ソフトウェア科学会第6回大会論文集. 81-84 (1989)
• [Publications] 脇園竜二,有川節夫,原口誠: "類推のための抽象化" 人工知能学会(SIGーFAIー8904ー2). 11-20 (1990)
• [Publications] 原口誠: "類推写像による不完全情報の推論について" 情報処理学会第39回全国大会論文集. 307-308 (1989)
• [Publications] 加賀山茂: "重過失による錯誤,動機の錯誤における相手方悪意の場合の表意者救済の法理ー民法93条但書,96条2項の類推解釈" 阪大法学. 39巻3・4号. (1990)
• [Publications] 吉野一: "『法律エキスパートシステムに関する調査報告書ー法律エキスパートの設計(二)』(システム技術開発調査研究)" 機械システム振興会, 156 (1989)