Abductive logics in a belief revision framework

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.
Type de document :
Article dans une revue
Journal of Logic, Language and Information, Springer Verlag, 2005, 14 (1), pp.87-117. 〈10.1007/s10849-005-2319-7〉
Liste complète des métadonnées

https://hal-pjse.archives-ouvertes.fr/halshs-00754617
Contributeur : Caroline Bauer <>
Soumis le : mardi 20 novembre 2012 - 09:58:12
Dernière modification le : jeudi 10 mai 2018 - 02:00:56

Lien texte intégral

Identifiants

Citation

Bernard Walliser, Denis Zwirn, Hervé Zwirn. Abductive logics in a belief revision framework. Journal of Logic, Language and Information, Springer Verlag, 2005, 14 (1), pp.87-117. 〈10.1007/s10849-005-2319-7〉. 〈halshs-00754617〉

Partager

Métriques

Consultations de la notice

457