2015 年度研究成果報告書

空間データの記号表現に関する研究

研究課題

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