Modeling and solving distributed configuration problems: A CSP-based approach

IEEE Transactions on Knowledge and Data Engineering

Volumn 25, Issue 3, 2013, Pages 603-618

  Jannach, Dietmar ^a   Zanker, Markus ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF KLAGENFURT   (Austria)

Author keywords

distributed constraint satisfaction; Product configuration

Indexed keywords

ARTIFICIAL INTELLIGENCE TECHNIQUES; AUTOMATIC COMPLETION; CENTRALIZED APPROACHES; COMPLEX CONSTRAINTS; CONSTRAINT SATISFACTION; CUSTOMIZABLE; DISTRIBUTED APPROACHES; DISTRIBUTED CONFIGURATION; DISTRIBUTED CONSTRAINT SATISFACTION; DISTRIBUTED PROBLEM SOLVING; EXPERIMENTAL EVALUATION; INHERENT COMPLEXITY; KNOWLEDGE MODELING; MULTI-SITE; PARTIAL CONFIGURATION; PRODUCT CONFIGURATION;

SUPPLY CHAINS;

PROBLEM SOLVING;

EID: 84873322758     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2011.236     Document Type: Article

References (57)

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. (Pubitemid 34110158)
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. (Pubitemid 33371135)
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. Chaibdraa, "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. (Pubitemid 128574933)
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. (Pubitemid 32021918)
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. (Pubitemid 32833096)
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. (Pubitemid 33347337)
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. (Pubitemid 43897875)
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. (Pubitemid 21691921)
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. (Pubitemid 128508222)
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. (Pubitemid 128508218)
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. (Pubitemid 33371081)
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. (Pubitemid 128508220)
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. (Pubitemid 40963798)
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. (Pubitemid 128751995)
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.