Abstract
At the present stage of the development of computer technology and information technology, the theory and methods of reasoning modeling play an important role in creating artificial intelligence systems. Reasoning modeling can be used, for example, in managing the functioning of complex intelligent information and control systems in order to explain and justify the decisions they recommend. The article considers a special method of abductive logical inference with checking the correctness of the interpretation of literals of additional premises. The method under consideration, in addition to explaining the course of inference with the help of schemes, allows you to check the correctness of the interpretation of new “facts” formed in the process of inference, taking into account the ontology of a particular subject area. The main advantage of the proposed method is the parallel execution of disjunctive division operations in the inference procedure.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Thacker J (2020) The age of AI: artificial ıntelligence and the future of humanity. Zondervan
Chen Y, Duong TQ (2017) Industrial networks and intelligent systems. In: Proceeding of 3rd ınternational conference, INISCOM 2017, Ho Chi Minh City
Al-Emran M, Shaalan H, Hassanien A (2020) Recent advances in intelligent systems and smart applications. SSDC, vol 295, pp 46–54. Springer, Cham
Szczerbicki E, Sanin C (2020) Knowledge management and engineering with decisional DNA. Springer International Publishing, Switzerland
Putzky P, Welling M (2017) Recurrent inference machines for solving inverse problems: Under review as a conference paper at ICLR 2017. University of Amsterdam
Czarnowski I, Howlett R, Jain L (2019) Intelligent decision technologies 2019. Springer, Singapore
Khemani D (2022) Artificial intelligence: knowledge representation and reasoning. IIT Madras. https://swayam.gov.in/nd1_noc20_cs30/preview. Last accessed 16 Oct 2022
Rahman SA, Haron H, Nordin S, Bakar AA, Rahmad F, Amin ZM, Seman MR (2017) The decision processes of deductive inference. Adv Sci Lett 23(1):532–536
Meltsov V, Zhukova N, Strabykin D (2021) Logical inference in predicate calculus with the definition of previous statements. In: Sharma H, Saraswat M, Yadav A, Kim JH, Bansal JC (eds) Congress on ıntelligent systems. CIS 2020. Advances in Intelligent Systems and Computing, vol 1334. Springer, Singapore
Vagin V, Derevyanko A, Kutepov V (2018) Parallel-inference algorithms and research of their efficiency on computer systems. Sci Tech Inf Process 45(5):368–373
Strabykin DA (2013) Logical method for predicting situation development based on abductive inference. J Comput Syst Sci Int 52(5):759–763
Schaeken W, De Vooght G, Vandierendonck A, D’Ydewalle G (2014) Deductive reasoning and strategies. Taylor & Francis eBooks, New Jersey
Meltsov V, Kuvaev A, Zhukova N (2020) Knowledge processing method with calculated functors. In: Arseniev D, Overmeyer L, Kälviäinen H, Katalinić B (eds) Cyber-physical systems and control. CPS&C 2019. LNNS, vol 95. Springer, Cham
Dolgenkova ML, Chistyakov GA (2007) Sequences inference method out of new facts by disjuncts division in predicate calculus (Example). https://zenodo.org/record/57859
Czarnowski I, Howlett R, Jain L (2019) Intelligent decision technologies 2019. Springer, Singapore. https://doi.org/10.1007/978-981-13-8303-8
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Meltsov, V., Strabykin, D., Krutikov, A. (2023). Abductive Inference of Conclusions with Check of Additional Premises Literals Correctness Interpretation. In: Suma, V., Lorenz, P., Baig, Z. (eds) Inventive Systems and Control. Lecture Notes in Networks and Systems, vol 672. Springer, Singapore. https://doi.org/10.1007/978-981-99-1624-5_32
Download citation
DOI: https://doi.org/10.1007/978-981-99-1624-5_32
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-99-1623-8
Online ISBN: 978-981-99-1624-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)