Digitalizing Natural Theology and AI-Robot Philosophizing of God by Algorithmic Computing Relevant Evaluation-Functions
Lobovikov V.O. Digitalizing Natural Theology and AI-Robot Philosophizing of God by Algorithmic Computing Relevant Evaluation-Functions // Crises of Our Time as Challenges to Society, to Culture, to Man: Papers of XXIII International Scientific-Practical Conference, April 15-16, 2021 / L.A. Zux, et al (Eds.).– Ekaterinburg: Liberal Arts University Press, 2021.– P. 668-673.
Subject-matter - a possibility of moral-legal programming AI-robot behavior in general, and a possibility of theological programming AI-robot-activity especially, as foundations for adequate response to the human concerns about a possibility of Artificial Intelligence violating human interests. Method - discrete mathematical modeling. New scientific result - a demonstration of the possibility of digitalizing philosophical theology. The demonstration is implemented by exemplification of adequate representing human knowledge of philosophical theology principles in artificial intellectual systems. For the first time in world literature on the theme, a deductive proof of logic consistency of conjunction of principles of God's existence, omni-goodness, omnipotence, omnipresence, and omniscience is submitted.
