FINDING PRIORITIES OF CIRCUMSCRIPTION POLICY AS A SKEPTICAL EXPLANATION IN ABDUCTION

In the commonsense reasoning, priorities among rules are often require d to be found out in order to derive the desired conclusion as a theor em of the reasoning. In this paper, first we present the bottom-up and top-down abduction procedures to compute skeptical explanations and s econdly show that priorities of circumscription to infer a desired the orem can be abduced as a skeptical explanation in abduction. In our ap proach, the required priorities can be computed based on the procedure to compute skeptical explanations provided in this paper as well as W akaki and Satoh's method of compiling circumscription into extended lo gic programs. The method, for example, enables us to automatically fin d the adequate priority w.r.t. the Yale Shooting Problem to express a human natural reasoning in the framework of circumscription.