Model-based diagnosis and conditional logic

Applied Intelligence

Volumn 14, Issue 2, 2001, Pages 213-230

  Obeid, N ^a  

^a PRINCESS SUMAYA UNIVERSITY FOR TECHNOLOGY   (Jordan)

Author keywords

Assumptions; Conditional logic; Model based diagnosis; Reasoning

Indexed keywords

HEURISTIC METHODS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

CONDITIONAL LOGIC; DIAGNOSTIC REASONING; MODEL-BASED DIAGNOSIS;

ARTIFICIAL INTELLIGENCE;

EID: 0035279699     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008322227554     Document Type: Article

References (55)

1. Diagnostic reasoning based on structure and behavior
2. Modeling digital circuits for troubleshooting
3. Hierarchical model-based diagnosis
4. Diagnosis process dynamics: Holding the diagnostic trackhound in leash
5. A formal framework for representing diagnosis strategies in model-based diagnosis systems
6. Circumscription-A form of non-monotonic reasoning
7. A logic for default reasoning
8. Combined qualitative quantitative steady state diagnosis of continuous-valued systems
9. Extending component connection modeling for analyzing complex physical systems
10. A formal modeling scheme for continuous systems: Focus on diagnosis
11. No faults in structure?-How to diagnose hidden interactions
12. Modelling bridge faults for diagnosis in electronic circuits
13. Features of second generation expert systems-An extended overview
14. Diagnosing multiple faults using knowledge about malfunction behavior
15. Knowledge base verification
16. The use of design descriptions in automated diagnosis
17. An expert diagnostic and prediction system based on minimal cutset techniques
18. VMES: A network based versatile maintenance expert system
19. DANTES: An expert system for real-time network troubleshooting
20. A multilevel knowledge-based concept for the supervision of technical processes
21. A theory of diagnosis from first principles
22. A theory of diagnosis for incomplete causal models
23. Diagnosis with behavioral modes
24. Physical negation-Integrating fault models into the general diagnostic engine
25. On the co-operation between abductive and temporal reasoning in medical diagnosis
26. A spectrum of logical definitions of model-based diagnosis
27. Model-based reasoning: Troubleshooting
28. Reading in model-based diagnosis
29. Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: A case study in diagnosis
30. Application of circumscription to formalizing commonsense knowledge
31. Negation as failure
32. A theory of conditionals
33. A semantic analysis of conditional logic
34. Nonmonotonic reasoning, preferential models and cumulative logics
35. On the connection between conditional logics and nonmonotonic logics
36. "On normal default reasoning and conditional logic", progress in artificial intelligence
37. Characterizing diagnoses and systems
38. Problem-solving methods for diagnosis
39. Model-based reasoning: Troubleshooting
40. A qualitative physics based on confluences
41. The alibi principle
42. Characterizing non-intermittent faults
43. Pragmatic logics
44. Conditional logic
45. Theoretical foundations for non-monotonic reasoning in expert systems
46. Basic conditional logics
47. Some results on circumscription
48. A proof procedure for normal default theories
49. Diagnosis as a process
50. What's in SD? Towards a theory of modeling in diagnosis