法的推論実験システムTRIAL
対象とする問題:
法律分野への知識べ一ス/知識表現技術の応用として、法的推論の問題を取り
上げる。法的推論は、事実認定、法令解釈、および条文適用の三つの基本的な要
素から構成されるが、事実認定は現在の技術水準では取り扱いが難しいため、法
令解釈、特に、類似した既存の判例を準用する類推解釈をいかに実現するかが現
在の課題である。
Quixote上の法的推論実験システムTRIALは、条文適用に加えて、類推解
釈を実行することを目指したシステムである。すなわち、新規の事案が与えられ
ると、それに類似した既存の判例を利用して可能な判断を導出し、そしてその判
断に至った論証を構築する。
Quixoteを用いた利点:
TRIALでは、類推解釈を図式
〈類推解釈〉=〈概念緩和〉+〈制約解消〉+〈条件放棄〉
により実現しているが、その実現のためには以下のQuixoteの提供する機能が
有効である:
- 型階層により、法的概念の階層構造に基づく概念緩和が容易に扱える。
- 条件付き解により、条件を伴った判断を得ることができる。また、これによ
り不足情報の補充が行える。
さらに、法的推論の思考実験のための以下の二つの機能が容易に提供できる:
- 仮説付き問合せおよびモジュール階層により、思考実験のための仮説的な問
合せが柔軟に行える。
- 解の説明機能により、推論結果の検証のための論証が構築できる。
デモ概要:
専門家または準専門家が、TRIALを利用しながら目標とする論証を構築して
いく過程を、労災認定(「過労死」)の例題を通して紹介する。
- TRIALへの仮説的な問合せにより、求める判断を得る。
- TRIALの示した論証について抽象化の程度が適切であるか否かを検証す
る。
- 86 -