A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1995, Pages 1721-1727

  Nejdl, Wolfgang ^a   Prohlich, Peter ^a   Schroeder, Michael ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

'CURRENT; DIAGNOSE SYSTEM; DIAGNOSIS OF COMPLEX SYSTEMS; DIAGNOSIS STRATEGIES; EMPIRICAL KNOWLEDGE; FORMAL FRAMEWORK; META LANGUAGE; MODEL-BASED DIAGNOSIS; STRATEGIC KNOWLEDGE; SYSTEM MODELS;

SEMANTICS;

EID: 2342469875     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. C. Bottcfier and O. Dressier. Diagnosis process dynamics: Holding the diagnostic trackhound in leash. In Proceedings of the International Joint Conference on Artificial Intelligence, volume 2, pages 1460-1471. Morgan Kaufmann Publishers, Inc., 1993.
2. C Bottcher and O. Dressier. A framework for cont r o l l i ng model-based diagnosis systems with multiple actions. Annals of Mathematics and Artificial Intelligence, special Issue on Model-based Diagnosis, 11(1-4), 1994.
3. C. V. Damasio, W. Nejdl, L. Pereira, and M. Schroeder. Model-based diagnosis preferences and strategies representation with meta logic programming. In K. R. Apt and F. Turini, editors, Metalogics and Logic Programming, chapter 11, pages 269-311. The M I T Press, 1995.
4. C V. Damasio, L. M. Pereira, and W. Nejdl. Revise: An extended logic programming system for revising knowledge bases. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning) pages 607-618, Bonn, Germany, May 1994. Morgan Kaufmann Publishers, Inc.
5. J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97-130, 1987.
6. P. Frohlich, W. Nejdl, and M. Schroder. A formal semantics for preferences and strategies in model-based diagnosis. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 106-113, New Paltz, NY, Oct. 1994.
7. R. Reiter. A theory of diagnosis f r om first principles. Artificial Intelligence, 32:57-95, 1987.
8. P. Struss. Diagnosis as a process. In W. Hamscher, L. Console, and J. de Kleer, editors, Readings in Model'Based Diagnosis, pages 408-418. Morgan Kaufmann Publishers, Inc., 1992.