Consistency-based and abductive diagnoses as generalised stable models

DOI10.1007/BF01530737zbMath0856.03025OpenAlexW2043226702MaRDI QIDQ1924796

Kave Eshghi, Chris Preist, Bruno Bertolino

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/bf01530737

zbMATH Keywords

negation as failureabductive diagnosisconsistency-based diagnosisgeneralized stable model semantics of abduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Other applications of logic (03B80)

Related Items

Explanatory diagnoses and their characterization by circumscription ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Analysis of notions of diagnosis ⋮ Process algebras for systems diagnosis.

Cites Work

• A logic-based calculus of events
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Characterizing diagnoses and systems
• Explanatory diagnoses and their characterization by circumscription
• A rational reconstruction of nonmonotonic truth maintenance systems
• On the Relationship Between Abduction and Deduction
• Computing abduction by using TMS with top-down expectation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item