Abductive logics in a belief revision framework

Journal of Logic, Language and Information 14 (1):87-117 (2004)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,479

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
70 (#174,031)

6 months
1 (#455,463)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Denis Zwirn
École Polytechnique

References found in this work

The Logic of Scientific Discovery.Karl Raimund Popper - 1934 - London, England: Routledge.
Inference to the Best Explanation.Peter Lipton - 1991 - London and New York: Routledge/Taylor and Francis Group.
The Scientific Image.C. Van Fraassen Bas - 1980 - Oxford, England: Oxford University Press.

View all 28 references / Add more references