权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Qualitative Spatial Reasoning Based on the Shape Change of Regions and Their Adjacency

基于区域及其邻接形状变化的定性空间推理

基本信息

批准号：
21K12020
负责人：
高橋和子
金额：
$ 2.66万
依托单位：
Kwansei Gakuin University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2024-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K12020/
关键词：
定性空間推論構造地質学トポロジー論理推論

项目摘要

本研究は，隣接するオブジェクトとの接続関係についての制約条件を満たしながら形状変化をする空間データに対して，論理的に推論するシステムの基盤を与えることを目的とする．代表的な応用例として地層，中でも比較的単純な形の褶曲構造を対象としている．褶曲構造は，平坦な地層に外圧が加わることで変形してできるもので，力の方向によって回転したり折りたたまれていったりするが，層間の隣接関係は不変である．昨年度は，褶曲構造の断面図を定性的に表す記号表現を試験的に定め，その表現上で２つの局所データ間の同一性と連続性を機械的に判定する手法を考案した．今年度はこの記号表現をもとに，より洗練され実装の簡便さを考慮した記述言語を考案しその上でいくつかの推論を行った．具体的には以下の通りである．(1)局所的な地層データに対してモデルを定義した．(2)1次元の記号列でモデルを定性的に表現する記述言語を考案した．(3)記号表現の妥当性を定義しモデルとの対応関係を示した．(4)モデル上での変化に対応する状態遷移として記号表現上でその関係を定義した．(5) 記号表現からモデルの図を描くシステムを実装した．(6)記号表現上で妥当性の判定および状態遷移関係を取り扱うシステムを実装した．(7)2つの局所的なデータの連続性を判定する手法を考案し定式化した．(8)連続性を使って複数の局所的データをつないで大域的データを生成する手法を検討した．これらの成果は国内外の学会で発表している．

This study は, 隣するオブジェクトとの meet 続 masato is についてをの restriction conditions against たしながら shape - the をする space データにし seaborne て, logical に inference するシステムの base plate with えをることを purpose とする. Representative な応 cases として stratum, the でも compare image of pure な単の fold structure を like と seaborne している. Outside the fold structure は, flat な formation に圧が plus わることで - shaped してできるもので, direction of force のによって back planning したり fold りたたまれていったりするが, interlayer の隣 masato is は instead - である. Annual は yesterday, fold structure の section 図を qualitative に table す symbolizations を test of にめ, その performance で 2 つの bureau データの identity between と even 続 sex を mechanical に determine する gimmick を test case した. Our は "この symbolizations をもとに, より washs practice され easy be installed のさを consider した account words を test case しその on でいくつかの inference を line った. The specific にに is followed by であるである. (1) The な strata of the bureau and station デタにタにタに define <s:1> たをををを. (2) The one-dimensional symbol sequence でモデでモデをを qualitative に performance する descriptive language を case たた. (3) The appropriateness of the notation is を. The definition of をモデととと応 indicates た with respect to 応 relations を. (4) モデル on での variations change に応 seaborne する state transition とし symbolizations て in でその masato definitions を system した. (5) The symbols represent らモデらモデ, <s:1>, を, を, を, くシステムを, actual appearance, た. (6) In terms of the representation of notations, the appropriateness of で, the determination of および, the relationship of state transition を, and the actual representation of <s:1> た. (7) The を examination case of the なデ, タ, <e:1> and 続 quality を determination する method of the 2 <s:1> bureau を has been standardized to たた. (8) even 続 sex を make って plural の bureau of データをつないで large domain データを generated する gimmick を beg し検た. Youdaoplaceholder6 れら <s:1> achievements で domestic and foreign <s:1> societies で have made reports, てるるる.