成文法と判例法を融合した法律人工知能システムの国際共同研究

• 研究課題/領域番号: 03044133
• 研究種目: 国際学術研究
• 配分区分: 補助金
• 応募区分: 共同研究
• 研究機関: 明治学院大学
• 研究代表者: 吉野 一 明治学院大学, 法学部, 教授 (50062162)
• 研究分担者: KOWALSKI Rob ロンドン大学, インペリアルカレッジ・コンピュータ科学部, 教授 ; BRANTING Kar ワイオミング大学, コンピュータ科学部, 助教授 ; RUESSMANN He ザールランド大学, 法学部, 教授 ; HERBERGER Ma ザールランド大学, 法学部, 教授 ; ASHLEY Kevin ピッツバーグ大学, 法学部, 助教授 ; BERMAN Donal ノースイースタン大学, ロースクール, 教授 ; HAFNER Carol ノースイースタン大学, コンピュータ科学部, 準教授 ; 桜井 成一朗 東京工業大学, 大学院・総合理工学研究科, 助手 (20202088) ; 北原 宗律 広島修道大学, 商学部, 教授 (70234268) ; 原口 誠 東京工業大学, 大学院・総合理工学研究科, 助教授 (40128450) ; 加賀山 茂 大阪大学, 法学部, 教授 (20169379) ; 松村 良之 北海道大学, 法学部, 教授 (80091502) ; HELMUT Ruess ザールランド大学, 法学部, 教授 ; ROBERT Kowal ロンドン大学インペリアルカレッジ, コンピュータ科学部, 教授 ; MAXIMILIAN H ザールランド大学, 法学部, 教授 ; KEVIN D Ashe ビッツバーグ大学, 法学部, 助教授 ; DONALD H Ber ノースイースタン大学, ロースクール, 教授 ; CAROLE D Haf ノースイースタン大学, コンピュータ科学部, 準教授 ; RUESSMAN Hel ザールランド大学, 法学部, 教授
• 研究期間 (年度): 1991 – 1993
• 研究課題ステータス: 完了 (1993年度)
• 配分額: 16,000千円 (直接経費: 16,000千円); 1993年度: 4,500千円 (直接経費: 4,500千円); 1992年度: 6,000千円 (直接経費: 6,000千円); 1991年度: 5,500千円 (直接経費: 5,500千円)
• キーワード: 法律 / 成文法 / 判例法 / 法的推論 / 人工知能 / 類推 / ルールベース / 事例ベース / 法的知識表現 / 類推推論 / ル-ル型推論と事例型推論の融合システム / 法的知識の発見と定立 / 法律知識ベ-スの構築 / アブダクション / 国際統一売買法の論理分析 / 法的メタ知識

研究概要

本研究は、国際統一売買法を対象領域として、成文法国である日本および西ドイツと判例法国であるアメリカ合衆国の研究者が、それぞれの法体系の特徴である「ルールに基づいた推論」と「事例に基づいた推論」の論理分析を行ない、それぞれの推論のシステム化の研究成果を交換するとともに、共同でルールの解釈と類推適用のメカニズムを解明し、それに基づいて、ルール型の推論システムと事例型推論システムとを融合させることを目的とした。平成5年度において次の点が達成された。
(1)本国際共同研究によって、大陸法系の「ルールに基づいた推論」と英米法系の「事例に基づいた推論」の論理構造がそれぞれおおよそ明らにされた。
(2)「ルールに基づいた推論」と「事例に基づいた推論」の相互関係、両者を融合させる道が明らかとなった。すなわち、法ルールの解釈において事例に基づく推論を利用する方法が明らにされた。
(3)法的知識の表現方法として、論理流れ図の方法と複合的述語論理式(CPF)による方法とが確立された。
(4)CISG(国連売買条約)の第2部契約成立の部分の論理構造が解明された。そしてそれが、開発された知識表現方法である(日本語と英語版の)論理流れ図およびCPFによって、コンピュータ上に表現された。この表現形式を共通の表現形式として用いることに日米の研究者の合意が形成された。
(5)CISGの論理流れ図表現を対象に日・米の研究者が議論したが、これは異なる言語、異なる法文化を持つ日米の両国の法律家の間によいコミュニケーションを実現する方法であることが判明した。
(6)CISGの法解釈学的諸論点が明らかとなった。また解釈の違いと背景となる法文化の関係が明らかになった。
(7)ドイツ側の研究者は、英語、ドイツ語およびフランス語のマルチ言語のCISGのハイパーカードシステムを完成した。またCISGのドイツ語テキスト文からそれに対応する述語論理式を半自動生成する知識獲得支援実験システムを作成した。
次の点で成果はあげつつも、当初計画をそのままの形で実現することはできなかった。
(1)ルール型推論システムおよびルールからの類推実験システムを作成した。しかし、ルール型推論システムをアッシュレ-などの事例型推論システムと結合させるまでには至らなかった。従ってまた、ルールに基づいた推論と事例に基づいた推論を融合するシステムの実装も実現できなかった。
(2)述語論理式から日本語文および英語文を生成する試験システムを作成したが、日本語と英語の法律知識ベースを融合するためのインターフェースを作成するまでには至らなかった。
(3)研究のまとめ方と研究成果の執筆分担の取り決めがなされたが、年度内に本国際学術共同研究の成果報告書を作成することができなかった。
これらは研究を進めるに従って問題の深さが明らかになり、安易にシステムの実装を急ぐより、研究の基礎を固めることにより努力した結果でもある。とはいえ、本国際学術共同研究によって、複数の言語で表現され、しかし条約として合意されたことによって一つの内容を持つCISG(国連売買条約)を対象にし、また大陸法系の成文法主義(ルール主義)の法的推論と英米法系の事例主義の法的推論を比較検討し、それを両者を融合させる方向で人工知能システムとして実現しようと努力したことによって、一方において、同法の諸論点が明らかになったとともに、異なる言語および法文化に属する法律家間のコミュニケーションの方法が提供された。本研究は比較法の新たなメソッドを提供した。他方において、人工知能研究にとっても、事例にもとづく推論で法ルールの解釈を支援するシステムの実現方法が確立された点で、有意義な成果を挙げたといえる。

研究成果

• [文献書誌] Hajime Yoshino: "“Knowledge Representation of Legal Expert System LES-3 with Legal Meta-inference"" Proc.Legal Knowledge and Legal Reasoning Systems. 1-9 (1992)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] Robert Kowalski: "“Legislation as Logic Programs"" Proc.Legal Knowledge and Legal Reasoning Systems. 55-82 (1992)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] Helmut Ruessmann: "“The Saarbruecken Approach to a Decision-Support-System Relating to the United Nations Convention on Contracts of International Sale of Goods"" Proc.Legal Knowledge and Legal Reasoning Systems. 110-122 (1992)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] Seiichirou Sakurai: "“Abduction in Legal Reasoning"" Proc.Legal Knowledge and Legal Reasoning Systems. 123-130 (1992)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] Makoto Haraguchi: "“What kinds of knowledge and Inferences Are Needed to Realize Legal Reasoning?"" Proc.Legal Knowledge and Legal Reasoning Systems. 139-146 (1992)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] 桜井、原口、吉野: "「抽象化図式に基づく学習とその法的知識獲得への応用」" 情報処理学会研究報告Vol.93No.17. (1993)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] Hajime Yoshino: "Towards a Legal Analogical Reasoning System:Knowledge Representation and Reasoning Methods" Proc.The Fourth International Conference on Artificial Intelligence and Law. 110-116 (1993)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] Hajime Yoshino: "Identification of Implicit Legal Requirements with Legal Abstract Knowledge" Proc.The Fourth International Conference on Artificial Intelligence and Law. 298-305 (1993)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] 櫻井成一朗、原口誠: "抽象化に基づく類推による知識の変換について" 知識のリフォームレーションシンポジウム論文集. 169-178 (1993)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] 原口 誠: "多重一般化問題" 数理科学362. 23-27 (1993)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] Hajime Yoshino: "Proc.Legal Knowledge and Legal Reasoning Systems" LESA(Legal Expert System Association), 146 (1992)
  • 説明: 「研究成果報告書概要(和文)」より
• [文献書誌] Hajime Yohino: "Identification of Implicit Legal Requirements with Legal Abstract Knowledge" Proc. The Fourth International Conference on Artificial Intelligence and Law. 298-305 (1993)
  • 説明: 「研究成果報告書概要(欧文)」より
• [文献書誌] Hajime Yohino: "Knowledge Representation of Legal Expert System LES-3 with Legal Meta-inference" Proc. Legal Knowledge and Legal Reasoning Systems. 1-9 (1992)
  • 説明: 「研究成果報告書概要(欧文)」より
• [文献書誌] Robert Kowalski: "Legislation as Logic Programs" Proc. Legal Knowledge and Legal Reasoning Systems. 55-82 (1992)
  • 説明: 「研究成果報告書概要(欧文)」より
• [文献書誌] Helmut Ruessmann: "The Saarbruecken Approach to a Decision-Support-System Relating to the United Nations Convention on Contracts of International Sale of Goods" Proc. Legal Knowledge and Legal Reasoning Systems. 110-112 (1992)
  • 説明: 「研究成果報告書概要(欧文)」より
• [文献書誌] Seiichirou Sakurai: "Abduction in Legal Reasoning" Proc. Legal Knowledge and Legal Reasoning Systems. 123-130 (1992)
  • 説明: 「研究成果報告書概要(欧文)」より
• [文献書誌] Makoto Haraguchi: "What Kinds of Knowledge and Inferences Are Needed to Realize Legal Reasoning?" Proc. Legal Knowledge and Legal Reasoning Systems. 139-146 (1992)
  • 説明: 「研究成果報告書概要(欧文)」より
• [文献書誌] Hajime Yoshino: "Towards a Legal Analogical System : Knowledge Representation and Reasoning Methods" Proc. The Fourth International Conference on Artificial Intelligence and Law. 110-116 (1993)
  • 説明: 「研究成果報告書概要(欧文)」より
• [文献書誌] Hajime Yoshino: LESA(Legal Expert System Association). Proc. Legal Knowledge and Legal Reasoning Systems, 146 (1992)
  • 説明: 「研究成果報告書概要(欧文)」より
• [文献書誌] Hajime Yoshino: ""Knowledge Representation of Legal Expert System LES-3 with Legal Meta-inference"" Proc.Legal Knowledge and Legal Reasoning Systems. 1-9 (1992)
• [文献書誌] Robert Kowalski: ""Legislation as Logic Programs"" Proc.Legal Knowledge and Legal Reasoning Systems. 55-82 (1992)
• [文献書誌] Helmut Ruessmann: ""The Saarbruecken Approach to a Decision-Support-System Relating to the United Nations Convention on Contracts of International Sale of Goods"" Proc.Legal Knowledge and Legal Reasoning Systems. 110-122 (1992)
• [文献書誌] Seiichirou Sakurai: ""Abduction in Legal Reasoning"" Proc.Legal Knowledge and Legal Reasoning Systems. 123-130 (1992)
• [文献書誌] Makoto Haraguchi: ""What kinds of Konwledge and Inferences Are Needed to Realize Legal Reasoning?"" Proc.Legal Knowledge and Legal Reasoning Systems. 139-146 (1992)
• [文献書誌] 桜井,原口,吉野: "「抽象化図式に基づく学習とその法的知識獲得への応用」" 情報処理学会研究報告 Vol.93 No.17. (1993)
• [文献書誌] 原口誠: "「多重一般化問題:インヘリタンスの意味論からの接近」" ソフトウェア科学会第9回大会論文集. 261-264 (1992)
• [文献書誌] Yoshino,Hagime: "Proc.Legal Knowledge and Legal Reasoning Systems" LESA(Legal Expert System Association), 146 (1992)