Abstract

How shall we have robots handle conditional statements? In this paper I argue that we absolutely cannot let them use several of the presently accepted rules of inference involving conditional statements if we want to avoid odd, preposterous, or even disastrous results. I discuss several kinds of problems that could be encountered and suggest alterations to certain rules of inference to prevent such problems from arising