Algebraic Modeling of Trolley Problems on a Boolean Multivalued Logic

Abstract

Instead of the well-known three laws of robotics that seem difficult to be applied to solving the trolley problems in the context of frame problems, this paper proposes algebraic modeling of the trolley problems on a Boolean multivalued logic so that we can analyze psychologically any knowledge simply by quasi-optimizing the truth values of logic formulae for inference in a class of Boolean algebra. Some simulation results suggest a possibility that, by introducing an atom that takes the truth values of directly killing person(s), we can control the utilitarian over-rationalization of sacrificing person(s) on AI machines.