Read more
From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Deduction is now fairly well understood, but abduction and induction have eluded a similar level of understanding. The papers collected here address the relationship between abduction and induction and their possible integration. The approach is sometimes philosophical, sometimes that of pure logic, and some papers adopt the more task-oriented approach of AI.
The book will command the attention of philosophers, logicians, AI researchers and computer scientists in general.
List of contents
1 Abductive and inductive reasoning: background and issues.- 2 Smart inductive generalizations are abductions.- 3 Abduction as epistemic change: a Peircean model in Artificial Intelligence.- 4 Abduction: between conceptual richness and computational complexity.- 5 On relationships between induction and abduction: a logical point of view.- 6 On the logic of hypothesis generation.- 7 Abduction and induction from a non-monotonic reasoning perspective.- 8 Unified inference in extended syllogism.- 9 On the relations between abductive and inductive explanation.- 10 Learning, Bayesian probability, graphical models, and abduction.- 11 On the relation between abductive and inductive hypotheses.- 12 Integrating abduction and induction in Machine Learning.- 13 Abduction and induction combined in a metalogic framework.- 14 Learning abductive and nonmonotonic logic programs.- 15 Cooperation of abduction and induction in Logic Programming.- 16 Abductive generalization and specialization.- 17 Using abduction for induction based on bottom generalization.
Report
`The present book ... does throw open windows towards understanding the true complexities of reasoning, by presenting abduction and induction intertwined as a fascinating case study for `real logic'.'
Johan van Benthem, University of Amsterdam
