Abstract
A grammar formalism for generating parametric objects is presented. The objects have differing topologies, complete with constraints which, when satisfied, ensure that design specifications are met. The representation is based on recursively-defined structures of attributes, values and constraint expressions. In the rewrite operations of the grammar, pattern matching is replaced by constraint structure unification, which preserves and combines constraint expressions. The generated objects consist of structures with declarative constraints ranging over the complete parse tree for the generation. A grammar specifying a simple mechanical design problem is discussed, followed by an example generation of an object in the language.
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
Bond, A. H. and Ricci, R. J.: 1992, Co-operation in aircraft design, Research in Engineering Design, 4, 115–130.
Brown, K. N.: 1993, Tyugu’s shaft example as constraint structure unification, Internal Report, Department of Engineering Mathematics, University of Bristol.
Brown, K. N., Sims Williams, J. H. and McMahon, C. A.: 1992, Grammars of features in design, in Gero, J. S. (ed.), Artificial Intelligence in Design ’92, Kluwer, Dordrecht, pp. 287–306.
Brown, K. N., McMahon, C. A. and Sims Williams, J. H.: 1993a, A formal language for the design of manufacturable objects, in Gero, J S. and Sudweeks, F. (eds), Preprints Formal Design Methods for Computer-Aided Design, University of Sydney and IFIP, Sydney, pp. 117–137.
Brown, K. N., McMahon, C. A. and Sims Williams, J. H.: 1993b, The role of formal grammars in the engineering design process, Internal Report, Department of Engineering Mathematics, University of Bristol.
Carlson, C.: 1993, A tutorial introduction to grammatical programming, in Gero, J. S. and Sudweeks, F. (eds), Preprints Formal Design Methods for CAD, University of Sydney and IFIP, Sydney, pp. 69–78.
Corne, D., Smithers, T. and Ross, P.: 1993, Solving design problems by computational exploration, in Gero, J. S. and Sudweeks, F. (eds), Preprints Formal Design Methods for CAD, University of Sydney and IFIP, Sydney, pp. 249–270.
Fitzhorn, P. A.: 1989, A computational theory of design, Preprints NSF Engineering Design Research Conference, College of Engineering, University of Massachusetts at Amherst.
Flemming, U.: 1987, More Than The Sum Of Their Parts: The grammar of Queen Anne Houses, Environment and Planning B, 14, 323–350.
Godden, K.: 1991, Feature-based design evaluation through constraint structure unification, Proceedings IEEE International Conference on Tools for AI, San Jose, CA, pp.119-124.
Godden, K.: 1992, A theory of constraint structure unification for feature-based design evaluation, Research Publication GMR-7607, General Motors Research Laboratories, 30500 Mound Road, PO Box 9055, Warren, MI 48090-9055.
Heisserman, J. and Woodbury, R.: 1993, Geometric design with boundary solid grammars, in Gero, J. S. and Sudweeks, F. (eds), Preprints Formal Design Methods for CAD, University of Sydney and IFIP, Sydney, pp. 79–100.
Knuth, D.: 1968. Semantics of context-free languages, Mathematical Systems Theory, 2(2), 127–145.
McMahon, C. A., Sims Williams, J. H. and Brown, K. N.: 1993, A transformation model for the integration of design computing, International Conference on Engineering Design (ICED ’93), The Hague, August.
Penjam, J.: 1990, Computational and attribute models of formal languages, Theoretical Computer Science 71, pp. 241–26
Rinderle, J. R.: 1991, Grammatical approaches to engineering design, Part II: Melding configuration and parametric design using attribute grammars, Research in Engineering Design, 2(3), 137–146.
Shieber, S. M.: 1986, An introduction to unification-Based approaches to grammar, CSLI Lecture Notes 4, Stanford, CA.
Stiny, G. and Mitchell, W. J.: 1978, The Palladian Grammar, Environment and Planning B, 5, 5–18.
Stiny, G.: 1980, Introduction to shape and shape grammars, Environment and Planning B, 7, 343–351.
Stiny, G. and March, L.: 1981, Design machines, Environment and Planning B, 8, 245–255.
Stiny, G.: 1991, The algebras of design, Research in Engineering Design, 2(3), 171–181.
Stiny, G.: 1981, A note on the description of designs, Environment and Planning B, 8, 257–267.
Stiny G. 1992 Weights Environment and Planning B 19413–430
Tyugu, E.: 1993, Attribute models of design objects, in Gero, J. S. and Sudweeks, F. (eds), Preprints Formal Design Methods for CAD, University of Sydney and IFIP, Sydney, pp. 29–39.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Brown, K.N., McMahon, C.A., Williams, J.H.S. (1994). Constraint Unification Grammars: Specifying Languages of Parametric Designs. In: Gero, J.S., Sudweeks, F. (eds) Artificial Intelligence in Design ’94. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0928-4_14
Download citation
DOI: https://doi.org/10.1007/978-94-011-0928-4_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4400-4
Online ISBN: 978-94-011-0928-4
eBook Packages: Springer Book Archive