Abductive logics in a belief revision framework

Bernard Walliser, Denis Zwirn and Hervé Zwirn ()
Additional contact information
Denis Zwirn: CREA - Centre de recherche en épistémologie appliquée - X - École polytechnique - IP Paris - Institut Polytechnique de Paris - CNRS - Centre National de la Recherche Scientifique
Hervé Zwirn: CMLA - Centre de Mathématiques et de Leurs Applications - ENS Cachan - École normale supérieure - Cachan - CNRS - Centre National de la Recherche Scientifique, IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques - UP1 - Université Paris 1 Panthéon-Sorbonne - DEC - Département d'Etudes Cognitives - ENS-PSL - ENS-PSL - École normale supérieure - Paris - PSL - Université Paris Sciences et Lettres - CNRS - Centre National de la Recherche Scientifique

Post-Print from HAL

Abstract: Abduction was first introduced in the epistemological context of scientific discovery. It was more recently analyzed in artificial intelligence, especially with respect to diagnosis analysis or ordinary reasoning. These two fields share a common view of abduction as a general process of hypotheses formation. More precisely, abduction is conceived as a kind of reverse explanation where a hypothesis H can be abduced from events E if H is a "good explanation" of E. The paper surveys four known schemes for abduction that can be used in both fields. Its first contribution is a taxonomy of these schemes according to a common semantic framework based on belief revision. Its second contribution is to produce, for each non-trivial scheme, a representation theorem linking its semantic framework to a set of postulates. Its third contribution is to present semantic and axiomatic arguments in favor of one of these schemes, "ordered abduction," which has never been vindicated in the literature.

Keywords: Abduction; Belief revision; Explanation; Non-Monotonic reasoning (search for similar items in EconPapers)
Date: 2005-12
References: Add references at CitEc
Citations:

Published in Journal of Logic, Language and Information, 2005, 14 (1), pp.87-117. ⟨10.1007/s10849-005-2319-7⟩

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:halshs-00754617

DOI: 10.1007/s10849-005-2319-7

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().