| 研究概要 |
昨年度から本年度の初めにかけて,国連売買条約(CISG)の第II部に関する推論システムを作成した.このシステムは,基礎原子式書換系に基づくRegaと呼ぶ規則推論(RBR)方式を採用している.この規則の前提は,関数自由原子論理式列であり,後提は原子論理式列である.Regaによって,比較的短期間にCISGの第II部に関する推論システムを構築することができた.また,このシステムが高速で安定していることから,この方式のRBRとしての有効性を検証することができた.しかし,一方,論理式形式の規則ベースを開発者以外の者が理解することは,容易ではないことも判明した.
そこで,CISGのための知識表現言語として格文法的構造をもった言語の設計を行なうことにし,CISGを格構造化するための研究を行なっている.本年度は,格構造化の方法について研究した.その結果,一部の少数の動詞を除いて,品詞的曖昧さと意味的曖昧さがなく,また軽動詞的用法も少ないことがわかった.さらに,構文的意味的曖昧さが多い基本的動詞の生起が比較的少ないこともわかった.このことは,法律文の格構造化が,ある意味で日常文よりも易しいことを示すものである.そこで,CISGに生起したほとんどすべての動詞について格フレームを付与する作業を行なった.
|
