A framework for controlling model-based diagnosis systems with multiple actions

DOI10.1007/BF01530744zbMath0858.68098OpenAlexW2018336329MaRDI QIDQ1924804

Claudia Böttcher, Oskar Dressler

Publication date: 20 October 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01530744

zbMATH Keywords

model-based diagnosis systems

Mathematics Subject Classification ID

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

Related Items (1)

Design and implementation of diagnostic strategies using modal logic

Cites Work

• Theory contraction through base contraction
• On the status of the postulate of recovery in the logic of theory change
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• A logic for default reasoning
• Characterizing diagnoses and systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A framework for controlling model-based diagnosis systems with multiple actions