1992 Fiscal Year Annual Research Report

法律エキスパートシステムの基礎的研究--法的思考へのAIアプローチ--

Research Project

Project/Area Number	02301071
Research Institution	Meiji Gakuin University
Principal Investigator	吉野一明治学院大学, 法学部, 教授 (50062162)
Co-Investigator(Kenkyū-buntansha)	太田勝造東京大学, 法学部, 教授 (40152136) 宮本健蔵明治学院大学, 法学部, 教授 (70166198) 原口誠東京工業大学大学院, 理工学総合研究科, 助教授 (40128450) 松村良之北海道大学, 法学部, 教授 (80091502) 加賀山茂大阪大学, 法学部, 教授 (20169379)
Keywords	法 / 法律 / 法的推論 / 法的知識 / 知識ベース / 推論機構 / 人工知能 / エキスパートシステム
Research Abstract	本研究は、実定法の言語分析を通じて法的知識の論理構造を明らかにするとともに、それに基づいて法的正当化の推論をその実際に即して行なうことのできる法律エキスパートシステムの基礎を確立することを目的とする。原理と方法の解明と実証を行なうためにAIワークステーション上に知識ベースと推論機構ならびに最小限のインターフェースからなる実験用のプロトタイプを作成する。本年度は、平成2年度を初年度とする3年計画の研究の最終年度である。本年度の研究において上記の研究目的はほぼ達成された。すなわち(1)法的知識の構造については、国際統一売買法および民法(一部)の条文を法規範文単位に要件・効果の内的構造において解明するとともに、諸法規範文間の論理的結合関係を明かした。その際とくに法の適用を制御する推論の知識構造を法規範文とその効力を規定しているメタ法規範文の関係として解明した。(2)法的知識ベースを、上記法分野において、法規範文とメタ法規範文を複合的述語論理式として表現したルールベースとしてサンプル的に、AIワークステーションPSI-II上に作成した。同様な形式でいくつかの事例も表現した。(3)法的推論機構としては、まず、a)適用すべき法規範文を決定する推論を、上記法的メタ法規範文を適用した演繹的正当化の推論として構成し、そのための法的メタ推論機構を完成した。また、b)この推論過程を理解・説明するための機構を作成した。それは、成功した全推論過程を木構造で表示し、推論結果とその根拠としてのルールや事実を推論の各段階において示すユーザフレンドリーな機能を有する。さらに、c)有限なルールを用いて多様な事件に対して法的解決を与えるための拡大解釈や類推適用の工学的モデルを、法的シソーラスの構造にしたがった仮説生成の推論として計算机上実装し、その有効性および問題点を検討した。

Research Products

(8 results)

All Other

All Publications (8 results)

[Publications] 吉野一: "“Knowledge Representation of Legal Expert System LES-3 with Meta-inference"" Proc.Legal Knowledge and Legal Reasoning Systems. 1-9 (1992)
[Publications] 桜井,吉野: "“Abduction in Legal Reasoning"" Proc.Legal Knowledge and Legal Reasoning Systems. 123-130 (1992)
[Publications] Yoshiaki Ookubo,Makoto Haaguchi: "¨Planning with abstraction based on partial predicate mappings¨" Proc.of Algorithmic Learning Theory '92. 183-196 (1992)
[Publications] 原口誠: "「多量一般化問題:インヘリタンスの意味論からの接近」" ソフトウェア科学会第9回大会論文集. 261-264 (1992)
[Publications] 宮本健蔵: "「雇用・労働契約への民法六五〇条三項の類推適用」" 明治学院論叢. 135-196 (1992)
[Publications] 高橋文彦: "「普遍化可能性テーゼの有効射程」" 法哲学年報1992年度. (1993)
[Publications] 太田勝造: "「裁判費用と弁護士費用について」" 名古屋大学法政論集:松浦先生退官記念号. (1993)
[Publications] 西脇与作: "「『かたち』の示唆するもの:『形』の因果連関」" 慶應義塾大学日吉紀要. 2-18 (1992)

1992 Fiscal Year Annual Research Report

法律エキスパートシステムの基礎的研究--法的思考へのAIアプローチ--

Principal Investigator

吉野 一 明治学院大学, 法学部, 教授 (50062162)

Research Products

[Publications] 吉野 一: "“Knowledge Representation of Legal Expert System LES-3 with Meta-inference"" Proc.Legal Knowledge and Legal Reasoning Systems. 1-9 (1992)

[Publications] 桜井,吉野: "“Abduction in Legal Reasoning"" Proc.Legal Knowledge and Legal Reasoning Systems. 123-130 (1992)

[Publications] Yoshiaki Ookubo,Makoto Haaguchi: "¨Planning with abstraction based on partial predicate mappings¨" Proc.of Algorithmic Learning Theory '92. 183-196 (1992)

[Publications] 原口 誠: "「多量一般化問題:インヘリタンスの意味論からの接近」" ソフトウェア科学会第9回大会論文集. 261-264 (1992)

[Publications] 宮本 健蔵: "「雇用・労働契約への民法六五〇条三項の類推適用」" 明治学院論叢. 135-196 (1992)

[Publications] 高橋 文彦: "「普遍化可能性テーゼの有効射程」" 法哲学年報1992年度. (1993)

[Publications] 太田 勝造: "「裁判費用と弁護士費用について」" 名古屋大学法政論集:松浦先生退官記念号. (1993)

[Publications] 西脇 与作: "「『かたち』の示唆するもの:『形』の因果連関」" 慶應義塾大学日吉紀要. 2-18 (1992)

吉野一明治学院大学, 法学部, 教授 (50062162)

[Publications] 吉野一: "“Knowledge Representation of Legal Expert System LES-3 with Meta-inference"" Proc.Legal Knowledge and Legal Reasoning Systems. 1-9 (1992)

[Publications] 原口誠: "「多量一般化問題:インヘリタンスの意味論からの接近」" ソフトウェア科学会第9回大会論文集. 261-264 (1992)

[Publications] 宮本健蔵: "「雇用・労働契約への民法六五〇条三項の類推適用」" 明治学院論叢. 135-196 (1992)

[Publications] 高橋文彦: "「普遍化可能性テーゼの有効射程」" 法哲学年報1992年度. (1993)

[Publications] 太田勝造: "「裁判費用と弁護士費用について」" 名古屋大学法政論集:松浦先生退官記念号. (1993)

[Publications] 西脇与作: "「『かたち』の示唆するもの:『形』の因果連関」" 慶應義塾大学日吉紀要. 2-18 (1992)