• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2002 年度 実績報告書

結論発見プログラムに基づく知識発見に関する研究

研究課題

研究課題/領域番号 14380164
研究機関神戸大学

研究代表者

井上 克巳  神戸大学, 工学部, 助教授 (10252321)

研究分担者 鍋島 英知  山梨大学, 工学部, 助手 (10334848)
羽根田 博正  神戸大学, 工学部, 教授 (10031113)
キーワード結論発見問題 / 結論発見手続き / SOL導出 / 知識発見 / 帰納推論 / アブダクション / 演繹推論 / タブロー法
研究概要

本研究では,人工知能研究における知識発見の基礎として,結論発見(consequence-finding)手続きを用いたアブダクションと帰納の計算方式を開発し,従来の知識発見では困難であった,不完全な知識の下での未知で有用な知識の発見手法の開発に取り組んでいる.研究期間は3年であり,初年度に当たる今年度は,以下の3点に分けて研究を進めた.
1.結論発見プログラムの効率化に関する研究(井上・鍋島)
●結論発見プログラムとしてSOL導出を採用しこの効率化を図った.特に,マルチエージェントシステムでの推論において必要となる一時的な情報に関する推論を効率するためのSOL-S(Γ)導出を開発した.
●実現されているプログラムを大幅に見直し,再度インプリメントを行った結果,高速なSOL導出を実現することができた.
2.結論発見プログラムによる知識発見に関する基礎理論の構築(井上・羽根田)
●アブダクションと帰納推論を融合して,不完全な知識の下での知識発見に向けた新しい計算理論を構築するために,結論発見手続きを用いた帰納推論の自動化について考察した.
●アブダクションの枠組みとして,仮説の削除も可能である拡張アブダクション(extended abduction)の利用も考え,これによる仮説の同化方式についての定式化を行った.
3.学習アルゴリズムの設計と評価(井上・羽根田・鍋島)
●上記学習理論を実現するためのアルゴリズムの設計と評価,およびJava言語による実装を一部行った.
●アクション理論への応用について考察した.

  • 研究成果

    (6件)

すべて その他

すべて 文献書誌 (6件)

  • [文献書誌] Katsumi Inoue: "Automated Abduction"Lecture Notes in Artificial Intelligence. Vol.2408. 311-341 (2002)

  • [文献書誌] Katsumi Inoue: "Disjunctive Explanations"Lecture Notes in Artificial Intelligence. Vol.2401. 317-332 (2002)

  • [文献書誌] 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)

  • [文献書誌] Koji Iwanuma: "Minimal Answer Computation and SOL"Lecture Notes in Artificial Intelligence. Vol.2424. 245-257 (2002)

  • [文献書誌] Hidetomo Nabeshima: "Effective SAT Planning by Speculative Computation"Lecture Notes in Artificial Intelligence. Vol.2557. 726-728 (2002)

  • [文献書誌] 佐藤 健: "エージェント間通信におけるアブダクションによる投機的計算"コンピュータソフトウェア. Vol.20, No.1. 27-35 (2003)

URL: 

公開日: 2004-04-07   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi