The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (2013 vol.25)
pp: 603-618
Dietmar Jannach , TU Dortmund, Dortmund
Markus Zanker , Alpen-Adria-Universität Klagenfurt, Klagenfurt
ABSTRACT
Product configuration can be defined as the task of tailoring a product according to the specific needs of a customer. Due to the inherent complexity of this task, which for example includes the consideration of complex constraints or the automatic completion of partial configurations, various Artificial Intelligence techniques have been explored in the last decades to tackle such configuration problems. Most of the existing approaches adopt a single-site, centralized approach. In modern supply chain settings, however, the components of a customizable product may themselves be configurable, thus requiring a multisite, distributed approach. In this paper, we analyze the challenges of modeling and solving such distributed configuration problems and propose an approach based on Distributed Constraint Satisfaction. In particular, we advocate the use of Generative Constraint Satisfaction for knowledge modeling and show in an experimental evaluation that the use of generic constraints is particularly advantageous also in the distributed problem solving phase.
INDEX TERMS
Problem-solving, Object oriented modeling, Knowledge based systems, Ontologies, Unified modeling language, distributed constraint satisfaction, Product configuration
CITATION
Dietmar Jannach, Markus Zanker, "Modeling and Solving Distributed Configuration Problems: A CSP-Based Approach", IEEE Transactions on Knowledge & Data Engineering, vol.25, no. 3, pp. 603-618, March 2013, doi:10.1109/TKDE.2011.236
REFERENCES
[1] A. Armstrong and E.F. Durfee, "Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems," Proc. Int'l Joint Conf. Artificial Intelligence (IJCAI '97), pp. 620-625, 1997.
[2] L. Ardissono, A. Felfernig, G. Friedrich, A. Goy, D. Jannach, G. Petrone, R. Schäfer, and M. Zanker, "A Framework for the Development of Personalized, Distributed Web-Based Configuration Systems," Artificial Intelligence Magazine, vol. 24, no. 3, pp. 93-108, 2003.
[3] J. Amilhastre, H. Fargier, and P. Marquis, "Consistency Restoration and Explanations in Dynamic CSPs Application to Configuration," Artificial Intelligence, vol. 135, nos. 1/2, 199-234, 2002.
[4] H.R. Andersen, T. Hadzic, and D. Pisinger, "Interactive Cost Configuration over Decision Diagrams," J. Artificial Intelligence Research, vol. 37, pp. 99-140, 2010.
[5] C. Bessière, A. Maestre, and P. Meseguer, "Distributed Dynamic Backtracking," Proc. Seventh Int'l Conf. Principles and Practice of Constraint Programming (CP '01), p. 772, 2001.
[6] V.E. Barker, D.E. O'Connor, J.D. Bachant, and E. Soloway, "Expert Systems for Configuration at Digital: XCON and Beyond," Comm. ACM, vol. 32, no. 3, pp. 298-318, 1989.
[7] H. Benameur, S. Vaucher, R. Gerín-Lajoie, P. Kropf, and B. Chaib-draa, "Towards an Agent-Based Approach for Multimarket Package E-Procurement," Proc. Int'l Conf. Electronic Commerce Research (ICECR-5), 2002.
[8] C. Collin, R. Dechter, and S. Katz, "On the Feasibility of Distributed Constraint Satisfaction," Proc. 12th Int'l Joint Conf. Artificial Intelligence (IJCAI '91), pp. 318-324, 1991.
[9] R. Dechter and A. Dechter, "Belief Maintenance in Dynamic Constraint Networks," Proc. Am. Assoc. for Artificial Intelligence (AAAI '98), pp. 37-42, 1988.
[10] C. Domshlak, F. Rossi, K.B. Venable, and T. Walsh, "Reasoning about Soft Constraints and Conditional Preferences: Complexity Results and Approximation Techniques," Proc. Int'l Joint Conf. Artificial Intelligence (IJCAI '03), pp. 215-220, 2003.
[11] F. Eizaguirre, M. Zangitu, K. Intxausti, and J. de Sosa, "A CSP Based Distributed Product Configuration System," Proc. Workshop Configuration Systems European Conf. Artificial Intelligence (ECAI '08), pp. 19-22, 2008.
[12] G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, "Configuring Large Systems Using Generative Constraint Satisfaction," IEEE Intelligent Systems and their Applications, vol. 13, no. 4, pp. 59-68, July/Aug. 1998.
[13] A. Felfernig, G. Friedrich, and D. Jannach, "UML as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems," Int'l J. Software Eng. Knowledge, vol. 10, pp. 449-469, 2000.
[14] A. Felfernig, G. Friedrich, and D. Jannach, "Conceptual Modeling for Configuration of Mass-Customizable Products," Artificial Intelligence Eng., vol. 15, no. 2, pp. 165-176, 2001.
[15] A. Felfernig, G. Friedrich, D. Jannach, M. Stumptner, and M. Zanker, "Configuration Knowledge Representations for Semantic Web Applications," Artificial Intelligence for Eng. Design, Analysis and Manufacturing, vol. 17, pp. 31-50, 2003.
[16] A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner, "Consistency-Based Diagnosis of Configuration Knowledge Bases," Artificial Intelligence, vol. 152, pp. 213-234, 2004.
[17] A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker, "Towards Distributed Configuration," Proc. Advances in Artificial Intelligence Conf. (KI '01), vol. 2174, pp. 198-212, 2001.
[18] A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker, "Multi-Site Product Configuration of Telecommunication Switches," Int'l J. Computing, vol. 1, no. 2, 2002.
[19] A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker, "Semantic Configuration Web Services in the CAWICOMS Project," Proc. First Int'l Semantic Web Conf. The Semantic Web (ISWC '02), pp. 192-205, 2002.
[20] X. Fu and S. Li, "Multi-Ontology Based System for Distributed Configuration," Proc. Eight Int'l Conf. Computer Supported Cooperative Work in Design, vol. 3168, pp. 199-210, 2005.
[21] X. Fu and S. Li, "Towards a Knowledge-Based System of Distributed Configuration," Proc. Sixth Int'l Conf. Parallel and Distributed Computing Applications and Technologies (PDCAT '05), pp. 1024-1026, 2005.
[22] F. Frayman and S. Mittal, "Cossack: A Constraint-Based Expert System for Configuration Tasks," Knowledge-Based Expert Systems in Eng., Planning, and Design, D. Sriram and R.A. Adeypp, eds., pp. 143-166, Computational Mechanics, 1987.
[23] G. Gottlob, G. Greco, and T. Mancini, "Conditional Constraint Satisfaction: Logical Foundations and Complexity," Proc. 20th Int'l Joint Conf. Artificial Intelligence (IJCAI '07), pp. 88-93, 2007.
[24] A. García, K. O'Neill, L.J. García, P. Lord, R. Stevens, O. Corcho, and F. Gibson, "Developing Ontologies within Decentralised Settings," Semantic e-Science, Annals of Information Systems, vol. 11, pp. 99-139, 2010.
[25] A. Haselböck, "Exploiting Interchangeabilities in Constraint-Satisfaction Problems," Proc. 13th Int'l Joint Conf. Artificial Intelligence (IJCAI '03), pp. 282-289, 1993.
[26] A. Haselböck, "Knowledge-Based Configuration and Advanced Constraint Technologies," PhD thesis, Technische Universität Wien, 1993.
[27] A. Haug, "Managing Diagrammatic Models with Different Perspectives on Product Information," J. Intelligent Manufacturing, vol. 21, pp. 811-822, 2010.
[28] W. Havens, "Nogood Caching for Multiagent Backtrack Search," Proc. Agents Workshop Nat'l Conf. Artificial Intelligence (AAAI '97), 1997.
[29] M. Heinrich and W.E. Jüngst, "A Resource-Based Paradigm for the Configuring of Technical Systems from Modular Components," Proc. IEEE Seventh Conf. Artificial Intelligence Applications (CAIA '98), pp. 257-264, 1988.
[30] U. Junker and D. Mailharro, "Preference Programming: Advanced Problem Solving for Configuration," Artificial Intelligence for Eng. Design, Analysis and Manufacturing, vol. 17, no. 1, pp. 13-29, 2003.
[31] U. Junker, "Preference Programming for Configuration," Proc. Configuration Workshop Int'l Joint Conf. Artificial Intelligence (IJCAI '01), 2001.
[32] U. Junker, "QuickXPlain: Conflict Detection for Arbitrary Constraint Propagation Algorithms," Proc. Modeling and Solving Problems with Constraints Workshop (IJCAI '01), 2001.
[33] D. Mailharro, "A Classification and Constraint-Based Framework for Configuration," Artificial Intelligence for Eng. Design, Analysis and Manufacturing, vol. 12, no. 4, pp. 383-397, 1998.
[34] J. McDermott, "R1: A Rule-Based Configurer of Computer Systems," Artificial Intelligence, vol. 19, pp. 39-88, 1982.
[35] S. Mittal and F. Frayman, "Towards a Generic Model of Configuration Tasks," Proc. 11th Int'l Joint Conf. Artificial Intelligence (IJCAI '89), pp. 1395-1401, 1989.
[36] S. Mittal and B. Falkenhainer, "Dynamic Constraint Satisfaction Problems," Proc. Eighth Nat'l Conf. Artificial Intelligence (AAAI), pp. 25-32, 1990.
[37] D.L. McGuinness and J.R. Wright, "Conceptual Modelling for Configuration: A Description Logic-Based Approach," Artificial Intelligence for Eng. Design, Analysis and Manufacturing, vol. 12, no. 4, pp. 333-344, 1998.
[38] J.B. Pine, Mass Customization: The New Frontier in Business Competition. Harvard Business School Press, 1993.
[39] D. Sabin and E.C. Freuder, "Configuration as Composite Constraint Satisfaction," Proc. AI and Manufacturing Research Planning Workshop at Nat'l Conf. Artificial Intelligence (AAAI'96), 1996.
[40] M.-C. Silaghi and B. Faltings, "Asynchronous Aggregation and Consistency in Distributed Constraint Satisfaction," Artificial Intelligence, vol. 161, pp. 25-53, 2005.
[41] M. Stumptner, G. Friedrich, and A. Haselböck, "Generative Constraint-Based Configuration," Artificial Intelligence for Eng. Design, Analysis and Manufacturing, vol. 12, no. 4, pp. 307-320, 1998.
[42] T. Soininen, E. Gelle, and I. Niemelä, "A Fixpoint Definition of Dynamic Constraint Satisfaction," Proc. Seventh Int'l Conf. Principles and Practice of Constraint Programming (CP '99), pp. 419-433, 1999.
[43] M. Stumptner and A. Haselböck, "A Generative Constraint Formalism for Configuration Problems," Proc. Third Congress of the Italian Assoc. for Artificial Intelligence on Advances in Artificial Intelligence (AI∗IA '93), pp. 302-313, 1993.
[44] T. Soininen, I. Niemelä, J. Tiihonen, and R. Sulonen, "Unified Configuration Knowledge Representation Using Weight Constraint Rules," Proc. Configuration Workshop European Conf. Artificial Intelligence (ECAI '00), pp. 79-84, 2000.
[45] M.-C. Silaghi, D. Sam-Haroud, and B. Faltings, "Asynchronous Search with Aggregations," Proc. 17th Nat'l Conf. Artificial Intelligence (AAAI), pp. 917-922, 2000.
[46] M.-C. Silaghi, D. Sam-Haroud, and B.V. Faltings, "Maintaining Hierarchically Distributed Consistency," Proc. Seventh Int'l Conf. Principles and Practice of Constraint Programming DCS Workshop (CP '00), pp. 15-24, 2000.
[47] M.-C. Silaghi, D. Sam-Haroud, and B. Faltings, "ABT with Asynchronous Reordering," Proc. Intelligent Agent Technology Conf. (IAT), pp. 54-63, Oct. 2001.
[48] M.-C. Silaghi, D. Sam-Haroud, and B.V. Faltings, "Consistency Maintenance for ABT," Proc. Seventh Int'l Conf. Principles and Practice of Constraint Programming (CP '01), pp. 271-285, 2001.
[49] T. Soininen, J. Tiihonen, T. Männistö, and R. Sulonen, "Towards a General Ontology of Configuration," Artificial Intelligence for Eng. Design, Analysis and Manufacturing, vol. 12, pp. 357-372, 1998.
[50] N. Staudenmayer, M. Tripsas, and C.L. Tucci, "Inter-firm Modularity and the Implications for Product Development," J. Product Innovation Management, vol. 22, no. 4, pp. 303-321, 2005.
[51] M. Yokoo, E.H. Durfee, T. Ishida, and K. Kuwabara, "Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving," Proc. 12th Int'l Conf. Distributed Computing Systems (ICDCS '92), pp. 614-621, 1992.
[52] M. Yokoo, E.H. Durfee, T. Ishida, and K. Kuwabara, "The Distributed Constraint Satisfaction Problem: Formalization and Algorithms," IEEE Trans Knowledge Data Eng., vol. 10, no. 5, pp. 673-685, Sept./Oct. 1998.
[53] D. Yang, M. Dong, and R. Miao, "Development of a Product Configuration System with an Ontology-Based Approach," Computer-Aided Design, vol. 40, no. 8, pp. 863-878, 2008.
[54] M. Yokoo and K. Hirayama, "Algorithms for Distributed Constraint Satisfaction: A Review," Autonomous Agents and Multi-Agent Systems, vol. 3, pp. 185-207, 2000.
[55] D. Yang, R. Miao, H. Wu, and Y. Zhou, "Product Configuration Knowledge Modeling Using Ontology Web Language," Expert Systems with Applications, vol. 36, pp. 4399-4411, 2009.
[56] M. Yokoo, "Asynchronous Weak-Commitment Search for Solving Large-Scale Distributed Constraint Satisfaction Problems," Proc. Int'l Conf. Multi-Agent Systems (ICMAS '95), pp. 467-318, 1995.
[57] M. Zanker, D. Jannach, M.-C. Silaghi, and G. Friedrich, "A Distributed Generative CSP Framework for Multi-Site Product Configuration," Proc. 12th Int'l Workshop Cooperative Information Agents, pp. 131-146, 2008.
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool