Abstract
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of the system to diagnose, and may be represented by constraints associated to the components. The variables of these constraints can be observable or non-observable, depending on the situation of the sensors. In order to obtain the potential minimal diagnosis in a system, an important issue is related to finding out the potential minimal conflicts in an efficient way. We consider that Constraint Databases represent an excellent option in order to solve this problem in complex systems.
In this work we have used a novel logical architecture of Constraint Databases which has allowed obtaining these potential conflicts by means of the corresponding queries. Moreover, we have considered Gröbner Bases as a projection operator to obtain the potential minimal conflicts of a system. The first results obtained on this work, which are shown in a heat exchangers example, have been very promising.
This is a preview of subscription content, log in via an institution to check access.
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
Buchberger, B.: Gröbner bases: An algorithmic method in polynomial ideal theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184–232. D. Reidel Publishing Co., Dordrechtz (1985)
Console, L., Dressler, O.: Model-based diagnosis in the real world: Lessons learned and challenges remaining. In: Proceedings IJCAI 1999, pp. 1393–1400 (1999)
Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24, 347–410 (1984)
de Kleer, J.: An assumption-based truth maintenance system. Artificial Intelligence 28(2), 127–161 (1986)
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence (1987)
de Kleer, J., Mackworth, A., Reiter, R.: Characterizing diagnoses and systems. Artificial Intelligence 56(2-3), 197–222 (1992)
Frisk, E.: The consistency-based approach to automated diagnosis of devices. In: Brewka (ed.) Principles of Knowledge Representation, CSLI, Stanford (1996)
Frisk, E.: Residual generator design for non-linear, polynomial systems - a gröbner basis approach. In: Proc. IFAC Safeprocess 2000, Budapest Hungary, pp. 979–984 (2000)
de la Banda, M.G., Stuckey, P., Wazny, J.: Finding all minimal unsatisfiable subsets. In: Proc. Of the 5th ACM Sigplan Internacional (2003)
Gasca, R.M., Del Valle, C., Ceballos, R., Toro, M.: An integration of fdi and dx approaches to polynomial models. DX (2003)
Genesereth, M.: The use of design descriptions in automated diagnosis. Artificial Intelligence 24, 411–436 (1984)
Goldin, D.Q.: Constraint query algebras. Doctorate thesis (1997)
Goldin, D.Q., Kanellakis, P.C.: Constraint query languages. Constraint Query Algebras Constraints Journal (1996)
Guernez, C.: Fault detection and isolation on non linear polynomial system. In: 5th IMACS Word Congress on Scientific, Computation, Modelling and Applied Mathematics (1997)
Han, B., Lee, S.: Deriving minimal conflict sets by cs-trees with mark set in diagnosis from first principles. IEEE Transcations on Systems, man and cybernetics 29(2) (1999)
Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint query languages. In: Symposium on Principles of Database Systems, pp. 299–313 (1990)
Kuper, G., Libkin, L., Paredaes, J.: Constraint Databases. Springer, Heidelberg (1998)
Mauss, Tatar, M.: Computing minimal conflicts for rich constraint languages jakob. DX (2002)
Pulido, J.B.: Posibles conflictos como alternativa al registro de dependencias en lnea para el diagnstico de sistemas continuos. Ph. Doctoral Dissertation. Universidad de Valladolid (2000)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–96 (1987)
Revesz, P.: Introduction to Constraint Databases. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gómez López, M.T., Ceballos Guerrero, R., Martínez Gasca, R., del Valle Sevilla, C. (2004). Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis. In: Kuijpers, B., Revesz, P. (eds) Constraint Databases. CDB 2004. Lecture Notes in Computer Science, vol 3074. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25954-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-25954-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22126-5
Online ISBN: 978-3-540-25954-1
eBook Packages: Springer Book Archive