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