descomp
	r e s e a r c h
		C o n s t r u c t i n g   D e s i g n   C o n c e p t s :   A Computational Approach to the Synthesis of Architectural Form Kotsopoulos S, Ph.D. Dissertation, Massachusetts Institute of Technology, 2005
		II.      Shape Computation Theory       1.  Introduction       2.  Computational Theory       3.  Computational Design Theory       4.  Shape Computation                                4. 1.  SHAPE CALCULUS                             4. 2.  SHAPE GRAMMAR      5.  Constructing Design Concepts      6.  Discussion       7.  References       Alexander C: 1964, Notes on the Synthesis of Form, Harvard University Press.       Birkoff G: 1948 (1960), Lattice Theory, American Mathematical Society, Colloquium Publications, vol. XXV, 154, 170       Carnap R: 1928 (2003), Der Logische Aufbau der Welt, translated as The Logical Syntax of the World, Open Court,       Chicago and La Salle Illinois, xviii       Chomsky N: 1957 (1976), Syntactic structures, Mouton, The Hague, Paris, pp. 34-48       Eastman CM: 1970, "Representations for space planning", Communications of the ACM 13 242-250       Economou, A. 1999, “The symmetry lessons from Froebel building gifts” Environment and Planning B: Planning       and Design, 26, pp. 75 - 90       Hillier B, Leaman A, Stansall P, Bedford M: "Space Syntax", Environment and Planning B, 3, 147-185       Knight T: 1980, "The generation of Hepplewhite-style chair back designs", Environment and Planning B, 7, 227-238             Knight T: 1981a, "The forty-one steps", Environment and Planning B, 8, 97-114       Knight T: 1981b, "Languages of designs: from known to new", Environment and Planning B, 8, 213-238       Knight T: 1990, "Mughul gardens revised", Environment and Planning B: Planning and Design, 17, 73-84       Knight T: 1994, Transformations in Design: A Formal approach to Stylistic Change and Innovation in the Visual       Arts, Cambridge University Press, Cambridge, England       Kristic D M: 1996, Decompositions of Shapes, PhD Dissertation, University of California, Los Angeles, 42-45       March L: 1972, "A Boolean description of a class of built forms", reprinted in L March (ed), The Architecture of Form,       Cambridge University Press, Cambridge, 41-73       Mendelson E: 1970, Boolean Algebra, McGraw Hill, 138       Mitchell WJ: 1974, An approach to automated generation of minimum cost dwelling unit plans, School of       Architecture & Urban Planning, University of California, Los Angeles       Post E: 1943, Formal reduction of the general combinatorial decision problem, Am. Journal of Math 65, 197-268       Steadman JP: 1973, "Graph-theoretic representation of architectural arrangement", reprinted in in L March (ed),       The Architecture of Form, Cambridge University Press, 94-115       Stiny G: 1975, Pictorial and Formal Aspects of Shape and Shape Grammars, Interdisciplinary Systems Research,       Birkhauser Verlag, 135       Stiny G: 1977, "Ice-ray: a note on the generation of Chinese lattice designs", Environment and Planning B, 4, 89-98       Stiny G: 1980, "Introduction to shape and shape grammars", Environment and Planning B, 7, 343-351       Stiny G: 1991, "The algebras of design", Research in Engineering Design, 2, 171-181       Stiny G: 1992, "Weights", Environment and Planning B: Planning and Design, 19, 413-430       Stiny G: 1996, "Useless rules", Environment and Planning B: Planning and Design, 23, 235-237       Stiny G and Gips J: 1972, "Shape Grammars and the generative specification in painting and sculpture",       Information Processing, 71, ed. Freiman CV, North Holland.       Tarski A: 1956, Logic, Semantics, Meta-mathematics, tansl. Woodger J H, Hackett, 449       Wittgenstein L: 1956, Remarks on the Foundations of Mathematics, The MIT Press 422-3