Flach / Hadjiantonis Abduction and Induction

Essays on their Relation and Integration
Erscheinungsjahr 2013
ISBN: 978-94-017-0606-3
Verlag: Springer Netherland
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 18, 309 Seiten, eBook

Reihe: Applied Logic Series

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.

Zielgruppe

Research

Autoren/Hrsg.

Flach, P.A.

Hadjiantonis, Antonis

Inhaltsverzeichnis

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.