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.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Toshiko WAKAKI, Ken SATOH, Katsumi NITTA, Seiichiro SAKURAI, "Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction" in IEICE TRANSACTIONS on Information,
vol. E81-D, no. 10, pp. 1111-1119, October 1998, doi: .
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/e81-d_10_1111/_p
Copy
@ARTICLE{e81-d_10_1111,
author={Toshiko WAKAKI, Ken SATOH, Katsumi NITTA, Seiichiro SAKURAI, },
journal={IEICE TRANSACTIONS on Information},
title={Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction},
year={1998},
volume={E81-D},
number={10},
pages={1111-1119},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction
T2 - IEICE TRANSACTIONS on Information
SP - 1111
EP - 1119
AU - Toshiko WAKAKI
AU - Ken SATOH
AU - Katsumi NITTA
AU - Seiichiro SAKURAI
PY - 1998
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E81-D
IS - 10
JA - IEICE TRANSACTIONS on Information
Y1 - October 1998
AB - 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.
ER -