Part-selection triptych: A representation, problem properties and problem definition, and problem-solving method

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM

Volumn 14, Issue 1, 2000, Pages 39-51

  Darr, Timothy P ^a,b   Birmingham, William P ^a,c  

^a University of Michigan   (United States)

^b Trilogy Development Group   (United States)

^c UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER AIDED DESIGN; CONSTRAINT THEORY; PROBLEM SOLVING;

CONSTRAINT SATISFACTION; PART SELECTION PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0033751926     PISSN: 08900604     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0890060400141046     Document Type: Article

References (37)

1. Benhamou, F., McAllester, D., & Van Hentenryck, P. (1994). CLP (intervals) revisited. Report CS-94-18. Brown University, Providence, Rhode Island.
2. Bowen, J. & Bahler, D. (1991). Conditional existence of variables in generalized constraint networks. Proc. Ninth National Conf. on AI, pp. 215-220. Anaheim, California.
3. Bradley, S.R. & Agogino, A.M. (1993). Computer-assisted catalog selection with multiple objectives. Proc. Design Theory and Methodolog-ASME 1993, 139-147.
4. Carlson, B., Carlsson, M., & Diaz, D. (1994). Entailment of finite domain constraints. Proc. Eleventh Int. Conf. of Logic Programming, MIT Press.
5. Colton, J.S. & Ouellette, M.P. (1993). A form verification system for the conceptual design of complex mechanical systems. Proc. ASME Advances in Design Automation (DE-Vol. 65-1), pp. 97-108. ASME, Albuquerque, New Mexico.
6. Darr, T. (1997). A multi-attribute, interval distributed constraint-satisfaction problem approach to solving part-selection problems (PhD Thesis). The University of Michigan, Michigan.
7. Darr, T.P., Birmingham, W.P., & Scala, N. (1998). A MAD approach to solving part-selection problems. In Artificial Intelligence in Design, pp. 251-270. Lisbon, Portugal.
8. Darr, T.P. & Dym, C.L. (1997). Configuration design: An overview. In The Handbook of Applied Expert Systems, (Liebowitz, J., Ed.), Chapter 21, pp. 21-1-21-15. CRC Press, Florida.
9. Davis, E. (1987). Constraint propagation with interval labels. Artificial Intelligence 32(3), 281-331.
10. Dechter, R., Meiri, I., & Pearl, J. (1991). Temporal constraint networks. Artificial Intelligence 49(1-3), 61-95.
11. de Kleer, J. & Brown, J.S. (1984). A qualitative physics based on confluences. Artificial Intelligence 24(3), 7-83.
12. Faltings, B. (1994). Arc-consistency for continuous variables. Artificial Intelligence 65(2), 363-376.
13. Finch, W.W. & Ward, A.C. (1995). Generalized set-propagation operations over relations of more than three variables. AIEDAM 9(3), 231-242.
14. Fishburn, P.C. (1970). Utility Theory and Decision Making. John Wiley & Sons, Inc., New York.
15. Freuder, E.C. (1978). Synthesizing constraint expressions. Communications of the ACM 21(11), 958-966.
16. Gupta, A.P., Birmingham, W.P., & Siewiorek, D.P. (1993). Automating the design of computer systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 12(4), 473-487.
17. Haworth, M.S., Birmingham, W.P., & Haworth, D.E. (1993). Optimal part selection. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 12(10), 1611-1617.
18. Hyvonen, E. (1992). Constraint reasoning based on interval arithmetic: The tolerance propagation approach. Artificial Intelligence 58(1-3), 71-112.
19. Kota, S. & Lee, C.-L. (1993). General framework for configuration design: Part 1 - Methodology. Journal of Engineering Design 4(4), 277-289.
20. Lyon, T.D. & Mistree, F. (1985). A computer-based method for the preliminary design of ships. Journal of Ship Research 29(4), 251-269.
21. Mackworth, A.K. (1977). Consistency in networks of relations. Artificial Intelligence 8(1), 99-118.
22. Mackworth, A.K. & Freuder, E.C. (1985). The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence 25(1), 65-74.
23. Marcus, S., Stout, J., & McDermott, J. (1988). VT: An expert elevator designer that uses knowledge-based backtracking. AI Magazine 9, 95-112.
24. Mistree, F., Patel, B., & Vadde, S. (1994). On modeling multiple objectives and multi-level decisions in concurrent design. Proc. Advances in Design Automation (DE-Vol. 69-2), pp. 151-161. ASME, Minneapolis, Minnesota.
25. Mittal, S. & Falkenhainer, B. (1990). Dynamic constraint satisfaction problems. Proc. Eighth National Conf. on Artificial Intelligence (AAAI-90), 25-32.
26. Mittal, S. & Frayman, F. (1987). COSSACK: A constraints-based expert system for configuration tasks. Proc. Second Int. Conf. on Applications of AI to Engineering, Boston, Massachusetts.
27. Mittal, S. & Frayman, F. (1989). Towards a generic model of configuration tasks. Proc. Eleventh Int. Joint Conf. on Artificial Intelligence (IJCAI-89), pp. 1395-1401. Morgan Kaufmann, Detroit, Michigan.
28. Navinchandra, D. & Rinderle, J.R. (1990). Interval approaches for concurrent evaluation of design constraints. Winter Annual Meeting of the ASME Symposium on Concurrent Product and Process Design DE-Vol. 21, 101-108.
29. Rahmer, J. & Voss, A. (1998). Supporting explorative configuration. In Artificial Intelligence in Design, pp. 483-498. Lisbon, Portugal.
30. Schreiber, A.T. & Birmingham, W.P. (Eds.). (1996). Special Issue: The sisyphus-VT Initiative. International Journal of Human-Computer Studies 44. Academic Press, London
31. Sussman, G.J. & Steele, G.L. (1980). CONSTRAINTS - A language for expressing almost-hierarchical descriptions. Artificial Intelligence 14, 1-39.
32. Umeda, Y., Takeda, H., Tomiyama, T., & Yoshikawa, H. (1990). Function, behavior, and structure. Proc. Applications of AI in Engineering V, 177-193. Boston, Massachusetts.
33. van Beek, P. (1992a). On the minimality and decomposability of constraint networks. Proc. Tenth National Conf. on Artificial Intelligence (AAAI-92), 447-452.
34. van Beek, P. (1992b). Reasoning about qualitative temporal information. Artificial Intelligence 58, 297-326.
35. Van Hentenryck, P., Deville, Y., & Teng, C.-M. (1992). A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57(2-3), 291-321.
36. Van Hentenryck, P. & Michel, L. (1995). Helios: A modeling language for nonlinear constraint solving and global optimization using interval analysis. Report CS-95-33. Brown University, Providence, Rhode Island.
37. Yost, G.R. & Rothenfluh, T.R. (1996). Configuring elevator systems. International Journal of Human-Computer Studies 44(3/4), 521-568.