Construction of the qualitative spatial reasoning system considering the continuity of curves

• Project/Area Number: 24K15096
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 61030:Intelligent informatics-related
• Research Institution: Kwansei Gakuin University
• Principal Investigator: 高橋 和子 関西学院大学, 工学部, 教授 (30330400)
• Co-Investigator(Kenkyū-buntansha): 増田 佳代 関西学院大学, 理学部, 教授 (40280416) ; 巳波 弘佳 関西学院大学, 工学部, 教授 (40351738) ; 壷井 基裕 関西学院大学, 生命環境学部, 教授 (60411774)
• Project Period (FY): 2024-04-01 – 2027-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2026: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2025: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2024: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
• Keywords: 定性空間推論 / 構造地質学 / トポロジー / 論理推論

Outline of Research at the Start

本研究では，非連結なオブジェクト同士を，複数のオブジェクトを補間することで円滑に連結する定性空間推論の枠組みを作成する．単位となるオブジェクトは2次元平面上の矩形であり，曲線によって複数の部分領域に分割されている．この曲線や部分領域が円滑に矛盾なくつながるようにオブジェクト同士を連結させていく．単位となるオブジェクトおよび連結条件を定性的に表現しその表現上で論理推論を行う．空間データを定性的に扱うことで，性質に関する抽象レベルでの推論が高速にできるだけでなく，人間の認知に合致した説明が提示できる．最終的には空間データを記号表現で記述しその上で論理推論を行う枠組みの構築を目標とする．