Logical Structure of the Principle of Superposition from a Viewpoint of Geology-Oriented Logical System

DOI Web Site 2 Citations Open Access
  • SHIONO Kiyoji
    Department of Geosciences, Faculty of Science, Osaka City University
  • WADATSUMI Kiyoshi
    Department of Geosciences, Faculty of Science, Osaka City University

Bibliographic Information

Other Title
  • 論理地質学的にみた地層累重の法則の論理構造

Search this article

Description

We studied a logical structure of the Principle of Superposition as a fundamental model of the Geology-Oriented Logical System. Introducing a function f from a subset A of the real space R3 into set B of strata recognized inA, we defined exactly binary relations K, C andL on set B; aKb: stratum a is older than stratum b, aCb: stratum a is directly under stratum b, and aLb: stratum a is under stratum b. Using these symbols, the Principle of Superposition is formalized as follows:<BR>L∪L-1=O⇒ C⊂K and L∪L-1=O⇒L⊂K.<BR>It is hopeful that this type of formalization makes clear the logical structure in geology and leads us to a deep understanding of our geological knowledge as well as a development of effective algorithmsfor comptuter processing of geological information.

Journal

  • Geoinformatics

    Geoinformatics 2 (1), 9-22, 1991

    Japan Society of Geoinformatics

Citations (2)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top