Abstract
Grammars have been used for the generation of various product designs (e.g. coffeemakers, transmission towers, etc.). Like any other formal language in computer science, the correctness of the designs generated during the translation process possesses the three distinct aspects of syntax, semantic and pragmatic. While compilers can check the syntax and can guarantee the pragmatic correctness by constraint processing, the core question of the semantic correctness was still unresolved. In this work the semantic correctness is achieved through the introduction of the concept of a semantic hull for the language vocabulary. This allows to establish a semantic validation scheme for graph-based engineering design grammars despite the fact that computers are per se incapable of processing semantics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abelson, H and diSessa, A: 1984, Turtle Geometry, MIT Press, Cambridge.
Alber, R and Rudolph, S: 2002, On a grammar-based design language that supports automated design generation and creativity, Proceedings IFIP WG5.2 Workshop on Knowledge Intensive CAD (KIC-5), Malta, Malta.
Antonsson, E and Cagan, J (eds): 2001, Formal Engineering Design Synthesis, Cambridge University Press, Cambridge.
Agrawal, M and Cagan, J: 1997, Shape grammars and their languages–a methodology for product design and representation, ASMS Design Engineering Technical Conferences and Computers in Engineering Conference, DETC97/DTM-3867.
Agrawal, M and Cagan, J: 1998, A blend of different tastes: the language of coffeemakers, Environment and Planning B: Planning and Design 25(2): 205–226.
Chomsky, N: 2000, The Architecture of Language, Oxford University Press, Oxford.
Fensel, D: 2004, Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce, Springer, Berlin.
Ganter, B and Wille, R: 1996, Formale Begriffsanalyse, Springer, Berlin. (Also : Ganter, B and Wille, R: 1999, Formal Concept Analysis, Springer, New York.)
Haq, M and Rudolph, S: 2004, “EWS-Car”–Eine Entwurfssprache für den Fahrzeugkonzeptentwurf. VDI Bericht 1846, Verein Deutscher Ingenieure VDI, Düsseldorf.
Horstmannshoff, J: 2002, System Synthesis of Complex Building Blocks from Multirate Dataflow Descriptions, PhD Thesis Technical University of Aachen, Shaker, Aachen.
IILS Ingenieurgesellschaft für Intelligente Lösungen und Systeme mbH: 2005, Design Compiler 43 and Entwurfscompiler 43 are trademarks of IILS mbH. Available Online: http://www.iils.de.
Pohlers, W: 1989, Proof theory. An introduction, Lecture Notes Mathematics 1407.
Prusinkiewicz, P and Lindenmayer, A: 1996, The Algorithmic Beauty of Plants, Springer.
Rudolph, S: 2002, Übertragung von Ähnlichkeitsbegriffen. Habilitationsschrift, Fakultät Luft-u nd Raumfahrttechnik und Geodäsie, Universität Stuttgart.
Rudolph, S: 2003, Aufbau und Einsatz von Entwurfssprachen fur den wissensbasierten Ingenieurentwurf. 3. Forum Knowledge-Based Engineering, Stuttgart.
Sabatzus, P: 1996: Available Online: www.math.tuwien.ac.at/~sleska/html/w95html/mathlb95/mathlb95.htm
Schaefer, J and Rudolph, S: 2005, Satellite design by design grammars, Aerospace, Science and Technology (AST) 9(1): 81–91.
Schmidt, L and Cagan, J: 1996, Grammars for machine design, in JS Gero and F Sudweeks (eds), Artificial Intelligence in Design, Kluwer Academic Press, pp. 325–344.
Schmidt, L, Shetty, H and Chase, S: 1998, A graph grammar approach for structure synthesis of mechanisms, Proceedings 1998 ASME Design Engineering Technical Conferences, DETC98/DTM-5668.
Schöning, U: 2002, Ideen der Informatik, Oldenbourg, München.
Shea, K and Smith, I: 1999, Applying shape annealing to full-scale transmission tower redesign, Proceedings of the 1999 ASME Design Engineering Technical Conferences and Computers in Engineering Conference, Las Vegas, NV, DETC99/DAC-8681.
Shea, K and Cagan, J: 1998, Topology design of truss structures by shape annealing, Proceedings of the 1998 ASME Design Engineering Technical Conferences and Computers in Engineering Conference, DETC98/DAC-5624, Atlanta, GA.
Stiny, G: 1980, An introduction to shape and shape grammars, Environment and Planning B: Planning and Design 4: 89–98.
Synopsis Inc: 2004, Design Compiler, Available Online: http://www.synopsis.com.
VDI-Richtlinie 2221: 1986, Methodik zum Entwickeln und Konstruieren technischer Systeme und Produkte. VDI-Verlag, Düsseldorf.
VDI-Richtlinie 2230: 2003, Systematische Berechnung hochbeanspruchter Schraubenver bin-dungen. Blatt 1, VDI-Verlag, Düsseldorf.
Wolter, H: 2001, Lexikon der Mathematik, Band 1 (A bis Eif), Eintrag Beweismethoden: (4. Induktionsbeweis). Spektrum Akademischer Verlag, Heidelberg.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this paper
Cite this paper
RUDOLPH, S. (2006). A SEMANTIC VALIDATION SCHEME FOR GRAPH-BASED ENGINEERING DESIGN GRAMMARS. In: GERO, J.S. (eds) Design Computing and Cognition ’06. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-5131-9_28
Download citation
DOI: https://doi.org/10.1007/978-1-4020-5131-9_28
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-5130-2
Online ISBN: 978-1-4020-5131-9
eBook Packages: EngineeringEngineering (R0)