研究の成果

研究上の成果

前節の考え方に基づいて、下記にその概略を示す方式を設計しかつ実装した。

(1) 入力：

一階の順序ソート(ホーン)論理の節形式の知識表現Ｔ、及び、論証構築を意図 しているゴール節Ｇ。以下、トップゴールと呼ぶ。

(2) 出力・推論目標：

領域知識Ｔの中には、法令や事例を表すルールが含まれている。こうしたルー ルのソート汎化・抽象によって法的類推を行うためのソートの新たな類似性 （型階層）を出力し new HELIC II に渡す。

(3) 推論のトリガー

事例や法令ルールの適用範囲が狭すぎるために所与のゴールが適用されなかっ た場合を考察する。正確には、順序ソート単一化の失敗により条文および判例 ルールの適用が不能であった場合である。ここで単一化の失敗は、ソート付き 変数の集合族 {Sj}で特徴づけられる。ＧＤＡはこうした各Sjを含むソート同 値類{Pj}を求めることを要求され、単一化の失敗情報がＧＤＡに対する制約と して働く。{Pj}が後述するさらなる条件を満たす場合は各Pjに対し、新たなソー ト new を導入し、任意の s Pjに対し sを new の 下位ソートとして位置づけるソート階層をアルゴリズムは返す。

(4) 統制目的に基づく推論（ＧＤＡに対するゴール）

ＧＤＡが用いるゴールは、初期ゴールＧではなく、類推の対象節とその法的統 制目的に関わる述語（ＣＦ述語）を考える。こうしたＣＦ述語を算出するため に、対象節の論理的否定を仮説的な公理とし追加した新たな領域理論の下で論 証可能なＣＦ述語を決定する。そうしたＣＦ述語の集合をＣＣＦとしてＧＤＡ に渡す。

(5) ＧＤＡアルゴリズム

上記に述べた前処理の下で、ＧＤＡは (4) で決定されたＣＦ述語の論証に必 要な節が必ず抽象化されるようなソート階層を算出することにより、新たなソー ト間の類似性で類推の対象節の適用失敗を回復できるものを算出する。基本的 には生成テスト法を最も細かな同値類、すなわち、ソート s と類似している ものは s のみであるような同値類から出発し、順次、同値類を緩やかなもの に緩和させることにより、目的の同値類を求める手法である。同値類の間のこ うした関係は束をなし、ＧＤＡは結局、束の最小元から最大元（すべてのソー トを同一視する同値類）に向かってボトムアップに探索する。

また新たな条件として 候補同値類 {Sj}はs, s2 Sj かつ s1 が s2 の下位ソートのときは必ず s1 も同一の同値類 Sj に属す ることを要請される。これは、s と s2 が類似し、かつ s1 が s2 の下位概念 ならば、s1 は類似性を継承しなければならないことを意味しており、類似性 に対する定性的な経験則として採用している。以下、類似性の継承条件と呼ぶ。

ソフトウエアとしての成果

ソフトウエアの概略を図-1 で示す。

  
図-1: ブロック図

現在は SICStus Prolog による実験版が完成している。new HELIC II が KLIC によって書かれていることを考慮し、KLIC 版を作成中であるが、本報告書作 成時点ではまだ完成していない。KLIC によるプログラミングはＧＤＡを用い た類似性の検出アルゴリズムの設計それ自体には関係しないが、並列マシン上 での負荷分散が下記の意味で期待できる。

ソート同値類がなす束において、最小元からの最短パスによっ て同値類の世代を定めるとする。ソートの同値類の生成において、同一世代の 同値類の検査やその後継同値類の計算は独立に行える。

並列・非並列に係わらず、同値類の生成をできうるだけ抑制するために下記の 点に注意を払って作成した。

a)重複パーティションは生成しない。

b)求めるべき同値類は単一化の失敗をリカバーすべきものである。

したがって、同値類の枚挙においてその条件を満たさないものは生成しな い。また同様に、類似性を継承しない同値類を生成しないように、特殊な処理 を施している。

残された課題

大規模な法的知識ベースに対処するためには、さらなるソートの同値類の枝刈 規則を導入しない限り、ワーストケースでの組み合わせ爆発から逃れることは できない。こうした新たな枝刈規則の導入のためには、やはりソートの同値類 が表すソートの類似性の意味に関する規則やデータを導入することが考えられ よう。実際、判例や条文を現事例に類推適用してよいか否かの判断が個人によっ て異なることを考えれば、個人の経験や価値観に依存する類似性の意味制約を 重要視するのは自然であろう。現在のＧＤＡが用いている制約は、失敗の回復 条件および類似性の継承条件のみであり、個人には依存しないものである。し たがって、個人が陰に想定している類似性のモデルを推論するために必要な、 新たな観測データとそのテストが必要になると考えられる。これは、類似性そ のものを束空間の中の仮説として捉える新たな学習問題のスタートであり、今 後の理論の整備とそれを反映した高速化に期待したい。

また、個人に依存しない意味制約に関してもまだ実装していないことがある。 それはrole-filer 制約に関する定性的な経験則である、例えば

s1 と s2が類似し（ある同値類の下で同値であり）、さらに sj の r-フィラーが uj である場合は、u1 と u2も類似する。

かくして、類似性の継承条件やロールフィラー関係保存の条件等は、あたかも 求めるべき類似性に対する公理であるがごとくに振る舞い、加えて、個人に依 存する類似性に関する言明を推論システムに取り込むことで、これまで見えて いなかった類推の新たな側面が顕在化できるのではないかと考えている。

自己評価

率直に述べよう。本研究の達成段階を１とすると報告書作成時点でのレベルは 0.222 といったところか。本格的な法律の例題も用意せず、また、類似性の概 念設計、すなわち類似性の制約条件に関する考察を進めなかったのは、ひとえ に研究代表者がその責を負うべきである。しかし前節で述べたように、階層生 成としての類似性を本研究の視点で行った研究は少ない。さらに、関連する階 層生成手法の研究成果、とりわけ、そこで用いた経験則をとりこむことにより、 ＧＤＡに基づく本研究はまったく異なる側面を近い将来に見せることを期待し たい。

また本報告書では紙面の都合で述べなかったが、ＧＤＡの売りの一つである 「仮想的な事例の生成」による類似性の検証実験のための例題ができていない。 この例題は法律家を「その気にさせる」ためには必須であり早急に検討したい。