Algebraic Modeling of Trolley Problems on a Boolean Multivalued Logic
Jiaqi Peng, Rintaro Mizutani, Kujira Suzuki, Akira Midorikawa, Hisashi Suzuki · 2022 4th International Conference on Industrial Artificial Intelligence (IAI) · 2022
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.