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.
Author(s): Peter A. Flach, Antonis C. Kakas (auth.), Peter A. Flach, Antonis C. Kakas (eds.)
Series: Applied Logic Series 18
Edition: 1
Publisher: Springer Netherlands
Year: 2000
Language: English
Pages: 309
Tags: Logic; Artificial Intelligence (incl. Robotics); Numeric Computing; Philosophy of Science
Front Matter....Pages i-xix
Abductive and Inductive Reasoning: Background and Issues....Pages 1-27
Front Matter....Pages 29-29
Smart Inductive Generalizations are Abductions....Pages 31-44
Abduction as Epistemic Change: A Peircean Model in Artificial Intelligence....Pages 45-58
Abduction: Between Conceptual Richness and Computational Complexity....Pages 59-74
Front Matter....Pages 75-75
On Relationships between Induction and Abduction: A Logical Point of View....Pages 77-87
On the Logic of Hypothesis Generation....Pages 89-106
Abduction and Induction from a Non-Monotonic Reasoning Perspective....Pages 107-116
Unified Inference in Extended Syllogism....Pages 117-129
Front Matter....Pages 131-131
On the Relations between Abductive and Inductive Explanation....Pages 133-151
Learning, Bayesian Probability, Graphical Models, and Abduction....Pages 153-168
On the Relation between Abductive and Inductive Hypotheses....Pages 169-180
Integrating Abduction and Induction in Machine Learning....Pages 181-191
Front Matter....Pages 193-193
Abduction and Induction Combined in a Metalogic Framework....Pages 195-211
Learning Abductive and Nonmonotonic Logic Programs....Pages 213-231
Cooperation of Abduction and Induction in Logic Programming....Pages 233-252
Abductive Generalization and Specialization....Pages 253-265
Using Abduction for Induction Based on Bottom Generalization....Pages 267-280
Back Matter....Pages 281-311
