/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2012ホーム /

1E1-R-1-2 結論発見システム SOLAR の分割統治法による高速化

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2012 このエントリーをはてなブックマークに追加

06月12日(Tue) 10:00〜12:20 E会場(-山口県教育会館/第四研修室(72))
1E1-R-1 基礎・理論「基礎・理論(1)」

演題番号1E1-R-1-2
題目結論発見システム SOLAR の分割統治法による高速化
著者寄特 勇紀(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻)
鍋島 英知(山梨大学大学院医学工学総合研究部)
時間06月12日(Tue) 10:20〜10:40
概要本研究では,一階述語論理の結論発見システム SOLAR の分割統治法導入
による高速化手法を示す.結論発見は演繹・帰納・発想推論を実現する手
段として,多くの応用分野に適用できる有用な枠組みである.本研究では,
分割統治法の統治ステップにおける部分問題の解の組み合わせ数削減の
ため,解集合のトライ構造表現を利用した効率的な統合や,高速な単一化
アルゴリズムの導入による効率改善を提案する.
論文PDFファイル