<テクニカルレポート>
A Note on Rule-Finding Abduction

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 The rule-finding abduction is an abduction which begins with the observation of a surprising fact, finds a rule in the set of programs, and proposes a hypothesis. This paper investigates such rule-fin...ding abduction for logic programming from two viewpoints: termination and analogical reasoning. In order to discuss the termination of rule-finding abduction, we introduce two concepts of loop-pair and loop-elimination. We show that the loop-pair is a syntactical condition to determine whether the process of rule-finding abduction is infinite. Also we show that, by using loop-elimination, we can delete all the infinite processes of rule-finding abduction. On the other hand, we discuss the relationship between analogical reasoning and rule-finding abduction. Then, we formulate rule-finding abduction with analogy, and define a deducible hypothesis. We show that a deducible hypothesis is correct in the sense of analogical reasoning. Also we show that, if a target program is empty, then a deducible hypothesis is polynomial time computable on the length of a surprising fact and the size of a proof tree. Furthermore, we realize rule-finding abduction with analogy by a Prolog program.続きを見る

本文情報を非表示

95.ps.tar pdf 330 KB 59  
95.ps tgz 118 KB 5  

詳細

レコードID
査読有無
関連情報
タイプ
登録日 2009.04.22
更新日 2017.01.20