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

DOI10.1016/0020-0255(85)90015-5zbMATH Open0583.68046OpenAlexW1978297541MaRDI QIDQ1069317FDOQ1069317

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)

Cites Work

• A mathematical analysis of human leukocyte antigen serology
• Note—A Computational Survey of Methods for the Set Covering Problem
• Covers and packings in a family of sets
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (14)

• A branch-and-cut approach to solve the fault diagnosis problem with lazy spread and imperfect system information
• Model-based diagnostics and probabilistic assumption-based reasoning
• Abduction versus closure in causal theories.
• A glance at causality theories for artificial intelligence
• Representing diagnosis knowledge
• The inapplicability of (selected) paraconsistent logics
• A theory of diagnosis from first principles
• A formal framework for causal modeling and argumentation
• A theory of measurement in diagnosis from first principles
• Explanatory diagnoses and their characterization by circumscription
• Title not available (Why is that?)
• Diagnostic propositional formulas
• 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

   Recommendations

• A formal model of diagnostic inference. II. Algorithmic solution and application 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)