A computerized geologic mapping system based on logical models of geologic structures

In this article we describe the basic framework of the computerized geologic mapping system cigma. The system, whic is based on a mathematical formulation of geologic concepts, consists of the following six subsystems: (1) input of geologic data set; (2) inference of stratigraphic sequence; (3) construction of logical models of geologic structures; (4) determination of three-dimensional geologic boundary surfaces; (5) construction of three-dimensional solid model of geologic structures; and (6) graphical presentation. Geologic structures are summarized in several tables called logical models of geologic structures. Each model is constructed automatically from input data on structural relations between geologic bodies. The model interprets the data automatically to create data files necessary to determine the shapes of geologic boundaries; it also provides a threedimensional solid model of geologic structures referring to the shapes of boundaries. As a prototype, we introduce two types of contacts corresponding to conformity and unconformity into the logical model and show that it is possible to draw a geologic map automatically. More complex geologic structures can be introduced into the geologic mapping system through further formulation of geologic structures.