Title :
Application of visual prolog on stratigraphic correlation and connection
Author :
Chen, Yi-ying ; Li, Wen-bin
Author_Institution :
Dept. of Inf. Eng., Shijiazhuang Univ. of Econ., Shijiazhuang, China
Abstract :
Using the advantages of Visual Prolog language in the process of knowledge representation and logical reasoning, based on borehole sample data, this paper discusses the methods of stratigraphic correlation and connection. We establish a system architecture, which consists of knowledge acquisition system, fact database, rule database, knowledge management system, reasoning machine and the man-machine interface. This paper mainly introduces the structure of stratigraphic correlation and connection knowledge database. Next, it focus on how to use visual prolog to represent facts and rules, establish knowledge database, and how to implement intelligent reasoning by using SLD-Resolution with cut, fails and other control mechanisms. In order to confirm the practical result of this method, we test it with some data. The results show the method is effective.
Keywords :
PROLOG; inference mechanisms; knowledge acquisition; knowledge management; knowledge representation; SLD-resolution; Visual Prolog; borehole sample data; fact database; intelligent reasoning; knowledge acquisition system; knowledge database; knowledge management system; knowledge representation; logical reasoning; man-machine interface; reasoning machine; rule database; stratigraphic connection; stratigraphic correlation; Boring; Cognition; Correlation; Databases; Geology; Knowledge representation; Visualization; SLD-Resolution; Visual Prolog; borehole sample data; intelligent stratigraphic correlation and connection;
Conference_Titel :
Computer Science and Network Technology (ICCSNT), 2011 International Conference on
Conference_Location :
Harbin
Print_ISBN :
978-1-4577-1586-0
DOI :
10.1109/ICCSNT.2011.6182121