Automation and Remote Control

, Volume 62, Issue 10, pp 1588–1596 | Cite as

Parallelism in Deductive Inference on Graph Structures

  • A. I. Averin
  • V. N. Vagin


Practical realization of the methods of parallel inference on connection graphs and semantic networks in the first-order predicate logic is described. A system of parallel inference with the “steamroller” test is studied and inference results are analyzed.


Mechanical Engineer System Theory Graph Structure Semantic Network Predicate Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Averin, A.I., Vagin, V.N., and Khamidulov, M.K., Parallel Inference Algorithms for the Steamroller Problem, Izv. Ross. Akad. Nauk, Teor. Sist. Upravlen., 2000, no. 5, pp. 92–100.Google Scholar
  2. 2.
    Kowalski, R., A Proof Procedure using Connection Graphs, J. ACM, 1975, 22(4), pp. 595–599.Google Scholar
  3. 3.
    Vagin, V.N. and Salapina, N.O., A Parallel Inference System using Connection Graphs, Izv. Ross. Akad. Nauk, Teor. Sist. Upravlen., 1998, no. 5, pp. 39–47.Google Scholar
  4. 4.
    Hornung, G., Knapp, A., and Knapp, U., A Parallel Connection Graph Proof Procedure, in: German Workshop on Artificial Intelligence. Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1981. pp. 160–167.Google Scholar
  5. 5.
    Loganantharaj, R., Theoretical and Implemetational Aspects of Parallel Link Resolution in Connection Graphs, Ph.D. Thesis, Dept. of Computer Science, Colorado State Univ., 1985.Google Scholar
  6. 6.
    Vagin, V.N., Parallel Inference on Logical Networks, IFIP/WG. 12:3 International Workshop on Automated Reasoning, Beijing, China, 1992, pp. 305–310.Google Scholar
  7. 7.
    Vagin, V.N., Deduktsiya i obobshchenie v sistemakh prinyatiya reshenii (Deduction and Generalization in Decision Making Systems), Moscow: Nauka, 1988.Google Scholar
  8. 8.
    Stickel, M.F., Schubert's Steamroller Problem: Formulations and Solutions, J. Autom. Reasoning, 1986, vol. 2, pp. 89–100.Google Scholar

Copyright information

© MAIK “Nauka/Interperiodica” 2001

Authors and Affiliations

  • A. I. Averin
    • 1
  • V. N. Vagin
    • 1
  1. 1.Moscow State Power Engineering Institute (Technical University)MoscowRussia

Personalised recommendations