Abduction and Induction

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.

`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