Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-23T17:58:22.805Z Has data issue: false hasContentIssue false

Learning symbolic formulations in design: Syntax, semantics, and knowledge reification

Published online by Cambridge University Press:  29 January 2010

Somwrita Sarkar
Affiliation:
Design Lab, Faculty of Architecture, Design and Planning, University of Sydney, Sydney, Australia
Andy Dong
Affiliation:
Design Lab, Faculty of Architecture, Design and Planning, University of Sydney, Sydney, Australia
John S. Gero
Affiliation:
Volgenau School of Information Technology and Engineering, George Mason University, Arlington, Virginia, USA

Abstract

An artificial intelligence (AI) algorithm to automate symbolic design reformulation is an enduring challenge in design automation. Existing research shows that design tools either require high levels of knowledge engineering or large databases of training cases. To address these limitations, we present a singular value decomposition (SVD) and unsupervised clustering-based method that performs design reformulation by acquiring semantic knowledge from the syntax of design representations. The development of the method was analogically inspired by applications of SVD in statistical natural language processing and digital image processing. We demonstrate our method on an analytically formulated hydraulic cylinder design problem and an aeroengine design problem formulated using a nonanalytic design structure matrix form. Our results show that the method automates various design reformulation tasks on problems of varying sizes from different design domains, stated in analytic and nonanalytic representational forms. The behavior of the method presents observations that cannot be explained by pure symbolic AI approaches, including uncovering patterns of implicit knowledge that are not readily encoded as logical rules, and automating tasks that require the associative transformation of sets of inputs to experiences. As an explanation, we relate the structure and performance of our algorithm with findings in cognitive neuroscience, and present a set of theoretical postulates addressing an alternate perspective on how symbols may interact with each other in experiences to reify semantic knowledge in design representations.

Type
Special Issue Articles
Copyright
Copyright © Cambridge University Press 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Campbell, M.I., Cagan, J., & Kotovsky, K. (2003). The A-design approach to managing automated design synthesis. Research in Engineering Design 14(1), 1224.CrossRefGoogle Scholar
Clancey, W. (1997). Situated Cognition: On Human Knowledge and Computer Representations. New York: Cambridge University Press.Google Scholar
Clancey, W. (1999). Conceptual Coordination. Hillsdale, NJ: Erlbaum.CrossRefGoogle Scholar
Cross, N. (2004). Expertise in design: an overview. Design Studies 25(5), 447–441.CrossRefGoogle Scholar
Deacon, T.W. (1997). The Symbolic Species: The Co-Evolution of Language and the Brain. London: Allen Lane (Penguin).Google Scholar
Dong, A. (2005). The latent semantic approach to studying design team communication. Design Studies 26(5), 445461.CrossRefGoogle Scholar
Duffy, A.H.B., & Kerr, S.M. (1993). Customised perspectives of past designs from automated group rationalisations. Artificial Intelligence in Engineering 8, 183200.CrossRefGoogle Scholar
Ellman, T., Keane, J., Banerjee, A., & Armhold, G. (1998). A transformation system for interactive reformulation of design optimization strategies. Research in Engineering Design 10(1), 3061.CrossRefGoogle Scholar
Gelsey, A., Schwabacher, M., & Smith, D. (1998). Using modeling knowledge to guide design space search. Artificial Intelligence 101(1), 3562.CrossRefGoogle Scholar
Kalman, D. (1996). A singularly valuable decomposition: the SVD of a matrix. College Mathematics Journal 27(1), 223.CrossRefGoogle Scholar
Landauer, T.K., & Dumais, S.T. (1997). A solution to Plato's problem: the latent semantic analysis theory of acquisition, induction and representation of knowledge. Psychological Review 104(2), 211240.CrossRefGoogle Scholar
Li, C., & Li, S. (2005). Analysis of decomposability and complexity for design problems in the context of decomposition. Journal of Mechanical Design 127(4), 545557.Google Scholar
Liu, L., Hawkins, D.M., Ghosh, S., & Young, S. (2003). Robust singular value decomposition analysis of microarray data. Proceedings of the National Academy of Sciences of the United States of America 100(23), 1316713172.CrossRefGoogle ScholarPubMed
Medland, A.J., & Mullineux, G. (2000). A decomposition strategy for conceptual design. Journal of Engineering Design 11(1), 316.CrossRefGoogle Scholar
Mesulam, M.M. (1998). From sensation to cognition. Brain 121(6), 10131052.CrossRefGoogle ScholarPubMed
Michelena, N.F., & Agogino, A.M. (1988). Multi-objective hydraulic cylinder design. Journal of Mechanisms, Transmissions and Automation in Design 110, 8187.CrossRefGoogle Scholar
Michelena, N.F., & Papalambros, P.Y. (1997). A hypergraph framework for optimal model-based decomposition of design problems. Computational Optimization and Applications 8(2), 173196.CrossRefGoogle Scholar
Papalambros, P.Y., & Wilde, D.J. (2000). Principles of Optimal Design. New York: Cambridge University Press.CrossRefGoogle Scholar
Rowles, C.M. (1999). System integration analysis of a large commercial aircraft engine. Master's thesis. Massachusetts Institute of Technology.Google Scholar
Sarkar, S., Dong, A., & Gero, J.S. (2008). A learning and inference mechanism for design optimization problem (re)formulation using singular value decomposition. Proc. ASME Design Theory and Methodology Conf., Paper No. DETC08-49147. New York: ASME.Google Scholar
Schwabacher, M., Ellman, T., & Hirsh, H. (1998). Learning to set up numerical optimizations of engineering designs. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12(2), 173192.CrossRefGoogle Scholar
Simon, H.A. (1969/1981). The Sciences of the Artificial. Cambridge, MA: MIT Press.Google Scholar
Simon, H.A. (1995). Artificial intelligence: An empirical science. Artificial Intelligence 77(1), 95127.CrossRefGoogle Scholar
Sosa, M.E., Eppinger, S.D., & Rowles, C.M. (2003). Identifying modular and integrative systems and their impact on design team interactions. Journal of Mechanical Design 125, 240252.CrossRefGoogle Scholar
Strang, G. (1993). The fundamental theorem of linear algebra. American Mathematical Monthly 100(9), 848855.CrossRefGoogle Scholar
Strang, G. (2003). Introduction to Linear Algebra. Wellesely, MA: Wellesley–Cambridge Press.Google Scholar
Wolfe, M.B.W., & Goldman, S.R. (2003). Use of latent semantic analysis for predicting psychological phenomenon. Behavior Research Methods 35, 2231.Google Scholar