概要

法律における推論はルールベース推論と事例べ一ス推論が結合したモデルで表
すことができる。このモデルに基づいて、法的推論実験システムHELIC.IIを並
列推論マシン上に開発した。HELIC-IIは法律条文と過去の事例(判例)を参照
することによって、法的な結論を導き出すシステムである。

特徴

2つのエンジンからなる推論モデル
HELIC-IIはルールベースエンジンと事例べ一スエンジンという2つの推論
機構を持つ。これらのエンジンは相補的に働いて法的結論を導く。

並列ルールベースエンシン
ルールベースエンジンは法律ルールを参照して、法的結論を演繹的に導く。
このエンジンは並列定理証明器MGTP(Model Generation Theorem Prover)
をべ一スに、いくつかの機能を追加したものである。

並列事例べースエンジン
事例べースエンジンは過去の類似事例(判例)を参照することで法的概念を
生成する。このエンジンは類似の事例を検索し、その事例のルールを新たな
事例に適用することによって、新たな論理を構築するものである。




					- 87 -