A spectrum of definitions for temporal model-based diagnosis

DOI10.1016/S0004-3702(98)00044-7zbMath0909.68177OpenAlexW2056888327MaRDI QIDQ1274291

Luca Console, Daniele Theseider Dupré, Vittorio Brusoni, Paolo Terenziani

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00044-7

zbMATH Keywords

diagnosistemporal reasoningmodel-based reasoning

Mathematics Subject Classification ID

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

Related Items (10)

Generalized DEL-Sequents ⋮ A qualitative temporal extension of here-and-there logic ⋮ On the adoption of abductive reasoning for time series interpretation ⋮ Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class ⋮ Knowledge transformation and fusion in diagnostic systems ⋮ An event-based distributed diagnosis framework using structural model decomposition ⋮ Belief extrapolation (or how to reason about observations and unpredicted change) ⋮ Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems ⋮ Process algebras for systems diagnosis. ⋮ Diagnosis of discrete-event systems from uncertain temporal observations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Qualitative simulation
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Characterizing diagnoses and systems
• Foundations of knowledge representation and reasoning
• On the computational complexity of querying bounds on differences constraints
• Consistency-based and abductive diagnoses as generalised stable models
• Explanatory diagnoses and their characterization by circumscription
• Diagnosing time-varying misbehavior: An approach based on model decomposition
• A methodology for using a default and abductive reasoning system
• On the Relationship Between Abduction and Deduction

This page was built for publication: A spectrum of definitions for temporal model-based diagnosis