Abstract
Model-based diagnosis, and constraint-based reasoning are well known generic paradigms for which the most difficult task lies in the construction of the models used. We consider the problem of localizing and correcting the errors in a model. We present a method to debug a model. To help the debugging task, we propose to use the model-base diagnosis solver. This method has been used in a real application of the development a model of a railway signalling system.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. Printz, “Architecture des logiciels et réutilisation de composants logiciels,” z Génie Logiciel, vol. 55, pp. 2–18, 2000.
C. Haskins, “Les développements guidés par des modèles: intégration des outils aux pratiques,” Génie Logiciel, vol. 52, pp. 16–22, 2000.
P. Dague, P. Deves, P. Luciani, and P. Taillibert, “Diagnostic de systèmes analogiques,” 10èmes journées internationales: Les systèmes experts et leurs applications, Avignon, France, 1990.
R. Davis, “Diagnostic reasoning based on structure and behaviour,” Artificial Intelligence, vol. 24, nos.~1–3, pp. 347–410, 1984.
M.R. Genesereth, “The use of design descriptions in automated diagnosis,” Artificial Intelligence, vol. 24, nos.~1–3, pp. 411–436, 1984.
J. de Kleer and B. Williams, “Diagnosis multiple faults,” Artificial Intelligence, vol. 32, no. 1, pp. 97–130, 1987.
R. Reiter, “A theory of diagnosis from first principles,” Artificial Intelligence, vol. 32, no. 1, pp. 57–95, 1987.
D. Sabin, M. Sabin, R.D. Russell, and E.C. Freuder, “A constraint-base approach to diagnosing software problems in computer networks,” International Conference on Principles and Practice of Constraint Programming (CP95), Cassis, France, 1995.
C. Mateis, M. Stumptner, and F. Wotawa, “Modeling Java programs for diagnosis,” in Proceedings of the 14th European Conference on Artificial Intelligence, 2000, pp. 171–175.
L. Console, G. Friedrich, and D. Theseider, “Model-based diagnosis meets error diagnosis in logic programs,” in Proceedings IJCAI, Chambery, France, 1993, pp. 1494–1499.
J. de Kleer, A.K. Mackworth, and R. Reiter, “Characterizing diagnoses and systems,” Artificial Intelligence, vol. 56, nos.~2–3, pp. 197–222, 1992.
L. Console and P. Torasso, “A spectrum of logical definitions of model-based diagnosis,” Computational Intelligence, vol. 7, pp. 133–141, 1991.
W. Hamsher, L. Console, and J. de Kleer, Readings in Model-Based Diagnosis, Morgan Kaufmann, 1992.
E. Tsang, Foundations of Constraint Satisfaction, Academic Press, University of Essex, UK, 1993.
G. Verfaillie and L. Lobjois, “Problèmes incohérents: expliquer l'incohérence, restaurer la cohérence,” in JNPC'99, 1999.
J. Kelly, “Diagnosis as a constraint satisfaction problem,” in FLAIRS 95, 1995.
J. Larossa, P. Messeguer, T. Schiex, and G. Verfaillie, “Reversible DAC and other improvements for solving Max-CSP,” in Proc. AAAI'98, Madison, WI, 1998, pp. 347–352.
V. Saraswat, D. Bobrow, and J. de Kleer, “Infrastructure for model-based computing,” Xerox PARC, Technical Report, 1993.
F. Bacchus and P. van Beek, “On the conversion between non-binary and binary constraint satisfaction problems,” in AAAI 98, 1998, pp. 311–318.
J. Rodriguez and S. Piechowiak, “Un algorithme de diagnostic par suspension de contraintes,” Revue européenne de Diagnostic et Sureté de fonctionnement, vol. 1, no. 1, 1991.
R. Debruyne, “Les algorithmes d'arc-consistance dans les CSP dynamiques,” Revue d'intelligence artificielle, vol. 9, no. 3, pp. 239–267, 1995.
S. Piechowiak and J. Rodriguez, “Constraint compiling into rules formalism for dynamic CSPs computing,” Workshop on Rule-Based Constraint Reasoning and Programming, International Conference on Computational Logic, Imperial College, London, UK, 2000.
F. Lefebvre, S. Piechowiak, and J. Rodriguez, “Modelling a complex system for model-based diagnosis,” in Proceedings IEEE SMC, La Jolla, California, 1998.
J. Rodriguez, F. Lefebvre, S. Piechowiak, and P. Sainton, “Diagnostic à base de modèles—Application à la signalisation des lignes à grande vitesse,” Journée PREDIT-ASCOT, Paris, 2000
F. Lefebvre, “Contribution à la modélisation pour le diagnostic des systèmes complexes: application à la signalisation des lignes à grande vitesse,” PhD dissertation, Université de Valenciennes, 2000.
D. Jackson and M. Vaziri, “Finding bugs with a constraint solver,” in ISSTA'00, Portland, Oregon, 2000.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Piechowiak, S., Rodriguez, J. The Localization and Correction of Errors in Models: A Constraint-Based Approach. Appl Intell 23, 153–164 (2005). https://doi.org/10.1007/s10489-005-4605-0
Issue Date:
DOI: https://doi.org/10.1007/s10489-005-4605-0