Authors:
Yuta Taniuchi
and
Kazuko Takahashi
Affiliation:
School of Engineering, Kwansei Gakuin University, 1, Gakuen, Uegahara, Sanda, 669-1330, Japan
Keyword(s):
Qualitative Spatial Reasoning, Knowledge Representation, Logical Reasoning, Shape Information.
Abstract:
We propose a method of handling strata in qualitative spatial representation. We make a model for a typical fold structure projected onto a two-dimensional plane extracted by a rectangle. It is expressed by a pair of sequences of symbols that represents the strata configuration and the shape of the layers, respectively. We define the validity required of the representation and show that the representation and the model have a one-to-one relation. Moreover, we define operations on the representation, such as rotation and symmetric transitions, and show that validity is preserved. We also show that global data can be constructed by connecting local data. This method can provide 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 find results that manual analysis may overlook.