研究課題/領域番号 |
21K12020
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分61030:知能情報学関連
|
研究機関 | 関西学院大学 |
研究代表者 |
高橋 和子 関西学院大学, 工学部, 教授 (30330400)
|
研究分担者 |
増田 佳代 関西学院大学, 理学部, 教授 (40280416)
巳波 弘佳 関西学院大学, 工学部, 教授 (40351738)
壷井 基裕 関西学院大学, 生命環境学部, 教授 (60411774)
|
研究期間 (年度) |
2021-04-01 – 2024-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2023年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2022年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2021年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
キーワード | 定性空間推論 / 構造地質学 / トポロジー / 論理推論 |
研究開始時の研究の概要 |
本研究は,定性空間推論の手法を使って,時系列で与えられた空間データで起こっている形状変化を論理的に推論するシステムの基盤を与えることを目的とする.本研究の特徴は,隣接するオブジェクト同士が制約条件を満たしながら変形していく過程という,これまでに定性空間推論の研究分野では扱われてこなかった側面を対象とすることである.このような様相をもつ形状変化として,地層をモデル化しそれを表す記号表現を提案する.そしてその表現間での状態遷移規則を与え,構造の形成過程の説明や今後の変化を推論する手法や局所データから大域的な構造を推論する手法を構築する.このモデル化とトポロジーの関係についても考察する.
|
研究実績の概要 |
本研究は,隣接するオブジェクトとの接続関係についての制約条件を満たしながら形状変化をする空間データに対して,論理的に推論するシステムの基盤を与えることを目的とする. 代表的な応用例として地層,中でも比較的単純な形の褶曲構造を対象としている.褶曲構造は,平坦な地層に外圧が加わることで変形してできるもので,力の方向によって回転したり折りたたまれていったりするが,層間の隣接関係は不変である. 昨年度は,褶曲構造の断面図を定性的に表す記号表現を試験的に定め,その表現上で2つの局所データ間の同一性と連続性を機械的に判定する手法を考案した.今年度はこの記号表現をもとに,より洗練され実装の簡便さを考慮した記述言語を考案しその上でいくつかの推論を行った.具体的には以下の通りである. (1)局所的な地層データに対してモデルを定義した.(2)1次元の記号列でモデルを定性的に表現する記述言語を考案した.(3)記号表現の妥当性を定義しモデルとの対応関係を示した.(4)モデル上での変化に対応する状態遷移として記号表現上でその関係を定義した.(5) 記号表現からモデルの図を描くシステムを実装した.(6)記号表現上で妥当性の判定および状態遷移関係を取り扱うシステムを実装した.(7)2つの局所的なデータの連続性を判定する手法を考案し定式化した.(8)連続性を使って複数の局所的データをつないで大域的データを生成する手法を検討した. これらの成果は国内外の学会で発表している.
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
表現の妥当性判定,状態遷移規則,連続性の判定それぞれを定式化し,最初の2つおよび記号表現に対応するモデル図の描画プログラムを作成できている.
|
今後の研究の推進方策 |
2次元へ射影したモデルから3次元に拡張したモデル上で推論を行う.また褶曲以外の地形変化を考察する.
|