- 著者
-
吉野 一
太田 勝造
西脇 与作
原口 誠
松村山 良之
加賀山 茂
宮本 健蔵
- 出版者
- 明治学院大学
- 雑誌
- 総合研究(A)
- 巻号頁・発行日
- 1990
本研究は、実定法の言語分析を通じて法的知識の論理構造を明らかにするとともに、それに基づいて、実際に即して法的正当化の推論を行なう法律エキスパートシステムの基礎を確立することを目的とする。原理と方法の解明と実証を行なうために、AIワークステーション上に知識ベースと推論機構ならびに最小限のインターフェースからなる実験用のプロトタイプを作成する。三年間の研究において上記の研究目的はほぼ達成された。すなわ、(1)法的知識の構造については、ウィーン売買条件(一部)および民法(一部)の条文を法規範文単位に要件・効果の内的構造において解明するとともに、諸法規範文間の論理的結合関係を明かした。その際とくに法の適用を制御する推論の知識構造を法規範文とその効力を規定しているメタ法規範文の関係として解明した。(2)法律知識ベースとしては、上記分野において、上記原理に基づいて、法規範文とメタ法規範文を複合的述語論理式で表現し、サンプルシステムをAIワークステーションPSI-II上に作成した。(3)法的推論機構としては、a)適用すべき法規範文を決定する推論を、上記法的メタ法規範文を適用した演繹的正当化の推論として構成し、そのための法的メタ推論機構を完成した。また、b)この推論過程を理解・説明するためのユーザフレンドリーな説明機構を作成した。さらに、c)有限なルールを用いて多様な事件に対して法的解決を与えるための拡大解釈や類推適用の工学的モデルを、法的シソ-ラスの構造にしたがった仮説生成の推論として計算機上実装し、その有効性および問題点を検討した。また法的概念辞書の基礎を明らかにした。上記の研究に関連する論理学的、法哲学定、法社会学的、民法学的および情報・知識工学的的基礎付けを行った。本研究によって本格的な法律エキスパートシステムの開発研究の基礎が提供されたと言える。