| 研究課題/領域番号 |
02301071
|
|---|
| 研究種目 |
総合研究(A)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
基礎法学
|
|---|
| 研究機関 | 明治学院大学 |
|---|
研究代表者 |
吉野 一 明治学院大学, 法学部, 教授 (50062162)
|
|---|
| 研究分担者 |
太田 勝造 東京大学, 法学部, 教授 (40152136)
西脇 与作 慶應大学, 文学部, 教授 (30118989)
原口 誠 東京工業大学大学院, 理工学総合研究科, 助教授 (40128450)
松村山 良之 (松村 良之) 北海道大学, 法学部, 教授 (80091502)
加賀山 茂 大阪大学, 法学部, 教授 (20169379)
宮本 健蔵 明治学院大学, 法学部, 教授 (70166198)
|
|---|
| 研究期間 (年度) |
1990 – 1992
|
| 研究課題ステータス |
完了 (1992年度)
|
| 配分額 *注記 |
15,000千円 (直接経費: 15,000千円)
1992年度: 2,000千円 (直接経費: 2,000千円)
1991年度: 3,000千円 (直接経費: 3,000千円)
1990年度: 10,000千円 (直接経費: 10,000千円)
|
|---|
| キーワード | 法 / 法律 / 法的推論 / 法的知識 / 知識ベース / 推論機構 / 人工知能 / エキスパートシステム / 法規範文 / 法的知識ベ-ス / 法的探索的知識 / 法的メタ推論機構 / 法的推論機構 / 法律的概念辞書 / 法律エキスパ-トシステム / 知識ベ-ス / 国際統一売買法 / 民法 / 知識構造 |
|---|
| 研究概要 |
本研究は、実定法の言語分析を通じて法的知識の論理構造を明らかにするとともに、それに基づいて、実際に即して法的正当化の推論を行なう法律エキスパートシステムの基礎を確立することを目的とする。原理と方法の解明と実証を行なうために、AIワークステーション上に知識ベースと推論機構ならびに最小限のインターフェースからなる実験用のプロトタイプを作成する。三年間の研究において上記の研究目的はほぼ達成された。すなわ、(1)法的知識の構造については、ウィーン売買条件(一部)および民法(一部)の条文を法規範文単位に要件・効果の内的構造において解明するとともに、諸法規範文間の論理的結合関係を明かした。その際とくに法の適用を制御する推論の知識構造を法規範文とその効力を規定しているメタ法規範文の関係として解明した。(2)法律知識ベースとしては、上記分野において、上記原理に基づいて、法規範文とメタ法規範文を複合的述語論理式で表現し、サンプルシステムをAIワークステーションPSI-II上に作成した。(3)法的推論機構としては、a)適用すべき法規範文を決定する推論を、上記法的メタ法規範文を適用した演繹的正当化の推論として構成し、そのための法的メタ推論機構を完成した。また、b)この推論過程を理解・説明するためのユーザフレンドリーな説明機構を作成した。さらに、c)有限なルールを用いて多様な事件に対して法的解決を与えるための拡大解釈や類推適用の工学的モデルを、法的シソ-ラスの構造にしたがった仮説生成の推論として計算機上実装し、その有効性および問題点を検討した。また法的概念辞書の基礎を明らかにした。上記の研究に関連する論理学的、法哲学定、法社会学的、民法学的および情報・知識工学的的基礎付けを行った。本研究によって本格的な法律エキスパートシステムの開発研究の基礎が提供されたと言える。
|
