Abstract
The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. We discuss a framework that allows one to express these strategies as formulas of a meta-language and present a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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.
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).
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.
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.
Davis, R.: Diagnostic reasoning based on structure and behaviour, Artificial Intelligence 24 (1984), 347–410.
de Kleer, J. and Williams, B. C.: Diagnosing multiple faults, Artificial Intelligence 32 (1987), 97–130.
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.
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.
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.
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.
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.
Genesereth, M. R.: The use of design descriptions in automated diagnosis, Artificial Intelligence 24 (1984), 411–436.
Hamscher, W. C.: Modeling digital circuits for troubleshooting, Artificial Intelligence 51(1–3) (1991), 223–271.
The ISCAS-85 Benchmarks, http://www.cbl.ncsu.edu/www/ CBL Docs/iscas85.html, 1985.
Mozetič, I.: Hierarchical model-based diagnosis, International Journal of Man-Machine Studies 35 (1991), 329–362.
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.
Reiter, R.: A theory of diagnosis from first principles, Artificial Intelligence 32 (1987), 57–95.
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.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fröhlich, P., Nejdl, W. & Schroeder, M. Strategies in Model-based Diagnosis. Journal of Automated Reasoning 20, 81–105 (1998). https://doi.org/10.1023/A:1005948807784
Issue Date:
DOI: https://doi.org/10.1023/A:1005948807784