2017 Fiscal Year Annual Research Report
Research and Development on Constraint Answer Set Programming Using SAT Encoding
| Project/Area Number |
15K00099
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
番原 睦則 神戸大学, 情報基盤センター, 准教授 (80290774)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
田村 直之 神戸大学, 情報基盤センター, 教授 (60207248)
宋 剛秀 神戸大学, 情報基盤センター, 助教 (00625121)
|
|---|
| Project Period (FY) |
2015-04-01 – 2018-03-31
|
| Keywords | 解集合プログラミング / 制約プログラミング / SAT |
|---|
| Outline of Annual Research Achievements |
本研究の目的は，SAT 符号化技術を応用して，解集合プログラミング (ASP) と制約プログラミング (CP) を融合した制約解集合プログラミング (制約ASP) を実現することである．具体的な研究テーマは，(A)制約 ASP 言語に関する研究，(B)制約 ASP ソルバーの設計・実装，(C)制約 ASP ソルバーの拡張，(D)制約 ASP の特長的なアプリケーションの開発，および問題記述例の蓄積の4つである．
最終年度である平成29年度は，上記すべての研究テーマについて研究開発を完了し，以下に述べる成果を得た．海外共同研究者・Schaub教授 (ポツダム大学・ドイツ) と共同で制約 ASP ソルバー clingcon の開発を行った．さらに，制約 ASP を多目的最適化問題に拡張する試みとして，極小モデル生成に基づく多目的最適化問題の解法について研究を行った．特長的なアプリケーションとしては，ソフトウェアのテストケース生成問題，コース時間割問題に関する応用研究を行い，未解決問題の最適値決定など既存研究より優れた結果を得た．また，回路の配線問題と親和性の高い多層ナンバーリンク問題に関する応用研究を行い，開発したソルバーがアルゴリズムデザインコンテスト (DAシンポジウム 2017の企画イベント) において特別賞を受賞した．
これらの研究成果を，国際ジャーナル論文3件，査読付き国際会議論文2件，査読無し国内会議論文1件，国内学会招待講演2件，その他学会発表4件で発表した．うち，5件は，ポツダム大学 (ドイツ)，アルトワ大学 (フランス) の研究者との国際共同研究である．
|
Research Products
(14 results)
