© 2000

Abduction and Induction

Essays on their Relation and Integration

  • Peter A. Flach
  • Antonis C. Kakas

Part of the Applied Logic Series book series (APLS, volume 18)

Table of contents

  1. Front Matter
    Pages i-xix
  2. Abductive and Inductive Reasoning: Background and Issues

    1. Peter A. Flach, Antonis C. Kakas
      Pages 1-27
  3. The philosophy of abduction and induction

  4. The logic of abduction and induction

  5. The integration of abduction and induction: an Artificial Intelligence perspective

  6. The integration of abduction and induction: a Logic Programming perspective

    1. Front Matter
      Pages 193-193
    2. Katsumi Inoue, Hiromasa Haneda
      Pages 213-231
    3. Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Floriana Esposito, Stefano Ferilli, Giovanni Semeraro
      Pages 233-252

About this book


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.


artificial intelligence complexity computer intelligence learning logic machine learning nonmonotonic reasoning probability programming

Editors and affiliations

  • Peter A. Flach
    • 1
  • Antonis C. Kakas
    • 2
  1. 1.University of BristolUK
  2. 2.University of CyprusCyprus

Bibliographic information

Industry Sectors
Finance, Business & Banking


`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