| 研究課題/領域番号 | 24300007 |
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
田村 直之 神戸大学, 情報基盤センター, 教授 (60207248)
|
|---|
| 研究分担者 |
井上 克巳 国立情報学研究所, 大学共同利用機関等の部局等, 教授 (10252321)
鍋島 英知 山梨大学, 医学工学総合研究部, 准教授 (10334848)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2015-03-31(予定)
|
| キーワード | 制約プログラミング / 充足可能性判定問題 / 命題論理 |
|---|
| 研究概要 |
当初の研究計画に従い A. フレキシブル制約に関する研究開発，B. 動的な制約変更に関する研究開発，C. ドメイン拡張に関する研究開発，D. 応用研究開発 の4つの研究テーマについて研究を進めた．
「A. フレキシブル制約に関する研究開発」については，フレキシブル制約のSAT符号化で重要になる擬似ブール制約の符号化方法の研究，PBSugarシステムの開発，および論文発表を行った．「B. 動的な制約変更に関する研究開発」については，動的な制約変更が可能なScarabシステムの開発および論文発表を行った．「C. ドメイン拡張に関する研究開発」については，記号推論が可能な解集合プログラミングシステム上で整数上の制約記述を可能にするプロトタイプシステムを開発し，性能評価を行った．「D. 応用研究開発」については，各種問題の評価を進めた．特に，時間割問題について優れた結果を得，論文発表を行った．
また，「論理と推論の理論，実装，応用に関する合同セミナー」のERATO湊プロジェクトとの合同開催，人工知能学会全国大会オーガナイズドセッションの開催，多くの国際会議および国内学会での研究発表などを通じ，本研究課題の成果を発表した．開発したソフトウェアについてもWeb上で公開し，国内外で広く利用されている．
国際研究交流についても，ドイツ・ポツダム大学，フランス・アルトワ大学，フランス・ボルドー大学の研究者と共同研究を進めている．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2 : おおむね順調に進展している
理由
研究実績の概要に述べたように，4つの研究テーマのいずれにおいても順調に進展しており，全般的にも計画通り順調に進展している．
|
| 今後の研究の推進方策 |
当初の研究計画に従い A. フレキシブル制約に関する研究開発，B. 動的な制約変更に関する研究開発，C. ドメイン拡張に関する研究開発，D. 応用研究開発 の4つの研究テーマについて研究を進める．
|
| 次年度の研究費の使用計画 |
海外協力研究者の招聘を次年度に繰り越したため．
次年度に海外協力研究者の招聘を行う．
|
