A formal model of diagnostic inference. I. Problem formulation and decomposition

DOI10.1016/0020-0255(85)90015-5MaRDI QIDQ1069317zbMATH OpenOpenAlexFDO

Authors James A. Reggia, Dana S. Nau, Pearl Y. Wang

Publication date 1985

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0255(85)90015-5

zbMATH Keywords

diagnostic problem solvingexpert systemsgeneralization of the set-covering problem

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Review text

This paper introduces a new model of diagnostic problem solving based on a generalization of the set-covering problem. The model formalizes the concepts of (1) whether or not a set of one or more disorders is sufficient to explain a set of occurring manifestations, (2) what a solution is for a diagnostic problem, and (3) how to generate all of the alternative explanations in a problem's solution. In addition, conditions for decomposing a diagnostic problem into independent subproblems are stated and proven. This model is of interest because it captures several intuitively plausible features of human diagnostic inference, it directly addresses the issue of multiple simultaneous causative disorders, it can serve as a theoretical basis for expert systems for diagnostic problem solving, and it provides a conceptual framework within which to view some recent AI work on diagnostic problem solving in general.

Recommendations

• A formal model of diagnostic inference. II. Algorithmic solution and application
• scientific article; zbMATH DE number 47350
• Diagnostic problem-solving with causal chaining
• A Probabilistic Causal Model for Diagnostic Problem Solving Part II: Diagnostic Strategy
• A Probabilistic Causal Model for Diagnostic Problem Solving Part I: Integrating Symbolic Causal Inference with Numeric Probabilistic Inference

Cites work

• A mathematical analysis of human leukocyte antigen serology
• Covers and packings in a family of sets
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3571502 (Why is no real title available?)
• Note—A Computational Survey of Methods for the Set Covering Problem

Cited in

(20)

• A formal model of diagnostic inference. II. Algorithmic solution and application
• A theory of diagnosis from first principles
• Diagnostic propositional formulas
• Model-based diagnostics and probabilistic assumption-based reasoning
• A theory of measurement in diagnosis from first principles
• Representing diagnosis knowledge
• Explanatory diagnoses and their characterization by circumscription
• scientific article; zbMATH DE number 3856875 (Why is no real title available?)
• scientific article; zbMATH DE number 4201694 (Why is no real title available?)
• scientific article; zbMATH DE number 4216525 (Why is no real title available?)
• A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models
• scientific article; zbMATH DE number 4031040 (Why is no real title available?)
• A Probabilistic Causal Model for Diagnostic Problem Solving Part II: Diagnostic Strategy
• scientific article; zbMATH DE number 47350 (Why is no real title available?)
• The inapplicability of (selected) paraconsistent logics
• A formal framework for causal modeling and argumentation
• Enterprise diagnostic model and its solving strategies based on fuzzy set-covering
• A branch-and-cut approach to solve the fault diagnosis problem with lazy spread and imperfect system information
• A glance at causality theories for artificial intelligence
• Abduction versus closure in causal theories.

This page was built for publication: A formal model of diagnostic inference. I. Problem formulation and decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1069317)