2003 Fiscal Year Annual Research Report
| Project/Area Number |
14380164
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
井上 克巳 神戸大学, 工学部, 助教授 (10252321)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
鍋島 英知 山梨大学, 工学部, 助手 (10334848)
田川 聖治 神戸大学, 工学部, 助手 (50252789)
|
|---|
| Keywords | 結論発見問題 / 結論発見手続き / SOL導出 / 知識発見 / 帰納推論 / アブダクション / 演繹推論 / タブロー法 |
|---|
| Research Abstract |
本研究では,人工知能研究にける知識発見の基礎として,結論発見(consequence-finding)手続きを用いたアブダクションと帰納の計算方式を開発し,従来の知識発見では困難であった、不完全な知識の下での未知で有用な知識の発見手法の開発に取り組んでいる.研究期間は3年であり,2年目に当たる今年度は,以下の3点に分けて研究を進めた.
1.結論発見プログラムの効率化に関する研究とプログラム開発(井上・鍋島)
●結論発見プログラムとしてSOL導出を採用しているこれをが,Java言語で再インプリメントし,高速な手続きSOLAR(SOL for Advanced Reasoning)を開発した.SOLARには,探索における様々な枝刈り手法を組み込み,結論発見のみならず,定理証明においても世界最高速のものと比較し得るだけの性能を備える.
2.知識発見のための基礎理論構築と基本システム設計(井上・田川)
●アブダクションと帰納推論を融合して,不完全な知識の下での知識発見に向けた新しい計算理論を構築するために,結論発見手続きを用いたCF帰納法を提案してきた.今年度はCF帰納法の中で用いられる一般化手続きについて考察し,完全な一般化のための手法を考案した.
●観測された事例の中から導かれる性質を発見するために,記述的学習に関する論理的定式化を試みた.このために,非単調推論の一形式である極小限定(circumscription)の利用について考察した.
3.学習アルゴリズムの設計と評価(井上・田川・鍋島)
●上記2の学習理論を実現するためのアルゴリズムの設計,およびJava言語による実装を一部行った.
●SOL導出のバイオインフォマティクスへの応用について検討した.
|
Research Products
(6 results)
-
[Publications] Hidetomo Nabeshima: "SOLAR : A Conseauence Finding System for Advanced Reasoning"Lecture Notes in Artificial Intelligence. Vol.2796. 257-263 (2003)
-
[Publications] Katsumi Inoue: "Induction as Consequence Finding"Machine Learning. (to appear). (2004)
-
[Publications] Katsumi Inoue: "Disjunctive Explanations in Abductive Loeic Programming"Electronic Transactions on Artificial Intelligence. (to appear). (2004)
-
[Publications] Chiaki Sakama: "An Abductive Framework_for Computing Knowledge Base Updates"Theory and Practice of Logic Programming. Vol.3,No.6. 671-715 (2003)
-
[Publications] Toshiko Wakaki: "Computing Preferred Answer Sets in Answer Set Programming"Lecture Notes in Artificial Intelligence. Vol.2850. 257-263 (2003)
-
[Publications] 坂東 秀之: "アクション言語Aにおける行動規則の学習"人工知能学会誌. Vol.18,No.5. 297-304 (2003)
