Abstract
Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. Diagnostic systems usually rely on qualitative models and reason by local constraint propagation methods. However, there is a large class of applications where ATMS-like systems or pure logic programs are unpractical since they are unable to solve simultaneous equations. In particular, modeling real-valued system parameters with tolerances requires some degree of numerical processing, and feedback loops in general cannot be resolved by local constraint propagation methods. Examples of such systems are analogue circuits, e.g., amplifiers or filters. In the paper we describe the role of Constraint Logic Programs over the domain of reals (CLP(R)) in representing both, qualitative and numerical models. CLP(R) is a logic programming system extended with a solver for systems of linear equations and inequalities over real-valued variables.
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
Bandler, J.W., Salama, A.E. (1985). Fault diagnosis of analog circuits. Proc. IEEE 73 (8), pp. 1279–1826.
Carlsson, M., Widen, J. (1990). Sicstus Prolog user’s manual, SICS/R-88/88007C, Swedish Institute of Computer Science, Kista, Sweden.
Cohen, J. (1990). Constraint logic programming languages. Communications of the ACM 33 (7), pp. 52–68.
Dague, P., Deves, P., Luciani, P., Taillibert, P. (1990). Analog systems diagnosis. Proc. 9th ECA1, pp. 173–178, Stockholm.
Davis, R. (1984). Diagnostic reasoning based on structure and behaviour. Artificial Intelligence 24, pp. 347–410.
de Kleer, J., Williams, B.C. (1987). Diagnosing multiple faults. Artificial Intelligence 32, pp. 97–130.
Duhamel, P., Rault, J.C. (1979). Automatic test generation techniques for analog circuits and systems: a review. IEEE Trans. on Circuits and Systems CAS-26 (7), pp. 411–440.
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. (1987a). The CLP(ft) programmer’s manual. Dept. of Computer Science, Monash University, Australia.
Heintze, N., Michaylov, S., Stuckey, P. (1987b). CLP(ft) and some electrical engineering problems. Proc. 4th toil- 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(ft) 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.
McKeon A., Wakeling, A. (1990). Model-based analogue circuit fault diagnosis. Proc. TEST’90, pp. 1–14, London.
Mozetic, I., Holzbaur, C. (1991a). Integrating qualitative and numerical models within Constraint Logic Programming. Proc. 1991 Intl. Logic Programming Symposium, ILPS-91, San Diego, MIT Press.
Mozetic, I., Holzbaur, C. (1991b). Controlling the complexity in model-based diagnosis. Report TR-91-3, Austrian Research Institute for Artificial Intelligence, Vienna, Austria.
Ohletz, M.J. (1991). Hybrid built-in self test for mixed analogue/digital integrated circuits. Proc. 2nd European Test Conf. TEST’91, pp. 307–316, Munich.
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.
Spectrum. Micro-cap III electronic circuit analysis program instruction manual. Spectrum Software, 1021 S. Wolfe Road, Sunnyvale, CA 94086.
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., Novak, F., Santo-Zarnik, M. (1991). Model-Based Analogue Circuit Diagnosis with CLP(R). In: Brauer, W., Hernández, D. (eds) Verteilte Künstliche Intelligenz und kooperatives Arbeiten. Informatik-Fachberichte, vol 291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76980-1_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-76980-1_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54617-7
Online ISBN: 978-3-642-76980-1
eBook Packages: Springer Book Archive