The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Communications of the ACM
Explanation and Prediction: An Architecture for Default and Abductive Reasoning
Explanation and Prediction: An Architecture for Default and Abductive Reasoning
On the mechanization of abductive logic
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A Methodology for Multiple-Fault Diagnosis Based on the Independent Choice Logic
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Abduction with Penalization in Logic Programming
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A query-based approach for test selection in diagnosis
Artificial Intelligence Review
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
Outlier detection for simple default theories
Artificial Intelligence
Improving model-based diagnosis through algebraic analysis: the Petri net challenge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Model-based reconfiguration: toward an integration with diagnosis
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Towards an autonomic network architecture for self-healing in telecommunications networks
AIMS'10 Proceedings of the Mechanisms for autonomous management of networks and services, and 4th international conference on Autonomous infrastructure, management and security
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Practical model-based diagnosis with qualitative possibilistic uncertainty
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Modeling uncertain temporal evolutions in model-based diagnosis
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Diagnosis of power system protection
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Paper: The representation of medical reasoning models in resolution-based theorem provers
Artificial Intelligence in Medicine
Brief Causal fault detection and isolation based on a set-membership approach
Automatica (Journal of IFAC)
Inconsistency management for traffic regulations: formalization and complexity results
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis
Autonomous Agents and Multi-Agent Systems
COMMODITY12: A smart e-health environment for diabetes management
Journal of Ambient Intelligence and Smart Environments - Design and Deployment of Intelligent Environments
| Hi-index | 0.00 |
Is there one logical definition of diagnosis? In this paper I argue that the answer to this question is "no". This paper is about the pragmatics of using logic for diagnosis; we show how two popular proposals for using logic for diagnosis, (namely abductive and consistency-based approaches) can be used to solve diagnostic tasks. The cases with only knowledge about how normal components work (any deviation being an error) and where there are fault models (we try to find a covering of the observations) are considered as well as the continuum between. The result is that there are two fundamentally different, but equally powerful diagnostic paradigms. They require different knowledge about the world, and different ways to think about a domain. This result indicates that there may not be an axiomatisation of a domain that is independent of how the knowledge is to be used.