| 研究課題/領域番号 |
15K00099
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
番原 睦則 神戸大学, 情報基盤センター, 准教授 (80290774)
|
|---|
| 研究分担者 |
田村 直之 神戸大学, 情報基盤センター, 教授 (60207248)
宋 剛秀 神戸大学, 情報基盤センター, 助教 (00625121)
|
|---|
| 連携研究者 |
井上 克巳 国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
|
|---|
| 研究期間 (年度) |
2015-04-01 – 2018-03-31
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2017年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2016年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2015年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
|
|---|
| キーワード | 解集合プログラミング / 制約プログラミング / SAT技術 / SAT |
|---|
| 研究成果の概要 |
本研究では，解集合プログラミング（ASP; Answer Set Programming）と制約プログラミング（CP; Constraint Programming）を融合した制約解集合プログラミング（以下，制約ASP）に関する研究開発を行った．制約ASPは，制約充足問題（CPの言語）を取り扱えるように言語拡張されており，整数の有限領域上の算術制約などを直接表現できる．事前処理型と遅延処理型の2種類の制約ASPソルバーの設計・実装・評価を行い，その有効性を示した．
|
