Generative constraint-based configuration of large technical systems

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM

Volumn 12, Issue 4, 1998, Pages 307-320

  Stumptner, Markus ^a   Friedrich, Gerhard E ^b   Haselböck, Alois ^c  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF KLAGENFURT   (Austria)

^c SIEMENS AG ÖSTERREICH   (Austria)

Author keywords

Configuration; Generative Constraint Satisfaction

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; KNOWLEDGE BASED SYSTEMS; LARGE SCALE SYSTEMS; OBJECT ORIENTED PROGRAMMING;

DECLARATIVE REPRESENTATIONS; GENERATIVE CONSTRAINT SATISFACTION; SOFTWARE PACKAGE COCOS;

SYSTEMS ENGINEERING;

EID: 0032157642     PISSN: 08900604     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0890060498124046     Document Type: Article

References (25)

1. Barker, V., & O'Connor, D. (1989). Expert systems for configuration at Digital: XCON and beyond. Comm. ACM 32(3), 298-318.
2. Birmingham, W.P. Gupta, A.P., & Siewiorek, D P. (1989). The MICON system for computer design. IEEE Micro 9(5), 61-67.
3. Bowen, J. (1985). Automated configuration using functional reasoning approach. Proc. AISB, pp. 79-106. John Wiley & Sons.
4. Bowen, J., & Bahler, D. (1991). Conditional existence of variables in generalized constraint networks Proc. AAAI, pp 215-220.
5. Brown, D.C., & Chandrasekaran, B (1989). Design Problem Solving Knowledge Structures and Control Strategies. Wiley.
6. Cunis, R., Günter. A., Syska, I., Bode, H., & Peters, H. (1989). PLAKON An approach to domain-independent construction. Proc. IEA/AIE Conf., Tennessee, UTSI.
7. Dechter, R., & Meiri, I. (1989). Experimental evaluation of preprocessing techniques in constraint satisfaction problems. Proc. Eleventh IJCAI, pp. 271-277.
8. Fleischanderl, G., & Haselböck, A. (1996) Thoughts on partitioning large-scale configuration problems. In Tech Reports FS96-03 AAAI Press, AAAI Fall Symposium on Configuration, Boston, Massachusetts.
9. Frayman, F., & Mittal, S. (1987). COSSACK: A constraint-based expert system for configuration tasks. In Knowledge-Based Expert Systems in Engineering, Planning, and Design, (Sriram, D. and Adey, R.A.,Eds.), pp. 631-636.
10. Heinrich, M., & Jüngst, E.W. (1991). A resource-based paradigm for the configuring of technical systems from modular components. Proc. Seventh IEEE Conf. on AI Applications (CAIA), pp. 257-264.
11. Klein, R., Buchheit, M., & Nutt, W. (1994). Configuration as model construction: The constructive problem solving approach. Proc. Artificial Intelligence in Design '94, pp. 201-218.
12. Marcus, S., Stout, J., & McDermott, J. (1988). VT: An expert elevator designer that uses knowledge-based backtracking. AI Magazine 9(2), 95-111.
13. McDermott, J. (1982). R1: A rule-based configurer of computer systems. Artificial Intelligence 19, 39-88.
14. Minton, S , Johnston, M.D., Philips, A.B., & Laird, P. (1992). Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence 58, 161-205.
15. Mittal, S., & Araya, A (1986). A knowledge-based framework for design. Proc. AAAI, pp. 856-865.
16. Mittal, S., & Frayman, F. (1987). Making partial choices in constraint reasoning problems. Proc AAAI, pp. 631-636.
17. Mittal, S., & Frayman, F. (1989). Towards a generic model of configuration tasks. Proc. Eleventh IJCAI, pp. 1395-1401. Morgan Kaufmann Publishers, Inc., Los Altos, California.
18. Mittal, S., & Falkenhainer, B. (1990). Dynamic constraint satisfaction problems. Proc. AAAI Conf., pp. 25-32.
19. Runkel, J.T., Balkany, A., & Birmingham, W.P. (1994). Generating non-brittle configuration-design tools. Proc. Artificial Intelligence in Design '94, pp. 183-200.
20. Schreiber, A.Th., & Birmingham, W.P. (1996). The Sisyphus-VT initiative. Special Issue, Int. J. Human-Computer Studies, 44.
21. Searls, D.B., & Norton, L.M. (1990). Logic-based configuration with a semantic network. Journal of Logic Programming 8, 53-73.
22. Steinberg, L., Langrana, N., & Fisher, G. (1989). MEET: Decomposition and constraint propagation in mechanical design. Technical Report WP-TR-121, Rutgers University.
23. Stumptner, M., & Haselböck, A. (1993). A generative constraint formalism for configuration problems. In 3rd Congress Italian Assoc. for AI, Volume 729 of Lecture Notes in AI (Torasso, P., Ed.), pp. 302-313. Springer-Verlag, Turin, Italy.
24. Wright, J.R., Weixelbaum, E.S., Brown, K., Vesonder, G.T., Palmer, S.R., Berman, J.I., & Moore, H.G. (1993). A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T network systems. Proc Fifth Conf. on Innovative Applications of AI. AAAI Press.
25. Yokoyama, T. (1990). An object-oriented and constraint-based knowledge representation system for design object modeling. Proc. Sixth CAIA, pp. 146-152.