Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• 社団法人電子情報通信学会の論文
• 1998-10-25

著者

• Sakurai Seiichiro

  Department Of Social Engineering Tokyo Institute Of Technology

• WAKAKI Toshiko

  Department of Computa. Intelli. and Systems Science, Tokyo Institute of Technology

• SATOH Ken

  Division of Electronics and Information Engineering, Hokkaido University

• NITTA Katsumi

  Department of Computa. Intelli. and Systems Science, Tokyo Institute of Technology

• Wakaki Toshiko

  Department Of Computa. Intelli. And Systems Science Tokyo Institute Of Technology

• Nitta Katsumi

  Department Of Computa. Intelli. And Systems Science Tokyo Institute Of Technology

• Satoh Ken

  Division Of Electronics And Information Engineering Hokkaido University

関連論文

• Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction
• Polynomial PAC Learnability of Learning Weights of Multi-objective Functions by Pairwise Comparison

スポンサーリンク