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.

Full text>>