| 研究課題/領域番号 |
25330274
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
知能情報学
|
|---|
| 研究機関 | 関西学院大学 |
|---|
研究代表者 |
高橋 和子 関西学院大学, 理工学部, 教授 (30330400)
|
|---|
| 研究分担者 |
巳波 弘佳 関西学院大学, 理工学部, 教授 (40351738)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| 研究課題ステータス |
完了 (2015年度)
|
| 配分額 *注記 |
4,940千円 (直接経費: 3,800千円、間接経費: 1,140千円)
2015年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2014年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2013年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
|
|---|
| キーワード | 時空間推論 / 計算モデル / 定性推論 / 人工知能 / ソフトウェア工学 / ソフトウェア学 |
|---|
| 研究成果の概要 |
本研究は，報告者がこれまで行ってきた定性空間推論の研究を発展させ，記号的(symbolic)に空間を扱う新しい研究分野として確立することを目的とする．定性空間推論の枠組の１つ PLCA を取り上げその性質を証明支援系 Coq を使って形式化し証明することで，定性空間推論と計算モデルの研究分野をつなぐ一歩となった．また，従来あまり扱われてこなかった 3 次元データや動画を扱える手法を示し実験評価したことで，定性空間推論の現実的な応用分野へむけた問題点の抽出ができた．
|
