Abstract
Debugging, validation, and maintenance of configurator knowledge bases are important tasks for the successful deployment of product configuration systems. Consistency-based diagnosis has shown to be a promising approach for detecting faulty parts in the knowledge bases and explaining unexpected behavior of the configurator, whereby (partial) configurations are used as test cases. In this paper we show how hierarchical diagnosis can be employed to cope with the complexity of debugging large configurator knowledge bases. A framework for hierarchical diagnosis on different levels of abstraction is presented as well as an algorithm for the calculation of diagnoses on those levels. The presented approach aims at the reuse of existing special purpose configuration systems. We show that the exploitation of hierarchies in such problem domains leads to a significant efficiency enhancement thus broadening the applicability of consistency-based diagnosis.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
K. Autio and R. Reiter. Structural abstraction in model-based diagnosis, Proc: ECAI’98, Brighton, UK, John Wiley and Sons, 1998, pp. 269–273.
R.R. Bakker and F. Dikker and F. Tempelman and P.M. Wognum. Diagnosing and solving over-determined constraint satisfaction problems. Proc: IJCAI’93, Chambery, Morgan Kaufmann, 1993, pp. 276–281.
P. Baumgartner, P. Fröhlich, U. Furbach and W. Nejdl. Semantically Guided Theorem Proving for Diagnosis Applications. Proc: IJCAI’97, Nagoya, Morgan Kaufmann, 1997, pp. 460–465.
L. Console, G. Friedrich, and D.T. Dupré. Model-based diagnosis meets error diagnosis in logic programs. Proc: IJCAI’93, Chambery, Morgan Kaufmann, 1993, pp. 1494–1501.
A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner. Consistency based diagnosis of configuration knowledge bases. Proc: ECAI’2000, Berlin, IOS Press, 2000, pp. 146–150.
D. Jannach. Integration of consistency-based diagnosis and configuration, PhD thesis, University Klagenfurt, 2001.
G. Fleischanderl, G. Friedrich, A. Haselboeck, H. Schreiner and M. Stumptner. Configuring Large Systems Using Generative Constraint Satisfaction, IEEE Intelligent Systems, July/August, 1998.
G. Friedrich, Theory Diagnosis. A Concise Characterization of Faulty Systems, Proc: IJCAI’93, Chambery, France, Morgan Kaufmann, 1993, pp. 1466–1473.
G. Friedrich, M. Stumptner, and F. Wotawa. Model-Based Diagnosis of Hardware Designs, Artificial Intelligence (111) 2, Elsevier, 1999, pp. 3–39.
M. Gertz, U. Lipeck. A Diagnostic Approach to Repairing Constraint Violations in Databases. Proc: DX’95 Workshop, Goslar, 1995.
R. Greiner, B.A. Smith, R.W. Wilkerson. A correction to the algorithm in Reiter’s theory of diagnosis. Artificial Intelligence, 41(1), Elsevier, 1989, pp. 79–88.
W. Harmscher. Modeling Digital Circuits for Troubleshooting, Artificial Intelligence 51(1-3), Elsevier, 1991, pp. 223–271.
D. Mailharro. A Classification and Constraint-based Framework for Configuration, AI EDAM, Vol 12(98), Cambridge University Press, 1998.
S. Mittal and F. Frayman. Towards a generic model of configuration tasks, Proc: IJCAI’89, 1989, pp. 1395–1401.
I. Mozetic. Hierarchical Model-based Diagnosis, in: W. Harmscher et al.: Readings in Model-based Diagnosis, Morgan Kaufmann, 1992, pp. 354–372.
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1), Elsevier, 1987, pp. 57–95.
P. Struss. What’s in SD? Towards a theory of Modeling of Diagnosis. In: W. Harmscher et al.: Readings in Model-based Diagnosis, Morgan Kaufmann, 1992.
M. Stumptner, F. Wotawa. Diagnosing tree-structured systems, Proc: IJCAI’97, Nagoya, Morgan Kaufmann, 1997, pp. 440–445.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Felfernig, A., Friedrich, G.E., Zanker, M., Jannach, D., Stumptner, M. (2001). Hierarchical Diagnosis of Large Configurator Knowledge Bases. In: Baader, F., Brewka, G., Eiter, T. (eds) KI 2001: Advances in Artificial Intelligence. KI 2001. Lecture Notes in Computer Science(), vol 2174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45422-5_14
Download citation
DOI: https://doi.org/10.1007/3-540-45422-5_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42612-7
Online ISBN: 978-3-540-45422-9
eBook Packages: Springer Book Archive