2002 Fiscal Year Annual Research Report
| Project/Area Number |
14380164
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
井上 克巳 神戸大学, 工学部, 助教授 (10252321)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
鍋島 英知 山梨大学, 工学部, 助手 (10334848)
羽根田 博正 神戸大学, 工学部, 教授 (10031113)
|
|---|
| Keywords | 結論発見問題 / 結論発見手続き / SOL導出 / 知識発見 / 帰納推論 / アブダクション / 演繹推論 / タブロー法 |
|---|
| Research Abstract |
本研究では,人工知能研究における知識発見の基礎として,結論発見(consequence-finding)手続きを用いたアブダクションと帰納の計算方式を開発し,従来の知識発見では困難であった,不完全な知識の下での未知で有用な知識の発見手法の開発に取り組んでいる.研究期間は3年であり,初年度に当たる今年度は,以下の3点に分けて研究を進めた.
1.結論発見プログラムの効率化に関する研究(井上・鍋島)
●結論発見プログラムとしてSOL導出を採用しこの効率化を図った.特に,マルチエージェントシステムでの推論において必要となる一時的な情報に関する推論を効率するためのSOL-S(Γ)導出を開発した.
●実現されているプログラムを大幅に見直し,再度インプリメントを行った結果,高速なSOL導出を実現することができた.
2.結論発見プログラムによる知識発見に関する基礎理論の構築(井上・羽根田)
●アブダクションと帰納推論を融合して,不完全な知識の下での知識発見に向けた新しい計算理論を構築するために,結論発見手続きを用いた帰納推論の自動化について考察した.
●アブダクションの枠組みとして,仮説の削除も可能である拡張アブダクション(extended abduction)の利用も考え,これによる仮説の同化方式についての定式化を行った.
3.学習アルゴリズムの設計と評価(井上・羽根田・鍋島)
●上記学習理論を実現するためのアルゴリズムの設計と評価,およびJava言語による実装を一部行った.
●アクション理論への応用について考察した.
|
Research Products
(6 results)
-
[Publications] Katsumi Inoue: "Automated Abduction"Lecture Notes in Artificial Intelligence. Vol.2408. 311-341 (2002)
-
[Publications] Katsumi Inoue: "Disjunctive Explanations"Lecture Notes in Artificial Intelligence. Vol.2401. 317-332 (2002)
-
[Publications] Koji Iwanuma: "Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments"Electronic Notes on Theoretical Computer Science. Vol.70, No.5. (2002)
-
[Publications] Koji Iwanuma: "Minimal Answer Computation and SOL"Lecture Notes in Artificial Intelligence. Vol.2424. 245-257 (2002)
-
[Publications] Hidetomo Nabeshima: "Effective SAT Planning by Speculative Computation"Lecture Notes in Artificial Intelligence. Vol.2557. 726-728 (2002)
-
[Publications] 佐藤 健: "エージェント間通信におけるアブダクションによる投機的計算"コンピュータソフトウェア. Vol.20, No.1. 27-35 (2003)
