Model of the Operating Device with a Tunable Structure for the Implementation of the Accelerated Deductive Inference Method

  • Vasily Yu. MeltsovEmail author
  • Dmitry A. Strabykin
  • Alexey S. Kuvaev
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 1156)


It is proposed to use the first-order predicate logic to represent knowledge in the selected subject area. The accelerated parallel inference method based on the disjuncts division operation is taken as a method for processing knowledge. To analyze the functioning of the abstract inference engine operating device, a model of logical-flow computing is used. Software implementation model of this device allows you to explore the possibilities of improving the performance of inference mechanisms and evaluate the effectiveness of various configurations of the executive part. Based on the analysis of the conducted experiments, formulas and recommendations for users on the choice of the operating device optimal structure are proposed, taking into account the existing features of specific applied tasks.


Knowledge processing Inference method Inference engine Operating device Unification unit Tunable structure 


  1. 1.
    Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley Longman Ltd., Boston (2001)zbMATHGoogle Scholar
  2. 2.
    Endriss, U.: An Introduction to Prolog Programming. Lecture Notes. University of Amsterdam, Amsterdam (2018)Google Scholar
  3. 3.
    Korat, U., Alimohammad, A.: A reconfigurable hardware architecture for principal component analysis. Circuits Syst. Signal Process. 38(5), 2097–2113 (2019)CrossRefGoogle Scholar
  4. 4.
    Kuvaev, A., Meltsov, V., Lesnikov, V.: Features of the design operating unit inference en-gine and its implementation on FPGA. In: Proceedings of the 2019 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering, ElConRus 2019, pp. 110–115. Saint Petersburg, Russian Federation (2019)Google Scholar
  5. 5.
    Levin, I., Dordopulo, A., Fedorov, A., Kalyaev, I.: Reconfigurable computer systems: from the first FPGAs towards liquid cooling systems. Supercomput. Front. Innov. 3–1, 22–40 (2016)Google Scholar
  6. 6.
    Levin, M.: Modular Systems Design and Evaluation. Springer, Cham (2016)Google Scholar
  7. 7.
    Meltsov, V.: High-Performance Systems of Deductive Inference: Monograph. Science Book Publishing House, Yelm (2014)Google Scholar
  8. 8.
    Meltsov, V., Lesnikov, V., Dolzhenkova, M.: Intelligent system of knowledge control with the natural language user interface. In: Proceedings of the 2017 International Conference “Quality Management, Transport and Information Security, Information Technologies”, IT and QM and IS 2017, pp. 671–675. St. Petersburg, Russian Federation (2017)Google Scholar
  9. 9.
    Norvig, P., Russell, S.: Artificial Intelligence: A Modern Approach. Pearson Education Limited, Edinburgh (2011)zbMATHGoogle Scholar
  10. 10.
    Osipov, G.S., Panov, A.I.: Relationships and operations in a sign-based world model of the actor. Sci. Tech. Inf. Process. 45(5), 317–330 (2018)CrossRefGoogle Scholar
  11. 11.
    Pospelov, D.: Modeling of deeds in artificial intelligence systems. Appl. Artif. Intell. 7, 15–27 (1993)CrossRefGoogle Scholar
  12. 12.
    Rahman, S.A., Haron, H., Nordin, S., Bakar, A.A., Rahmad, F., Amin, Z.M., Seman, M.R.: The decision processes of deductive inference. Adv. Sci. Lett. 23(1), 532–536 (2017)CrossRefGoogle Scholar
  13. 13.
    Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. The MIT Press, Cambridge (1994)zbMATHGoogle Scholar
  14. 14.
    Strabykin, D.: Logical method for predicting situation development based on abductive inference. J. Comput. Syst. Sci. Int. 52(5), 759–763 (2013)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Strabykin, D., Meltsov, V., Dolzhenkova, M.,Chistyakov, G., Kuvaev, A.: Formal verification and accelerated inference. In: 5th Computer Science Online Conference, CSOC 2016. Advances in Intelligent Systems and Computing, vol. 464, pp. 203–211, Prague, Czech Republic (2016)Google Scholar
  16. 16.
    Vagin, V., Derevyanko, A., Kutepov, V.: Parallel-inference algorithms and research of their efficiency on computer systems. Sci. Tech. Inf. Process. 45(5), 368–373 (2018)CrossRefGoogle Scholar
  17. 17.
    Vagin, V., Antipov, S., Fomina, M., Morosin, O.: Application of intelligent data analysis methods for information security problems. In: 2nd International Conference on Intelligent Information Technologies for Industry, IITI 2017. Advances in Intelligent Systems and Computing, vol. 679, pp. 16–25 (2018)Google Scholar
  18. 18.
    Waibel, P.: Architecture-Driven Design and Configuration of Messaging Systems. Technischen Universität Wien, Vienna (2015)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Vasily Yu. Meltsov
    • 1
    Email author
  • Dmitry A. Strabykin
    • 1
  • Alexey S. Kuvaev
    • 1
  1. 1.Vyatka State UniversityKirovRussia

Personalised recommendations