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

Black Ball Prefix Doyle Bronchitis Cough 

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