A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
AI Magazine
A theory of diagnosis from first principles
Artificial Intelligence
Diagnosing multiple faults using knowledge about malfunctioning behavior
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Model-based reasoning: troubleshooting
Exploring artificial intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
Modeling digital circuits for troubleshooting
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Readings in model-based diagnosis
Readings in model-based diagnosis
Readings in model-based diagnosis
Hierarchical model-based diagnosis
Readings in model-based diagnosis
Readings in model-based diagnosis
What's in SD?: Towards a theory of modeling for diagnosis
Readings in model-based diagnosis
Characterizing diagnoses and systems
Artificial Intelligence
Extending Component Connection Modeling for Analyzing Complex Physical Systems
IEEE Expert: Intelligent Systems and Their Applications
A formal framework for representing diagnosis strategies in model-based diagnosis systems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
No faults in structure?: how to diagnose hidden interactions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Combined qualitative-quantitative steady-state diagnosis of continuous-valued systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
| Hi-index | 0.00 |
The model-based diagnostic approach was first introduced to overcome the limitations of heuristic systems. However, research on model-based systems showed that the model-based diagnosis approaches resort to assumptions that can be viewed as the return, though controlled, of heuristics into diagnostic reasoning. In this paper we focus on diagnosis with component-oriented device models. We argue for the need to represent and reason with these assumptions. We present a conditional logic, DL, That is suitable for diagnostic reasoning and allows us to represent and reason with assumptions.