et al., is the basis of much of the current research in design methodology and CAD. 1 Mitchell gives an elegant description of the model. 2 He claims that design can be described in words that make up a critical language and such word descriptions can be formalized using the notation of first-order predicate calculus. Design worlds, he says, consist of graphic tokens which, like words, can be manipulated according to certain grammatical rules. 1 See George Stiny, Introduction to Shape and Shape Grammars, Environment and Planning B, 7 (1980): 342-351; William J. Mitchell, The Logic of Architecture: Design, Computation, and Cognition, Cambridge, Massachusetts, MIT Press, 1990; H. Yoshikawa, General Design Theory and a CAD System, in T. Sata and E. Warman (eds), Man-Machine Communications in CAD/CAM, Amsterdam, North-Holland, 1981; R.D. Coyne, M.A. Rosenman, A.D. Radford, M. B
No takes yet. Share an insight, caveat, or question.
Snodgrass et al. (1996) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: