Strategies in Model-based Diagnosis

Journal of Automated Reasoning

Volumn 20, Issue 1-2, 1998, Pages 81-105

  Fröhlich, Peter ^a   Nejdl, Wolfgang ^a   Schroeder, Michael ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

Model based diagnosis; Strategy

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

MODEL BASED DIAGNOSIS;

ARTIFICIAL INTELLIGENCE;

EID: 0032045317     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1005948807784     Document Type: Article

References (19)

1. Böttcher, C. and Dressler, O.: Diagnosis process dynamics: Holding the diagnostic trackhound in leash, in Proc. Int. Joint Conf. on Artificial Intelligence Vol. 2, Morgan Kaufmann Publishers, Inc., 1993, pp. 1460-1471.
2. Böttcher, C. and Dressler, O.: A framework for controlling model-based diagnosis systems with multiple actions, Annals of Mathematics and Artificial Intelligence, Special Issue on Model-based Diagnosis 11(1-4) (1994).
3. Damásio, C. V., Pereira, L. M. and Nejdl, W.: Revise: An extended logic programming system for revising knowledge bases, in Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, Inc., Bonn, Germany, 1944, pp. 607-618.
4. Damásio, C. V., Nejdl, W., Pereira, L. and Schroeder, M.: Model-based diagnosis preferences and strategies representation with meta logic programming, in K. R. Apt and F. Turini (eds), Meta-logics and Logic Programming, Chap. 11, The MIT Press, 1995, pp. 269-311.
5. Davis, R.: Diagnostic reasoning based on structure and behaviour, Artificial Intelligence 24 (1984), 347-410.
6. de Kleer, J. and Williams, B. C.: Diagnosing multiple faults, Artificial Intelligence 32 (1987), 97-130.
7. de Kleer, J., Raiman, O. and Shirley, M.: One step lookahead is pretty good, in Second International Workshop on the Principles of Diagnosis, Milano, Italy, 1991.
8. Dressler, O. and Struss, P.: Back to defaults: Characterizing and computing diagnoses as coherent assumption sets, in Proceedings of the 10th European Conference on Artificial Intelligence, 1992, pp. 719-723.
9. Emerson, E. Allen: Temporal and modal logic, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science Vol. B, Chap. 16, Elsevier, Amsterdam, New York, 1990.
10. Fariñas del Cerro, L. and Herzig, A.: Modal deduction with applications in epistemic and temporal logics, in C. J. Hogger, Dov M. Gabbay and J. A. Robinson (eds), The Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 4, Oxford Science Publications, 1995, pp. 499-594.
11. Fröhlich, P., Nejdl, W. and Schroeder, M.: A formal semantics for preferences and strategies in model-based diagnosis, in 5th International Workshop on Principles of Diagnosis (DX-94), New Paltz, NY, 1994, pp. 106-113.
12. Genesereth, M. R.: The use of design descriptions in automated diagnosis, Artificial Intelligence 24 (1984), 411-436.
13. Hamscher, W. C.: Modeling digital circuits for troubleshooting, Artificial Intelligence 51(1-3) (1991), 223-271.
14. The ISCAS-85 Benchmarks, http://www.cbl.ncsu.edu/www/ CBL_Docs/iscas85.html, 1985.
15. Mozetič, I.: Hierarchical model-based diagnosis, International Journal of Man-Machine Studies 35 (1991), 329-362.
16. Nejdl, W., Fröhlich, P. and Schroeder, M.: A formal framework for representing diagnosis strategies in model-based diagnosis systems, in Proc. 14th International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Montreal, Canada, 1995, pp. 1721-1727.
17. Reiter, R.: A theory of diagnosis from first principles, Artificial Intelligence 32 (1987), 57-95.
18. Struss, P.: Diagnosis as a process, in W. Hamscher, L. Console, and J. de Kleer (eds), Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, Inc., 1992, pp. 408-418.
19. Struss, P. and Dressler, O.: Physical negation - Integrating fault models into the general diagnostic engine, in Proc. Int. Joint Conf. on Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Detroit, 1989, pp. 1318-1323.