Interaction Grammars

Interaction Grammar (IG) is a grammatical formalism based on the notion of polarity. Polarities express the resource sensitivity of natural languages by modelling the distinction between saturated and unsaturated syntactic structures. Syntactic composition is represented as a chemical reaction guided by the saturation of polarities. It is expressed in a model-theoretic framework where grammars are constraint systems using the notion of tree description and parsing appears as a process of building tree description models satisfying criteria of saturation and minimality

Computer-aided exploration of architectural design spaces: a digital sketchbook

Het ontwerpproces van architecten vormt vaak geen lineair pad van ontwerpopgave tot eindresultaat, maar wordt veeleer gekenmerkt door exploratie of het doorzoeken van meerdere alternatieven in een (conceptuele) ontwerpruimte. Dit proces wordt in de praktijk vaak ondersteund door manueel schetsen, waarbij de ontwerpers schetsboek kan gelezen worden als een reeks exploraties. Dit soort interactie met de ontwerpruimte wordt in veel mindere mate ondersteund door hedendaagse computerondersteunde ontwerpsystemen. De metafoor van een digitaal schetsboek, waarbij menselijke exploratie wordt versterkt door de (reken)kracht van een computer, is het centrale onderzoeksthema van dit proefschrift. Hoewel het opzet van een ontwerpruimte op het eerste gezicht schatplichtig lijkt aan het onderzoeksveld van de artificiële intelligentie (AI), wordt het ontwerpen hier ruimer geïnterpreteerd dan het oplossen van problemen. Als onderzoeksmethodologie worden vormengrammatica’s ingezet, die enerzijds nauw aanleunen bij de AI en een formeel raamwerk bieden voor de exploratie van ontwerpruimtes, maar tegelijkertijd ook weerstand bieden tegen de AI en een vorm van visueel denken en ambiguïteit toelaten. De twee bijhorende onderzoeksvragen zijn hoe deze vormengrammatica’s digitaal kunnen worden gerepresenteerd, en op welke manier de ontwerper-computer interactie kan gebeuren. De resultaten van deze twee onderzoeksvragen vormen de basis van een nieuw hulpmiddel voor architecten: het digitaal schetsboek

Hierarchical Style Modeling: A generative framework for Style-Centric Generation of 3D Models

This work focuses on incorporating style - specifically visual style - into procedural content generation processes. Specifically, I model style as a series of constraints that must be satisfied while an object is generated

Feasible approach for the computer implementation of parametric visual calculating

Thesis (S.M. in Architecture Studies)--Massachusetts Institute of Technology, Dept. of Architecture, 2013.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student-submitted PDF version of thesis.Includes bibliographical references (p. 62-66).Computational design tools in architecture currently fall into two broad categories: Tools for representation and tools for generative design, including scripting. However, both categories address only relatively methodical aspects of designing, and do little to support the design freedom and serendipitous creativity that, for example, is afforded by iterative sketching. Calculating with visual rules provides an explicit notation for such artistic processes of seeing and drawing. Shape grammars have validated this approach by formalizing many existing designs and styles as visual rule-sets. In this way, visual rules store and transfer design knowledge. Visual calculating in a more general sense supports creativity by allowing a designer to apply any rule she wants, and to capriciously see and re-see the design. In contrast to other explicit design methodologies, visual calculating defines a decomposition into parts only after the design is calculated, thus allowing formalization without impeding design freedom. Located at the intersection between design and computation, the computer implementation of visual calculating presents an opportunity for more designerly computational design tools. Since parametric visual calculating affords the largest set of design possibilities, the computer implementation of parametric visual calculating will allow flexible, rule-based design tools that intelligently combine design freedom with computational processing power. In order to compute with shapes, a symbolic representation for shapes is necessary. This thesis examines several symbolic representations for shapes, including graphs. Especially close attention is given to graph-based representations, since graphs are well suited to represent parametric shapes. Based on this analysis, this thesis proposes a new graph for parametric shapes that is clearer, more compact and closer the original formulation of visual calculating than existing approaches, while also strongly supporting design freedom. The thesis provides algorithms and heuristics to construct this "inverted" graph, for connected and unconnected shapes.by Thomas Alois Wortmann.S.M.in Architecture Studie

Integrated design : a generative multi-performative design approach

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Architecture, 2008.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.MIT Institute Archives copy: with CD-ROM; divisional library copy with no CD-ROM.Includes bibliographical references (leaves 70-72).There are building systems, called "modularized", in which the component systems (for structure, lighting, etc) can be analyzed and synthesized independently since their performance and design do not interact or affect one another. There are other building systems, called "coupled", in which the component systems do interact and influence one another. The thesis acknowledges that in a building there are both sub-systems that act independently and others that interact. While many design processes have been proposed for dealing with discrete sub-systems, there is no systematic study for building sub-systems that interrelate. This thesis examines a different design approach called integrated. The term "integrated" has a dual utilization in this study. The first use refers to the integration of form and building performance. The second use refers to the integration of interrelated and diverse building performances involving multiple disciplines. The integrated design approach analyzes and evaluates several interrelated design systems involving different disciplines in the early design phase. The goal of the approach is the generation of design alternatives guided simultaneously by two basic objectives: the aspiration for form exploration and the satisfaction of the performances of interrelated systems. After defining a framework for an integrated design approach, which includes inter-disciplinary collaboration, unified design, optimization, simulation, and other formal and digital techniques, the approach will be demonstrated in a case study. The objective of the case study is to demonstrate that the integrated design approach has validity and can be realized, in this case, for the generation of high-rise buildings guided by structural, lighting, zoning codes, and aesthetic criteria.by Eleftheria Fasoulaki.S.M

Determining the Limits of Automated Program Recognition

This working paper was submitted as a Ph.D. thesis proposal.Program recognition is a program understanding technique in which stereotypic computational structures are identified in a program. From this identification and the known relationships between the structures, a hierarchical description of the program's design is recovered. The feasibility of this technique for small programs has been shown by several researchers. However, it seems unlikely that the existing program recognition systems will scale up to realistic, full-sized programs without some guidance (e.g., from a person using the recognition system as an assistant). One reason is that there are limits to what can be recovered by a purely code-driven approach. Some of the information about the program that is useful to know for common software engineering tasks, particularly maintenance, is missing from the code. Another reason guidance must be provided is to reduce the cost of recognition. To determine what guidance is appropriate, therefore, we must know what information is recoverable from the code and where the complexity of program recognition lies. I propose to study the limits of program recognition, both empirically and analytically. First, I will build an experimental system that performs recognition on realistic programs on the order of thousands of lines. This will allow me to characterize the information that can be recovered by this code-driven technique. Second, I will formally analyze the complexity of the recognition process. This will help determine how guidance can be applied most profitably to improve the efficiency of program recognition.MIT Artificial Intelligence Laborator