| 研究課題/領域番号 |
08204211
|
|---|
| 研究種目 |
重点領域研究
|
| 配分区分 | 補助金 |
|---|
| 研究機関 | 慶応義塾大学 |
|---|
研究代表者 |
岡田 光弘 慶應義塾大学, 文学部, 教授 (30224025)
|
|---|
| 研究期間 (年度) |
1994 – 1997
|
| 研究課題ステータス |
完了 (1996年度)
|
| 配分額 *注記 |
1,300千円 (直接経費: 1,300千円)
1996年度: 1,300千円 (直接経費: 1,300千円)
|
|---|
| キーワード | 論理的意味論 / 法律エキスパートシステム / モンターギュ意味論 / 可能世界モデル / 高階論理 |
|---|
| 研究概要 |
論理的意味論の立場から計画班の法律エキスパート構成を支援していくことを目的とした。より具体的には、(1)申請者が確立した「格文法に基づくモンターギュ意味論」を用いて法律文の知識表現論の一般的な枠組を構成した。特にこの枠組は非常に強力な表現力を持つ高階論理言語である。"Predicates Referential Logic" (PRL)をベースにして実現された。(2)この論理的知識表現論の枠組に対してモンターギュ意味論の手法を用いて可能世界モデルといわれる表示的意味論を形成した。(3)この知識表現論及び意味論を用いて法律エキスパート用表現言語CPFに対する論理分析・意味論分析の方法論を開発し、「国際売買法」等を用いてこの方法論の応用のためのケーススタディーを行った。
|
