Journal of Logic, Language and Information 14 (1):87-117 (2005)
|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|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Brian Hill (2008). Towards a “Sophisticated” Model of Belief Dynamics. Part II: Belief Revision. Studia Logica 89 (3):291 - 323.
Andrés Páez (2009). Artificial Explanations: The Epistemological Interpretation of Explanation in Ai. Synthese 170 (1):131 - 146.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
P. Thagard & C. P. Shelley (1997). Abductive Reasoning: Logic, Visual Thinking, and Coherence. In [Book Chapter].
Lorenzo Magnani (2004). Model-Based and Manipulative Abduction in Science. Foundations of Science 9 (3):219-247.
John Woods (2007). Ignorance and Semantic Tableaux: Aliseda on Abduction. Theoria 22 (3):305-318.
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
Atocha Aliseda (2007). Abductive Reasoning: Challenges Ahead. Theoria 22 (3):261-270.
Added to index2009-01-28
Total downloads5 ( #169,995 of 722,871 )
Recent downloads (6 months)1 ( #60,917 of 722,871 )
How can I increase my downloads?