概要
本研究は，地質構造に関する推論の体系化を目的として，比較的単純な地質構造を対象とする定性的な
記号表現を定め，この表現上で複数の局所的な地層データが与えられたとき，それらが成す褶曲構造に
関する推論およびデータ同士をつなぐ地層の傾きや重なり方に関する推論手法を述べる．さらに，不整
合面を含む地質構造も扱えるように提案手法を拡張する．必要な性質のみに着目した定性的アプローチ
をとることにより，焦点をしぼった推論をすることが可能になる．また，論理的に扱うことによって，
推論結果に説明をつけ，手作業での見落としを回避できるようになる．このことから，提案手法は地質構造の
解析における新しく有望なアプローチを与えると考えられる．

発表論文
"定性表現から地層を描画するプログラムの設計と実装," 
人工知能学会第38回全国大会, to appear.

"定性的形状に基づく2次元平面上の曲線分の表現およびその連結に関する推論," 
人工知能学会研究会資料, SIG-FPAI-128, pp.57-62, March, 2024.

"Spatial Representation and Reasoning about Fold Strata: A Qualitative Approach," 
15th International Conference, ICAART 2023, Revised Selected Papers.
pp. 244-266, LNCS 14546, Springer, March, 2024.

"Qualitative Spatial Representation and Reasoning about Fold Strata," 
Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART2023), 
pp. 211-220, February, 2023.

"地層の傾きに関する3次元上での定性的な推論について," 
第22回情報科学技術フォーラム, September, 2023.

"地層データの定性表現とその上での推論方法について," 
第21回情報科学技術フォーラム, September, 2022.