Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley Longman Ltd., Boston (2001)
Endriss, U.: An Introduction to Prolog Programming. Lecture Notes. University of Amsterdam, Amsterdam (2018)
Korat, U., Alimohammad, A.: A reconfigurable hardware architecture for principal component analysis. Circuits Syst. Signal Process. 38(5), 2097–2113 (2019)
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)
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)
Levin, M.: Modular Systems Design and Evaluation. Springer, Cham (2016)
Meltsov, V.: High-Performance Systems of Deductive Inference: Monograph. Science Book Publishing House, Yelm (2014)
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)
Norvig, P., Russell, S.: Artificial Intelligence: A Modern Approach. Pearson Education Limited, Edinburgh (2011)
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)
Pospelov, D.: Modeling of deeds in artificial intelligence systems. Appl. Artif. Intell. 7, 15–27 (1993)
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)
Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. The MIT Press, Cambridge (1994)
Strabykin, D.: Logical method for predicting situation development based on abductive inference. J. Comput. Syst. Sci. Int. 52(5), 759–763 (2013)
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)
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)
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)
Waibel, P.: Architecture-Driven Design and Configuration of Messaging Systems. Technischen Universität Wien, Vienna (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Meltsov, V.Y., Strabykin, D.A., Kuvaev, A.S. (2020). Model of the Operating Device with a Tunable Structure for the Implementation of the Accelerated Deductive Inference Method. In: Kovalev, S., Tarassov, V., Snasel, V., Sukhanov, A. (eds) Proceedings of the Fourth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’19). IITI 2019. Advances in Intelligent Systems and Computing, vol 1156. Springer, Cham. https://doi.org/10.1007/978-3-030-50097-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-030-50097-9_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-50096-2
Online ISBN: 978-3-030-50097-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)