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

DOI10.1016/0020-0255(85)90015-5zbMath0583.68046OpenAlexW1978297541MaRDI QIDQ1069317

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)

Related Items (10)

A theory of diagnosis from first principles ⋮ Representing diagnosis knowledge ⋮ Explanatory diagnoses and their characterization by circumscription ⋮ The inapplicability of (selected) paraconsistent logics ⋮ A formal framework for causal modeling and argumentation ⋮ A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models ⋮ Abduction versus closure in causal theories. ⋮ Model-based diagnostics and probabilistic assumption-based reasoning ⋮ A formal model of diagnostic inference. II. Algorithmic solution and application ⋮ A theory of measurement in diagnosis from first principles

Cites Work

• Unnamed Item
• Unnamed Item
• 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

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