Abstract
In logical inference, two main tasks are relevant: verifying the correctness of an alleged consequence and inferring a consequence with predetermined properties. The entire theoretical potential of mathematical logic is mainly aimed at solving the former problem. As for the task of finding some desired consequences, it has obtained practically no useful developments. In this paper, we propose methods for solving the problem of finding consequences with certain properties on the basis on n-tuple algebra. These methods are shown to be applicable for solving constraint satisfaction problems as well.
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
References
Mendelson, E.: Introduction to Mathematical Logic, 6th edn. Taylor & Francis Group, Milton Park, Oxfordshire (2015)
Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York (1973)
Vagin, V.N., et al.: Reliable and plausible inference in intelligent systems. In: Vagin, V.N., Pospelov, D.A. (eds.), 2nd edn, FIZMATLIT, Moscow (2008). (in Russian)
Kulik, B., Fridman, A.: N-ary Relations for Logical Analysis of Data and Knowledge. IGI Global (2017)
Kulik, B.A.: Logic and Mathematics: Complex Methods of Logical Analysis in Plain Words. Polytechnica, Saint Petersburg (2020). (in Russian)
Shalak, V.I.: Analysis vs deduction. Logical Stud. 24(1), 26–45 (2018). (in Russian)
Pelletier, F.J.: Seventy-five problems for testing automatic theorem provers. J. Autom. Reasoning 2, 191–216 (1986)
Rossi, F., Sperduti, A.: Learning solution preferences in constraint problems. J. Exp. Theor. Artif. Intell. 10(1), 103–116 (1998)
Zuenko, A.A.: Inference on constraints with using matrix representation of finite predicates. J. Artif. Intell. Decis. Making 3, 21–31 (2014). (in Russian)
Acknowledgements
This research was supported in part by the Russian Foundation for Basic Research (grant No. 19-08-00079).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Kulik, B., Fridman, A. (2021). Methods for Finding Consequences with Specified Properties. In: Kovalev, S.M., Kuznetsov, S.O., Panov, A.I. (eds) Artificial Intelligence. RCAI 2021. Lecture Notes in Computer Science(), vol 12948. Springer, Cham. https://doi.org/10.1007/978-3-030-86855-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-86855-0_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-86854-3
Online ISBN: 978-3-030-86855-0
eBook Packages: Computer ScienceComputer Science (R0)