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

expert systemsdiagnostic problem solvinggeneralization of the set-covering problem

Mathematics Subject Classification ID

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

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

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

Cited in

(19)

• scientific article; zbMATH DE number 4031040 (Why is no real title available?)
• Model-based diagnostics and probabilistic assumption-based reasoning
• Abduction versus closure in causal theories.
• 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
• Representing diagnosis knowledge
• The inapplicability of (selected) paraconsistent logics
• A theory of diagnosis from first principles
• Enterprise diagnostic model and its solving strategies based on fuzzy set-covering
• A formal framework for causal modeling and argumentation
• A theory of measurement in diagnosis from first principles
• Explanatory diagnoses and their characterization by circumscription
• A Probabilistic Causal Model for Diagnostic Problem Solving Part II: Diagnostic Strategy
• scientific article; zbMATH DE number 4216525 (Why is no real title available?)
• Diagnostic propositional formulas
• scientific article; zbMATH DE number 47350 (Why is no real title available?)
• scientific article; zbMATH DE number 3856875 (Why is no real title available?)
• A formal model of diagnostic inference. II. Algorithmic solution and application
• A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models

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)