1. Introduction. - 1. 1 Motivation. - 1. 2 Main Contributions. - 1. 3 Organisation. - 2. Model-Based Diagnosis. - 2. 1 Heuristic Diagnosis vs. Model-Based Diagnosis. - 2. 2 The Model. - 2. 3 Consistency-based and Abductive Diagnosis. - 2. 4 Diagnosis Engines. - 2. 5 Summary. - 3. Logic Programming and Diagnosis. - 3. 1 Etended Logic Programming. - 3. 2 Modelling Diagnosis Problems. - 3. 3 REVISE A System for Program Revision. - 3. 4 Summary. - 4. Strategies in Diagnosis. - 4. 1 Introduction. - 4. 2 A Strategy Language. - 4. 3 A Strategy Knowledge Base for Circuit Diagnosis. - 4. 4 Operational Semantics and an Algorithm. - 4. 5 Extensions of the Strategy Language. - 4. 6 Summary. - 5. Autonomous Agents. - 5. 1 Introduction. - 5. 2 Vivid Agents. - 5. 3 Concurrent Action and Planning. - 5. 4 Distributed Diagnosis of a Computer Network. - 5. 5 Diagnosis of a Communication Protocol. - 5. 6 Summary. - 6. Conclusions. - 6. 1 Comparisons. - 6. 2 General Evaluation. - 6. 3 Future Work. - 7. Proofs and Proof Sketches. - References. Language: English