Skip to main content

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

  • Somwrita Sarkar (a1), Andy Dong (a1) and John S. Gero (a2)

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.

Hide All
Campbell, M.I., Cagan, J., & Kotovsky, K. (2003). The A-design approach to managing automated design synthesis. Research in Engineering Design 14(1), 1224.
Clancey, W. (1997). Situated Cognition: On Human Knowledge and Computer Representations. New York: Cambridge University Press.
Clancey, W. (1999). Conceptual Coordination. Hillsdale, NJ: Erlbaum.
Cross, N. (2004). Expertise in design: an overview. Design Studies 25(5), 447–441.
Deacon, T.W. (1997). The Symbolic Species: The Co-Evolution of Language and the Brain. London: Allen Lane (Penguin).
Dong, A. (2005). The latent semantic approach to studying design team communication. Design Studies 26(5), 445461.
Duffy, A.H.B., & Kerr, S.M. (1993). Customised perspectives of past designs from automated group rationalisations. Artificial Intelligence in Engineering 8, 183200.
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.
Gelsey, A., Schwabacher, M., & Smith, D. (1998). Using modeling knowledge to guide design space search. Artificial Intelligence 101(1), 3562.
Kalman, D. (1996). A singularly valuable decomposition: the SVD of a matrix. College Mathematics Journal 27(1), 223.
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.
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.
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.
Medland, A.J., & Mullineux, G. (2000). A decomposition strategy for conceptual design. Journal of Engineering Design 11(1), 316.
Mesulam, M.M. (1998). From sensation to cognition. Brain 121(6), 10131052.
Michelena, N.F., & Agogino, A.M. (1988). Multi-objective hydraulic cylinder design. Journal of Mechanisms, Transmissions and Automation in Design 110, 8187.
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.
Papalambros, P.Y., & Wilde, D.J. (2000). Principles of Optimal Design. New York: Cambridge University Press.
Rowles, C.M. (1999). System integration analysis of a large commercial aircraft engine. Master's thesis. Massachusetts Institute of Technology.
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.
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.
Simon, H.A. (1969/1981). The Sciences of the Artificial. Cambridge, MA: MIT Press.
Simon, H.A. (1995). Artificial intelligence: An empirical science. Artificial Intelligence 77(1), 95127.
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.
Strang, G. (1993). The fundamental theorem of linear algebra. American Mathematical Monthly 100(9), 848855.
Strang, G. (2003). Introduction to Linear Algebra. Wellesely, MA: Wellesley–Cambridge Press.
Wolfe, M.B.W., & Goldman, S.R. (2003). Use of latent semantic analysis for predicting psychological phenomenon. Behavior Research Methods 35, 2231.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

  • ISSN: 0890-0604
  • EISSN: 1469-1760
  • URL: /core/journals/ai-edam
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 4
Total number of PDF views: 26 *
Loading metrics...

Abstract views

Total abstract views: 209 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 17th August 2018. This data will be updated every 24 hours.