Model-based diagnosis and conditional logic

DOI10.1023/A:1008322227554MaRDI QIDQ5950284zbMATH OpenOpenAlexWikidataFDO

Authors Naji Obeid

Publication date 2 May 2002

Published in Applied Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008322227554

zbMATH Keywords

model-based diagnostic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Bayesian model-based diagnosis
• Strategies in model-based diagnosis
• Design and implementation of diagnostic strategies using modal logic
• A theory of diagnosis from first principles
• A heuristic extension to Reiter's diagnostic theory

Cited in

(15)

• Diagnostic propositional formulas
• Strategies in model-based diagnosis
• A diagnostic system based upon knowledge and experience
• scientific article; zbMATH DE number 1729250 (Why is no real title available?)
• A novel SAT-based approach to model based diagnosis
• scientific article; zbMATH DE number 4216525 (Why is no real title available?)
• scientific article; zbMATH DE number 5194680 (Why is no real title available?)
• Mechanising shared configuration and diagnosis theories through constraint logic programming
• scientific article; zbMATH DE number 1168533 (Why is no real title available?)
• scientific article; zbMATH DE number 1836275 (Why is no real title available?)
• Diagnostic reasoning with A-Prolog
• Consensus-finding that preserves mutually conflicting hypothetical information from a same agent
• Design and implementation of diagnostic strategies using modal logic
• Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles
• scientific article; zbMATH DE number 4187143 (Why is no real title available?)

This page was built for publication: Model-based diagnosis and conditional logic

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