1993 Fiscal Year Annual Research Report
| Project/Area Number |
05208208
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
原尾 政輝 九州工業大学, 情報工学部, 教授 (44266272)
|
|---|
| Keywords | 法的推論 / 法律知識 / 判決予測 / 類推判決 / 論理プログラム / 知識表現 / 高階論理 / 型理論 |
|---|
| Research Abstract |
本年度は基礎研究およびサーベイを中心に次の具体的課題を設定して研究を行なった.
(1)法律知識のための知識構造の表現法
(2)類推や仮説推論といった新しい非演繹的推論機構の研究
(3)法的正当性を保証する推論機構の研究
まず(1)の課題に対しては,法律文の論理に基づく簡潔で意味論的にも明快な表現法について型理論に基づく高階論理の枠組みで考察した.特に,法的知識表現言語のための概念知識や概念階層などが理論的に明確に記述可能な知識表現言語について理論的性質を明らかにした.また,知識間の類似性や知識の一般化,事例や判例からの一般化知識の獲得法などについて考察し,基本的な枠組みを与えた.
(2)の課題に対しては,すでに得られている判例や事例などを援用して判決予測を行なう類推判決システムのための類推機構について考察した.高階の知識を用いた類推や仮説推論の形式化を行い,その法的推論への応用可能性について理論的な考察を行った.また,判決文や条文の解釈,法律の適用例と推論構造などの解析を通して,条文の表現の抽象度,どの程度詳しく表現するか,因果関係や解釈をどうするか,などの新しい問題も考察した.これまで実装している類推定理証明システムや様相論理に基づく推論システムを法的類推に適用可能なように拡張・修正して行くことも検討した.
(3)の推論方式としては,推論機構の実現で核となる単一化アルゴリズムや一般化知識獲得のための一般化アルゴリズムが重要である.高階や様相,概念階層を導入した場合のこれらの問題について考察した.また,推論システムも,完全自動化を目指す立場や対話型などいろいろな方式が考えられる.さらに,問い合わせ処理や推論過程の説明機構などの問題などがある.これらの問題について理論的考察を行った.
このように本年度は高階論理,様相論理に基づく法的推論システムの概要と問題点とを検討し,本格的なシステム実現に向けての基本的な知見を得ることができた.
|
-
[Publications] 桜井,脇園,原尾: "抽象化に基づく類推" 情報処理. 34,No,5. 558-565 (1993)
-
[Publications] 原尾: "Analogical Reasoning for LK Theorem Proving" Proc.of Tnter.Workshop on Automated Reasoning. North Hdland. 265-274 (1993)
-
[Publications] 原尾,中川: "類似性に基づく一般化知識の獲得と推論" 人工知能学会全国大会(1993年度). 41-44 (1993)
-
[Publications] 原尾,羽室: "高階の概念を用いた仮説推論" 1993年度電気関係九州支部大会. 688-688 (1993)
-
[Publications] 原尾,村田: "LF理論に基づく論理型言語に関する一考察" 1993年度電気関係九州支部大会. 686-686 (1993)
-
[Publications] 原尾: "型理論に基づく知識処理の定式化" シンポジウム-知識科学の最前線論文集. 3-12 (1993)
-
[Publications] 原尾政輝: "人工知能アルゴリズム論" 近代科学社, 270 (1993)
