权益分类	功能权益	普通用户	{{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)連続性を使って複数の局所的データをつないで大域的データを生成する手法を検討した．これらの成果は国内外の学会で発表している．

In this study, the constraints on the relationship between the adjacent space and the shape of the space and the logical inference between the adjacent space and the shape of the space are discussed. Representative of the geological strata, the simple and pure fold-shaped structures in the middle are the object of comparison. The fold structure is flat and the outer pressure of the stratum is increased. The direction of the force is reversed. The adjacent relationship between the layers is not changed. In the past year, the qualitative characteristics of fold structures have been studied, and the identification and continuity of fold structures have been studied. This year, the performance of the mark is very simple, and the preparation is very simple. The description of the speech is very simple. Specific. (1)The ground floor of the building is covered with a layer of sand. (2)1 A description of the language in which the symbol is placed (3)Definition of appropriateness of symbol representation and relationship between symbols (4)Defines the relationship between state transitions and token representations that occur during changes in the display. (5)The symbol is displayed in the following way: (6)The relationship between the appropriateness of the token and the state transition is determined. (7)2 The method of determining the continuity of the system is to examine the formalization of the system (8)The method of generating the data in the large domain is discussed. The achievements of this research are expected to be published in the society at home and abroad.