Journal of Logic, Language and Information 14 (1):87-117 (2005)
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|
|Categories||categorize this paper)|
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
Aspects of Scientific Explanation and Other Essays in the Philosophy of Science.Carl Hempel - 1965 - The Free Press.
Citations of this work BETA
No citations found.
Similar books and articles
Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Advice on Abductive Logic.Dov Gabbay & John Woods - 2006 - Logic Journal of the IGPL 14 (2):189-219.
Abductive Reasoning: Logic, Visual Thinking, and Coherence.P. Thagard & C. P. Shelley - 1997 - In [Book Chapter].
Model-Based and Manipulative Abduction in Science.Lorenzo Magnani - 2004 - Foundations of Science 9 (3):219-247.
Ignorance and Semantic Tableaux: Aliseda on Abduction.John Woods - 2007 - Theoria 22 (3):305-318.
On the Logic of Iterated Belief Revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89:1-29.
Added to index2009-01-28
Total downloads34 ( #151,879 of 2,171,928 )
Recent downloads (6 months)1 ( #326,615 of 2,171,928 )
How can I increase my downloads?