Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Readings in model-based diagnosis
Characterizing diagnoses and systems
Readings in model-based diagnosis
Normality and faults in logic-based diagnosis
Readings in model-based diagnosis
A spectrum of logical definitions of model-based diagnosis
Readings in model-based diagnosis
“Physical Negation”—integrating fault models into the General Diagnostic Engine
Readings in model-based diagnosis
Model-based multiple fault diagnosis of time-varying, continuous physical devices
Readings in model-based diagnosis
Compositional modeling of physical systems
Recent advances in qualitative physics
Building problem solvers
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Model-based reasoning of device behavior with causal ordering
Model-based reasoning of device behavior with causal ordering
On the specification of multiple models for diagnosis of dynamic systems
AI Communications
Qualitative system identification from imperfect data
Journal of Artificial Intelligence Research
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Focusing on probable diagnoses
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Fast context switching in real-time propositional reasoning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Automated plan assessment in cognitive manufacturing
Advanced Engineering Informatics
Automated FMEA based diagnostic symptom generation
Advanced Engineering Informatics
Hi-index | 0.00 |
In this paper we present an incremental diagnostic engine: IMBDE. IMBDE utilises qualitative models, and combines an extended version of Nayak and Williams' ITMS (based on root antecedents) with an incremental version of Reiter's Hitting Set Algorithm to perform incremental state based diagnosis on dynamic process systems. The approach is demonstrated to work by application to an industrial process - an ammonia washer system.