Abductive Inference: Computation, Philosophy, Technology
John R. Josephson, Susan G. Josephson
Cambridge University Press, Aug 28, 1996 - Computers - 306 pages
In informal terms, abductive reasoning involves inferring the best or most plausible explanation from a given set of facts or data. This volume presents new ideas about inferential and information-processing foundations for knowledge and certainty. The authors argue that knowledge arises from experience by processes of abductive inference, in contrast to the view that it arises noninferentially, or that deduction and inductive generalization are enough to account for knowledge. The book tells the story of six generations of increasingly sophisticated generic abduction machines and the discovery of reasoning strategies that make it computationally feasible to form well-justified composite explanatory hypotheses, despite the threat of combinatorial explosion. This book will be of great interest to researchers in AI, cognitive science, and philosophy of science.
What people are saying - Write a review
Other editions - View all
ABD-SOAR abduction machines abduction problems abductive assembly abductive inference Abductive Reasoning abductive-assembly algorithm alternative analysis answer antibodies antigens architecture Artificial Intelligence behavior best explanation Bylander causal Chandrasekaran classification cognitive complete composite explanation composite hypothesis computational conclusion confidence values correct datum DENDRAL described in chapter determine diagnosis diagnostic reasoning disease DK DK DK domain elementary hypotheses Essential hypotheses essentials-first strategy evaluation example Expert Systems explain explanatory coverage explanatory hypotheses finding function gait gait analysis goal hepatomegaly hierarchy hypoth hypotheses hypothesis assembly incompatible initial interactions Josephson knowl knowledge knowledge representation knowledge-based systems liver logic Matcher MDX2 method module NP-complete NP-hard Ohio State University parsimony PEIRCE Peyer possible potheses prediction problem solving qualitative QUAWDS rated reactions reasoning RED systems representation result ruled score solver specialist speech recognition structure subset subtasks task theory tion tractable types Weak-Best