<テクニカルレポート>
A Classification of Abduction :Abduction for Logic Programming

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 Abduction is a methodology of scientific researches. Peirce showed three types of abduction, and expressed them by one syllogism. Recently various researches on abduction or abductive logic have been ...developed in the fields of automated reasoning and machine learning. In order to systematically understand such researches and to clearly discuss abduction, this paper classifies abduction into five types. This new classification is based on an interpretation of the syllogism in abduction and the definitions of hypotheses. We examine various researches on abduction so far developed and show that many researches on abduction can be placed in our classification. Furthermore, we discuss the most essential type of abduction in our classification for logic programming and default logic, and describe Prolog programs for the abduction.続きを見る

本文情報を非表示

77.ps tgz 94.6 KB 13  
77.ps.tar pdf 224 KB 69  

詳細

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