Advertisement

Abduction and Diagnostic Inference

  • Yun Peng
  • James A. Reggia
Chapter
Part of the Symbolic Computation book series (SYMBOLIC)

Abstract

Abduction is a type of logic or reasoning which derives plausible explanations for the data at hand. In this book, formal and computational models of the abductive reasoning process that underlies diagnostic problem- solving are considered. The core material presented is that of “parsimonious covering theory” and various extensions to it. Among other things, this theory provides a theoretical foundation for the recent and continuing efforts to automate abductive reasoning in diagnostic problem-solving.

Keywords

Heart Attack Diagnostic Problem Diagnostic Reasoning Deductive Inference Abductive Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1990

Authors and Affiliations

  • Yun Peng
    • 1
    • 2
  • James A. Reggia
    • 1
  1. 1.Department of Computer ScienceUniversity of MarylandCollege ParkUSA
  2. 2.The Institute of SoftwareAcademia SinicaBeijingChina

Personalised recommendations