| Budget Amount *help |
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
|
|---|
| Outline of Final Research Achievements |
This study aims at an establishment of a research frontier that enables a symbolic treatment of spatial data by extending the author's works on qualitative spatial reasoning. We formalized properties of PLCA, a framework of a qualitative spatial reasoning, and proved them with a proof assistant Coq, which could build a bridge between a qualitative spatial reasoning and a computational model.In addition, we proposed a method of qualitatively handling three-dimensional data and video data and evaluated them, which have little been studied so far.It could find several problems on applying qualitative spatial reasoning to the real application areas.
|
