Artificial Intelligence and Decision Making
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Artificial Intelligence and Decision Making:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Artificial Intelligence and Decision Making, 2017, Issue 1, Pages 3–9 (Mi iipr231)  
This article is cited in 8 scientific papers (total in 8 papers)

Methods of reasoning and knowledge representation

Parallel algorithms for inference and researching of their effectiveness on computer systems

V. N. Vagin, A. V. Derevyanko, V. P. Kutepov

Moscow Power Engineering Institute
Full-text PDF (349 kB) Citations (8)
Abstract: This article presents the results of research on cluster systems with multicore nodes to create a method and algorithm implementing parallel output in the proof of formulas in first order logic. The algorithm is based on the operative method of J. Robinson and the proposed procedure for its parallelization, which allows to dynamically control the uniform division of the set of resolvents distributed to the components of a computer system for infering. A number of heuristics are also introduced to significantly reduce the time to implement the decisions of the infering control. Experiments have shown that the effect on acceleration is higher than the previously studied parallel output algorithms.
Keywords: parallel inference, resolution principle, parallel computing, logic.
English version:
Scientific and Technical Information Processing, 2018, Volume 45, Issue 5, Pages 368–373
DOI: https://doi.org/10.3103/S014768821805009X
Bibliographic databases:
Document Type: Article
Language: Russian
Citation: V. N. Vagin, A. V. Derevyanko, V. P. Kutepov, “Parallel algorithms for inference and researching of their effectiveness on computer systems”, Artificial Intelligence and Decision Making, 2017, no. 1, 3–9; Scientific and Technical Information Processing, 45:5 (2018), 368–373
Citation in format AMSBIB
\Bibitem{VagDerKut17}
\by V.~N.~Vagin, A.~V.~Derevyanko, V.~P.~Kutepov
\paper Parallel algorithms for inference and researching of their effectiveness on computer systems
\jour Artificial Intelligence and Decision Making
\yr 2017
\issue 1
\pages 3--9
\mathnet{http://mi.mathnet.ru/iipr231}
\elib{https://elibrary.ru/item.asp?id=28990687}
\transl
\jour Scientific and Technical Information Processing
\yr 2018
\vol 45
\issue 5
\pages 368--373
\crossref{https://doi.org/10.3103/S014768821805009X}
Linking options:
  • https://www.mathnet.ru/eng/iipr231
  • https://www.mathnet.ru/eng/iipr/y2017/i1/p3
    • This publication is cited in the following 8 articles:
    1. Vasily Yu. Meltsov, Aleksei A. Golovin, Dmitry A. Strabykin, Pavel A. Batashev, 2024 Conference of Young Researchers in Electrical and Electronic Engineering (ElCon), 2024, 57  crossref
    2. Xinchao Ge, Jianjun Li, Yang Liu, “IMPACTS OF PHYSICAL COORDINATION TRAINING ON SPEED IN SHORT TRACK SPEED SKATING”, Rev Bras Med Esporte, 29 (2023)  crossref
    3. Vasily Meltsov, Dmitry Strabykin, Alexander Krutikov, Lecture Notes in Networks and Systems, 672, Inventive Systems and Control, 2023, 431  crossref
    4. Vasily Yu. Meltsov, Alexander A. Chudinov, Dmitry A. Strabykin, 2023 Seminar on Networks, Circuits and Systems (NCS), 2023, 116  crossref
    5. V. B. Melekhin, M. V. Khachumov, “Planning the Behavior of an Autonomous Flying Robot in a Subtask Space. Inference Procedures”, Sci. Tech. Inf. Proc., 49:5 (2022), 341  crossref
    6. Mikhail Khachumov, Smart Innovation, Systems and Technologies, 187, Proceedings of 15th International Conference on Electromechanics and Robotics “Zavalishin's Readings”, 2021, 55  crossref
    7. Vasily Meltsov, Alexey Kuvaev, Natalya Zhukova, Lecture Notes in Networks and Systems, 95, Cyber-Physical Systems and Control, 2020, 187  crossref
    8. Vasily Yu. Meltsov, Dmitry A. Strabykin, Alexey S. Kuvaev, Advances in Intelligent Systems and Computing, 1156, Proceedings of the Fourth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI'19), 2020, 155  crossref
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Artificial Intelligence and Decision Making
    Statistics & downloads:
    Abstract page:80
    Full-text PDF :35
    References:1
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025