Advertisement

Basics of Parsimonious Covering Theory

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

Abstract

In this chapter we start the task of formalizing abductive diagnostic problem-solving. As revealed by examples in Chapter 2, such formalization will involve diagnostic entities (disorders, manifestations, intermediate states), the causal associations relating these entities, the notion of diagnostic explanation, and very importantly, the process of hypothesize-and- test reasoning. Our ultimate goal is to derive a formal model that captures a significant part of the causal knowledge and inference method described in the previous chapters.

Keywords

Diagnostic Problem Minimum Cardinality Causal Network Division Operation Present Manifestation 
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