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)

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

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)