scientific article; zbMATH DE number 1390356

MaRDI QIDQ4934648zbMATH OpenFDO

Authors Sheila A. McIlraith

Publication date 22 March 2000

zbMATH Keywords

explanatory diagnosissituation calculusstate constraintssystem behaviour

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Explanatory diagnoses and their characterization by circumscription
• scientific article; zbMATH DE number 1790855
• A theory of diagnosis from first principles
• Explaining by evidence
• KI 2005: Advances in Artificial Intelligence

Cited in

(14)

• Using action-based hierarchies for real-time diagnosis
• Diagnosis of discrete-event systems from uncertain temporal observations
• Explanatory diagnoses and their characterization by circumscription
• A framework for controlling model-based diagnosis systems with multiple actions
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• Diagnosing data pipeline failures using action languages
• Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
• Diagnostic reasoning for robotics using action languages
• scientific article; zbMATH DE number 1882055 (Why is no real title available?)
• scientific article; zbMATH DE number 1884392 (Why is no real title available?)
• Investigating the solution space for online iterative explanation in goal reasoning agents
• First-order logical filtering
• KI 2005: Advances in Artificial Intelligence
• Explaining safety violations in real-time systems

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication:

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