Title :
Parallel inference on connection graphs
Author :
Vagin, V.N. ; Salapina, N.O.
Author_Institution :
Dept. of Appl. Math., Power Eng. Inst., Moscow, Russia
Abstract :
The paper presents a theoretical justification and description on the practical implementation of theorem proving problems in the first order predicate logic by using connection graphs. The basic definitions and concepts are given. Two types of parallelism in a process of a deductive inference are introduced. The sequential and parallel inference algorithms are described. The practical implementation of the sequential and parallel inference system is presented and analyzed. Examples of the theorem proving problems are discussed
Keywords :
formal logic; graph theory; inference mechanisms; parallel algorithms; theorem proving; connection graphs; deductive inference; first order predicate logic; parallel algorithms; parallel inference; sequential inference; theorem proving; Inference algorithms; Joining processes; Logic; Mathematics; Power engineering; Snow;
Conference_Titel :
Intelligent Control (ISIC), 1998. Held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA), Intelligent Systems and Semiotics (ISAS), Proceedings
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-4423-5
DOI :
10.1109/ISIC.1998.713661
