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

Research Project

Project/Area Number	01633013
Research Category	Grant-in-Aid for Scientific Research on Priority Areas
Allocation Type	Single-year Grants
Research Institution	Meiji Gakuin University
Principal Investigator	吉野一明治学院大学, 法学部, 教授 (50062162)
Co-Investigator(Kenkyū-buntansha)	原口誠東京工業大学, 大学院総合理工学研究科, 助教授 (40128450) 松村良之北海道大学, 法学部, 教授 (80091502) 加賀山茂大阪大学, 法学部, 助教授
Project Period (FY)	1989 – 1990
Project Status	Completed (Fiscal Year 1989)
Budget Amount *help	¥1,800,000 (Direct Cost: ¥1,800,000) Fiscal Year 1989: ¥1,800,000 (Direct Cost: ¥1,800,000)
Keywords	類推 / エキスパートシステム / 知識ベース / 人工知能 / 法律 / 論理 / コンピュータ / 判例
Research Abstract	本研究は、法的類推推論のシステム化の基礎を確立することを目的とする。本研究は法的推論のケーススタディを通じてその具体的方法を探るものである。本研究は、六つのフェーズから成り立つ。すなわち、(1)法的類推推論における知識構造の分析、(2)法的類推推論の知識の形式化、(3)類推システムの実現方法の検討、(4)法的類推実験システムの設計、(5)法的類推実験システムのインプリメント、(6)作成されたシステムの実験と評価である。本年は初年度であり、上記(1)、(2)および(3)の課題を中心に研究を行った。 (1)法的類推推論における知識構造の分析:判例データベースを調査し、類推適用が問題になっている判例を収集し分析した。特に多い94条2項の類推適用の事例において法的類推推論がいかなる論理構造を有するかを明らかにした。 (2)法的類推推論の知識の形式化:法的知識の単位である法規範文の一階述語論理による形式化の方法を確立した。これは文を構成する各要素述語をそれが指示する実体に対するIDとその概念を構成する関係子を変項としてもつ述語論理式で表現し、文をその要素述語論理式の命題論理演算子による結合式として表現するものである。 (3)類推のシステム化の実現方法の検討:法的類推推論のシステム化の方法の基礎を確立した。それはルールの変換の概念を拡張したものである。類推によって生成されたルールを当該事案に適用し、ゴールに対する解を導出する方法である。法規範文の要素論理式の集合に適用するプロセスは、抽象化を用いた類推におけるターゲット具体化過程に相当している。ルールの変換をこうした抽象図式の具体的過程を伴うものにまで拡張する方法が検討された。これは、次年度の類推システムの設計に取り込む予定である。