Abstract
Dynamic constraint satisfaction problem (DCSP) solving is one of the most important methods for solving various kinds of synthesis tasks, such as configuration. Todays configurators are standalone systems not supporting distributed configuration problem solving functionality. However, supply chain integration of configurable products requires the integration of configuration systems of different manufacturers, which jointly offer product solutions to their customers. As a consequence, we need problem solving methods that enable the computation of such configurations by several distributed configuration agents. Therefore, one possibility is the extension of the configuration problem from a dynamic constraint satisfaction representation to distributed dynamic constraint satisfaction (DDCSP). In this paper we will contribute to this challenge by formalizing the DDCSP and by presenting a complete and sound algorithm for solving distributed dynamic constraint satisfaction prob- lems. This algorithm is based on asynchronous backtracking and enables strategies for exploiting conflicting requirements and design assumptions (i.e. learning additional constraints during search). The exploitation of these additional constraints is of particular interest for configuration be- cause the generation and the exchange of conflicting design assumptions based on nogoods can be easily integrated in existing configuration sys- tems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. J. Bayardo and D. P. Miranker. A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem. In Proceedings AAAI, pages 298–304, Portland, Oregon, 1996.
M. Chandy and L. Lamport. Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst., 3, 1:63–75, 1985.
R. Weigel D. Sabin. Product Configuration Frameworks-A Survey. In E. Freuder B. Faltings, editor, IEEE Intelligent Systems, Special Issue on Configuration, volume 13, 4, pages 50–58. 1998.
T. P. Darr and W. P. Birmingham. An Attribute-Space Representation and Algorithm for Concurrent Engineering. AIEDAM, 10, 1:21–35, 1996.
R. Dechter. Enhancements schemes for constraint processing: backjumping, learning and cutset decomposition. Artificial Intelligence, 40, 3:273–312, 1990.
R. Dechter and J. Pearl. Tree clustering for constraint networks. Artificial Intelligence, 38:353–366, 1989.
B. Faltings, E. Freuder, and G. Friedrich, editors. Workshop on Configuration. AAAI Technical Report WS-99-05, Orlando, Florida, 1999.
A. Felfernig, G. Friedrich, and D. Jannach. UML as domain specific language for the construction of knowledge-based configuration systems. In 11th International Conference on Software Engineering and Knowledge Engineering, pages 337–345, Kaiserslautern, Germany, 1999.
G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner. Conguring Large Systems Using Generative Constraint Satisfaction. In E. Freuder B. Faltings, editor, IEEE Intelligent Systems, Special Issue on Configuration, volume 13, 4, pages 59–68. 1998.
Y. Hamadi, C. Bessiere, and J. Quinqueton. Backtracking in distributed Constraint Networks. In Proceedings of ECAI 1998, pages 219–223, Brighton, UK, 1998.
S. Mittal and B. Falkenhainer. Dynamic Constraint Satisfaction Problems. In Proceedings of AAAI 1990, pages 25–32, Boston, MA, 1990.
F. Rossi, C. Petrie, and V. Dhar. On the equivalence of constraint satisfaction problems. In Proceedings of ECAI 1990, Stockholm, Sweden, 1990.
T. Soininen, E. Gelle, and I. Niemela. A Fixpoint Definition of Dynamic Constraint Satisfaction. In 5th International Conference on Principles and Practice of Constraint Programming-CP’99, pages 419–433, Alexandria, USA, 1999.
M. Yokoo, E. H. Durfee, T. Ishida, and K. Kuwabara. The distributed constraint satisfaction problem. IEEE Transactions on Knowledge and Data Engineering, 10, 5:673–685, 1998.
M. Yokoo and K. Hirayama. Distributed constraint satisfaction algorithm for complex local problems. Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS-98), Paris, pages 372–379, 1998.
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., Jannach, D., Zanker, M. (2001). Distributed Configuration as Distributed Dynamic Constraint Satisfaction. In: Monostori, L., Váncza, J., Ali, M. (eds) Engineering of Intelligent Systems. IEA/AIE 2001. Lecture Notes in Computer Science(), vol 2070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45517-5_48
Download citation
DOI: https://doi.org/10.1007/3-540-45517-5_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42219-8
Online ISBN: 978-3-540-45517-2
eBook Packages: Springer Book Archive