1994 Fiscal Year Annual Research Report
| Project/Area Number |
06207208
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
原尾 政輝 九州工業大学, 情報工学部, 教授 (00006272)
|
|---|
| Keywords | 法的推論 / 法的知識表現 / 類推 / 論理プログラム / 型理論 / 推論機構 |
|---|
| Research Abstract |
法律エキスパートシステムの開発には、(1)複雑で大規模な法律知識の表現法,(2)判例や曖昧な知識からの推論などの特徴を踏まえた新しい非演繹的推論機構,(3)推論の効率化,などが基本的な問題としてある.本研究では,型理論を基に法律エキスパートシステムのためのこれらの問題について次の具体的課題を設定して研究を行った.
(1)知識表現言語の研究:知識の概念階層や類似性,多義性などを記述可能な知識表現法を型理論を用いて形式化する.さらに,型階層や部分型などの性質を応用して,継承や抽象化,モジュール化などの機能を備えた,法的推論のための知識表現言語を設計する.
(2)法的推論機構の研究:法的推論のためには,類推や仮説からの推論といった非演繹推論の能力を備えた推論手法が必要となる.そのため,シークエント計算に基づく一般的論理プログラムの証明のための推論機構を開発する.それを基に,知識の類似性に基づく推論処理を行う法的推論システムの定式化とシステム設計を行う.
知識表現に関しては,ロジカルフレームワーク理論の基に,順序構造,概念記述などが可能な知識表現言語モデルの形式化および知識表現言語の設計を行った.設計した知識表現言語を開発するために,LF型理論をもとに設計された言語eLFをワークステーションに実装し,簡単な知識表現言語を試作した.その知識表現言語を用いて,従来の論理型言語の表現との比較,抽象化や一般化などの概念を導入した推論処理の効率化に関する研究,などの検討を行なった.また、類似性や仮説からの推論などの発見的推論システムの定式化を行い,シークエント計算に基づく類推定理証明に関する実験システムを開発して,現在,本格的システム開発のための基礎的研究を行った状況である.これまで得られた知見を法的推論に応用可能なように修正・拡張して行くかが今後の課題である.
|
Research Products
(7 results)
-
[Publications] 原尾: "Analogical Reasoning for LK THeorem Proving" Proc.of Inter.Workshop on Automated Roasoning. North Holland. 265-274 (1993)
-
[Publications] 原尾,中川: "類似性に基づく一般化知識の獲得と推論" 人工知能学会全国大会(1993年度). 41-44 (1993)
-
[Publications] 原尾: "型理論に基づく知識処理の定式化" シンポジウム-知識科学の最前線 論文集. 3-12 (1993)
-
[Publications] 原尾,羽室: "高階論理に基づく仮説推論の定式化と実現" 人工知能学会全国大会(1994年度). 55-58 (1994)
-
[Publications] 原尾,坂本: "類推に基づくLK証明システムの実現" 平成6年度電気関係学会九州支部大会講演論文集. 910-910 (1994)
-
[Publications] 原尾,村田: "LF理論を用いた知識表現言語の設計" 平成6年度電気関係学会九州支部大会講演論文集. 909 (1994)
-
[Publications] 原尾政輝: "人工知能アルゴリズム論" 近代科学社, 270 (1993)
