Abstract
Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP (B) and CLP (R). CLP (B) extends the standard computational domain of logic programs by boolean expressions, while CLP(R) comprises a solver for systems of linear equations and inequalities over real-valued variables.
Invited talk at the 6th Czechoslovak Annual Conf. on AI, Prague, June 25–27, 1991.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boole, G. (1947). The Mathematical Analysis of Logic. Macmillan.
Biittner, W., Simonis, H. (1987). Embedding Boolean expressions into logic programming. Journal of Symbolic Computation 4, pp. 191–205.
Cohen, J. (1990). Constraint logic programming languages. Communications of the ACM 33 (7), pp. 52–68.
Crone-Rawe, B. (1989) Unification algorithms for boolean rings. SEKI Working Paper SWP-89-01, University of Kaiserslautern, Germany.
Dague, P., Deves, P., Luciani, P., Taillibert, P. (1990). Analog systems diagnosis. Proc. 9th ECAI, pp. 173–178, Stockholm.
Davis, R. (1984). Diagnostic reasoning based on structure and behaviour. Artificial Intelligence 24, pp. 347–410.
de Kleer, J., Mackworth, A.K., Reiter, R. (1990). Characterizing diagnoses. Proc. 8th AAAI, pp. 324–330, Boston, MIT Press.
de Kleer, J., Williams, B.C. (1987). Diagnosing multiple faults. Artificial Intelligence 32, pp. 97–130.
de Kleer, J., Williams, B.C. (1989). Diagnosis with behavioral modes. Proc. 11th IJCAI, pp. 1324–1330, Detroit, Morgan Kaufmann.
de Kleer, J., Williams, B.C. (1990). Focusing the diagnosis engine. Unpublished draft, presented at the First Intl. Workshop on Principles of Diagnosis, Stanford University.
Friedrich, G., Gottlob, G., Nejdl, W. (1990). Hypothesis classification, abductive diagnosis and therapy. Proc. First Intl. Workshop on Principles of Diagnosis, pp. 124–128, Stanford University.
Gallanti, M., Roncato, M., Stefanini, A., Tornielli, G. (1989). A diagnostic algorithm based on models at different level of abstraction. Proc. 11th IJCAI, pp. 1350–1355, Detroit, Morgan Kaufmann.
Genesereth, M.R. (1984). The use of design descriptions in automated diagnosis. Artificial Intelligence 24, pp. 411–436.
Heintze, N., Jaffar, J., Michaylov, S., Stuckey, P., Yap, R. (1987). The CLP(U) programmer’s manual. Dept. of Computer Science, Monash University, Australia.
Heintze, N., Michaylov, S., Stuckey, P. (1987). CLP (R) and some electrical engineering problems. Proc. 4 th Intl. Conference on Logic Programming, pp. 675–703, Melbourne, Australia, The MIT Press.
Holzbaur, C. (1990). Specification of constraint based inference mechanisms through extended unification. Ph.D. Thesis, Vienna University of Technology, Austria.
Jaffar, J. (1990). CLP(Sft) version 1.0 reference manual. IBM Research Division, T.J. Watson Research Center, Yorktown Heights, NY.
Jaffar, J., Lassez, J.-L., Mahler, J. (1986). A logic programming language scheme. In D. de Groot, G. Linstrom (eds.), Logic Programming: Functions, Relations, and Equations, Prentice-Hall, Englewood Cliffs, NJ.
Kraemer, F.-J. (1989). A decision procedure for Presburger arithmetic with functions and equality. SEKI working paper SWP-89–4, FB Informatik, University of Kaiserslautern, Germany.
Lloyd, J.W. (1987). Foundations of Logic Programming (Second edition). Springer-Verlag, Berlin.
Martin, U., Nipkov, T. (1986). Unification in boolean rings. Proc. 8th Intl. Conference on Automated Deduction, pp. 506–513.
Mozetic, I. (1990). Reduction of diagnostic complexity through model abstractions. Report TR-90–10, Austrian Research Institute for Artificial Intelligence, Vienna. Proc. First Intl. Workshop on Principles of Diagnosis, pp. 102–111, Stanford University, Palo Alto.
Mozetic, I., Holzbaur, C. (1991a). Integrating qualitative and numerical models within Constraint Logic Programming. Report TR-91–2, Austrian Research Institute for Artificial Intelligence, Vienna, Austria. Proc. 1st European Workshop on Qualitative Reasoning about Physical Systems, Genova, Italy.
Mozetic, I., Holzbaur, C. (1991b). Controlling the complexity in model-based diagnosis. Report TR-91–3, Austrian Research Institute for Artificial Intelligence, Vienna, Austria.
Poole, D. (1989). Normality and faults in logic-based diagnosis. Proc. 11th IJCAI, pp. 1304–1310, Detroit, Morgan Kaufmann.
Raiman, O. (1989). Diagnosis as a trial: the alibi principle. IBM Scientific Center, Paris.
Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence 32, pp. 57–95.
Shostak, R. (1981). Deciding linear inequalities by computing loop residues. Journal of the ACM 28 (4), pp. 769–779.
Struss, P., Dressier, O., (1989). “Physical negation” — integrating fault models into the general diagnostic engine. Proc. 11th IJCAI, pp. 1318–1323, Detroit, Morgan Kaufmann.
Wakeling, A., McKeon A. (1989). On automatic fault finding in analogue circuits. Electronic Engineering, pp. 95–101, Nov. 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mozetič, I., Holzbaur, C. (1991). Model-Based Diagnosis with Constraint Logic Programs. In: Kaindl, H. (eds) 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence. Informatik-Fachberichte, vol 287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46752-3_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-46752-3_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54567-5
Online ISBN: 978-3-642-46752-3
eBook Packages: Springer Book Archive