| 演題番号 | 2I1-3 |
|---|---|
| 題目 | ポートフォリオ型戦略の導入による結論発見システムSOLARの効率改善 |
| 著者 | 村松 匠(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 時間 | 06月02日(Thu) 09:40〜10:00 |
| 概要 | 本研究では，一階述語論理の結論発見器SOLARに対し，その実用性改善のためポートフォリオ型探索戦略を導入する．結論発見は演繹・帰納・発想推論を実現する手段として，多くの応用分野に適用できる有用な枠組みである．本研究ではSOLARの実用性改善のため，問題の特徴量から適切な探 索戦略を自動決定する分類器を種々の学習アルゴリズムにより構築することで，より効果的に結論を枚挙できることを示す． |
| 論文 | PDFファイル |