Spatial Representation and Reasoning About Fold Strata: A Qualitative Approach

被引:0
|
作者
Taniuchi, Yuta [1 ]
Takahashi, Kazuko [1 ]
机构
[1] Kwansei Gakuin Univ, 1 Gakuen, Uegahara, Sanda 6691330, Japan
关键词
Qualitative spatial reasoning; Knowledge representation; Logical reasoning; Shape information;
D O I
10.1007/978-3-031-55326-4_12
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper proposes the method that handles strata based on qualitative spatial reasoning. We make a model for typical fold structure projected onto a two-dimensional plane, extracted by a rectangle. We give a symbolic representation to the model with the features of qualitative configuration and qualitative shape, and propose a reasoning method on this representation. First, we define the validity required of the representation and show the correspondence between the model and its representation. Next, we define operations such as rotation and symmetric transitions on the representation and show that they preserve the validity. Finally, we define the rules of connecting the models, and show reasoning on construction of global data by applying them. When multiple local data collected in distant locations are given, we can find global data by inserting missing parts. The approach based on qualitative spatial reasoning provides a logical explanation of the processes involved in strata-generation prediction, which in the field of structural geology have been examined manually to date, and enables to find results that manual analysis may overlook.
引用
收藏
页码:244 / 266
页数:23
相关论文
共 50 条
  • [1] Qualitative spatial representation and reasoning: A hierarchical approach
    Li, Sanjiang
    Nebel, Bernhard
    [J]. COMPUTER JOURNAL, 2007, 50 (04): : 391 - 402
  • [2] Qualitative spatial representation and reasoning
    不详
    [J]. QUALITATIVE SPATIAL REASONING WITH TOPOLOGICAL INFORMATION, 2002, 2293 : 31 - 40
  • [3] Qualitative spatial representation and reasoning: An overview
    Cohn, AG
    Hazarika, SM
    [J]. FUNDAMENTA INFORMATICAE, 2001, 46 (1-2) : 1 - 29
  • [4] Reasoning about qualitative spatial relationships
    Sistla, AP
    Yu, C
    [J]. JOURNAL OF AUTOMATED REASONING, 2000, 25 (04) : 291 - 328
  • [5] Reasoning about Qualitative Spatial Relationships
    A. Prasad Sistla
    Clement Yu
    [J]. Journal of Automated Reasoning, 2000, 25 : 291 - 328
  • [6] Knowledge representation and reasoning for qualitative spatial change
    Wang, Shengsheng
    Liu, Dayou
    [J]. KNOWLEDGE-BASED SYSTEMS, 2012, 30 : 161 - 171
  • [7] Qualitative spatial reasoning about line segments
    Moratz, R
    Renz, J
    Wolter, D
    [J]. ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 234 - 238
  • [8] Qualitative spatial reasoning about sketch maps
    Forbus, KD
    Usher, JE
    Chapman, V
    [J]. AI MAGAZINE, 2004, 25 (03) : 61 - 72
  • [9] A Framework for Qualitative Representation and Reasoning about Spatiotemporal Patterns
    Barouni, Foued
    Moulin, Bernard
    [J]. GRAPH-BASED REPRESENTATION AND REASONING, 2014, 8577 : 79 - 92
  • [10] Qualitative spatial representation and reasoning in the SparQ-toolbox
    Wallgruen, Jan Oliver
    Frommberger, Lutz
    Wolter, Diedrich
    Dylla, Frank
    Freksa, Christian
    [J]. SPATIAL COGNITION V: REASONING, ACTION, INTERACTION, 2007, 4387 : 39 - 58