For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction
Toshiko WAKAKI Ken SATOH Katsumi NITTA Seiichiro SAKURAI
IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/10/25
Print ISSN: 0916-8532
Type of Manuscript: PAPER
Category: Artificial Intelligence and Cognitive Science
skeptical explanations, abductive framework, circumscription policy, parallel circumscription, prioritized circumscription, abductive logic programming, extended logic programs, answer set semantics,
Full Text: PDF>>
In the commonsense reasoning, priorities among rules are often required to be found out in order to derive the desired conclusion as a theorem of the reasoning. In this paper, first we present the bottom-up and top-down abduction procedures to compute skeptical explanations and secondly show that priorities of circumscription to infer a desired theorem can be abduced as a skeptical explanation in abduction. In our approach, the required priorities can be computed based on the procedure to compute skeptical explanations provided in this paper as well as Wakaki and Satoh's method of compiling circumscription into extended logic programs. The method, for example, enables us to automatically find the adequate priority w. r. t. the Yale Shooting Problem to express a human natural reasoning in the framework of circumscription.