DocumentCode
328118
Title
Parallel inference on connection graphs
Author
Vagin, V.N. ; Salapina, N.O.
Author_Institution
Dept. of Appl. Math., Power Eng. Inst., Moscow, Russia
fYear
1998
fDate
14-17 Sep 1998
Firstpage
204
Lastpage
209
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;
fLanguage
English
Publisher
ieee
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
ISSN
2158-9860
Print_ISBN
0-7803-4423-5
Type
conf
DOI
10.1109/ISIC.1998.713661
Filename
713661
Link To Document