This is a PhD Thesis written under supervision of Prof. dr. Johan van Benthem.
Author(s): Atocha Aliseda-LLera
Series: ILLC Dissertation Series DS-1997-04
Publisher: University of Amsterdam
Year: 1997
Language: English
Pages: 209
City: Amsterdam
What is Abduction
Overview and Proposal for Investigation
What is Abduction
The Founding Father CS Peirce
Philosophy of Science
Artificial Intelligence
Further Fields of Application
A Taxonomy for Abduction
Thesis Aim and Overview
Abduction as Logical Inference
Introduction
Directions in Reasoning
Forward and Backward
Formats of Inference
Premises and Background Theory
Inferential Strength A Parameter
Requirements for Abductive Inference
Styles of Inference and Structural Rules
Structural Rules For Abduction
Further Logical Issues
Discussion and Conclusions
Further Questions
Related Work
Abduction as Computation
Introduction
Procedural Abduction
Introduction to Semantic Tableaux
Abduction with Tableaux
Generating Abductions in Tableaux
Tableaux Extensions and Closures
Computing Plain Abductions
Consistent Abductive Explanations
Explanatory Abduction
Quality of Abductions
Further Logical Issues
Discussion and Conclusions
Further Questions
Related Work
Scientific Explanation and Epistemic Change
Introduction
Scientific Explanation as Abduction
Abduction as Epistemic Change
Explanation and Belief Revision
AGM Postulates for Contraction
A Algorithms for Chapter
Abstract
Bibliography
