Advances in Formal Design Methods for CAD

This paper introduces a model for design exploration based on notions of evolution and demonstrates computational co-evolution using a modified genetic algorithm (GA). Evolution is extended to consider co-evolution where two systems evolve in response to each other. Co-evolution in design exploration supports the change, over time, of the design solution and the design requirements. The basic GA, which does not support our exploration model, evaluates individuals from a population of design solutions with an unchanged fitness function. This approach to evaluation implements search with a prefixed goal. Modifications to the basic GA, are required to support exploration. Two approaches to implement a co-evolving GA are: a combined gene approach and a separate spaces approach. The combined gene approach includes the representation of the requirements and the solution within the genotype. The separate spaces approach models the requirements and the solutions as separately evolving interacting populations of genotypes. The combined gene approach is developed further in this paper and used to demonstrate design exploration in the domain of braced frame design for buildings. The issues related to the coding of the genotype, mapping to a phenotype, and evaluation of the phenotype are addressed. Preliminary results of co-evolution are presented that show how exploration differs from search.

[1]  Tetsuo Tomiyama,et al.  Intelligent CAD Systems I , 1987, EurographicSeminars.

[2]  Elwood S. Buffa,et al.  A Heuristic Algorithm and Simulation Approach to Relative Location of Facilities , 1963 .

[3]  Derek R. Wilson,et al.  A computer-aided evaluation system for assessing design concepts , 1993 .

[4]  Bill Hollins,et al.  Successful Product Design: What to Do and When , 1990 .

[5]  T. P. Tassios,et al.  Modelling for Design , 1998 .

[6]  Paul S. Rosenbloom,et al.  Universal Subgoaling and Chunking , 1986 .

[7]  C. J. Moore,et al.  An expert system for the conceptual design of bridges , 1991 .

[8]  Jan Treur,et al.  A Compositional Knowledge-Based Architecture Modelling Process Aspects of Design Tasks , 1992 .

[9]  Jan Treur,et al.  Formal Notions for Verification of Dynamics of Knowledge-Based Systems , 1995, EUROVAV.

[10]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[11]  Jan Treur,et al.  ON FORMAL SPECIFICATION OF DESIGN TASKS , 1994 .

[12]  Rudolf Koller,et al.  Konstruktionslehre für den Maschinenbau , 1985 .

[13]  Christopher Alexander Notes on the Synthesis of Form , 1964 .

[14]  J. Numata,et al.  A case study: a network system for knowledge amplification in the product development process , 1996 .

[15]  Jan Treur,et al.  A Logical Foundation for Verification , 1994, ECAI.

[16]  Colin Potts,et al.  Recording the reasons for design decisions , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[17]  Warren P. Seering,et al.  Computation and conceptual design , 1988 .

[18]  Anil Nigam,et al.  Qualitative Physics Using Dimensional Analysis , 1990, Artif. Intell..

[19]  Jan Treur A logical framework for design processes , 1992 .

[20]  Brian Logan,et al.  Design as intelligent behaviour: An AI in design research programme , 1990, Artif. Intell. Eng..

[21]  Jan Treur Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning , 1994 .

[22]  Douglas B. Lenat,et al.  On the thresholds of knowledge , 1987, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[23]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[24]  Jack Mostow,et al.  Toward Better Models of the Design Process , 1985, AI Mag..

[25]  J. R. Radbill,et al.  Similitude and Approximation Theory , 1986 .

[26]  Yehuda E. Kalay,et al.  A partnership approach to computer-aided design , 1987 .

[27]  H. Rittel,et al.  Dilemmas in a general theory of planning , 1973 .

[28]  Jintae Lee,et al.  Extending the Potts and Bruns model for recording design rationale , 1991, [1991 Proceedings] 13th International Conference on Software Engineering.

[29]  Michael K. Kim Development of machine intelligence for inference of design intent implicit in design specification , 1987 .

[30]  S. C-Y. Lu,et al.  Design evolution management: a design methodology for representing and utilizing design rationale , 1990 .

[31]  Km Wallace,et al.  AI in mechanical engineering design , 1995 .

[32]  Jan Treur,et al.  A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.

[33]  T. Langholm Partiality, truth and persistence , 1988 .

[34]  Yan Jin,et al.  i-AGENTS: Modeling Organizational Problem Solving in Multi-Agent Teams , 1993 .

[35]  Mark Klein Capturing Design Rationale for CE Teams Mark Klein-1-Capturing Design Rationale in Concurrent Engineering Teams , 1993 .

[36]  Sebastian Lera,et al.  Architectural designers' values and the evaluation of their designs , 1981 .

[37]  Brian Logan,et al.  Enduring Support - On Defeasible Reasoning in Design Support Systems , 1992 .

[38]  L. Console,et al.  Hypothetical Reasoning in Causal Models , 1990 .

[39]  David C. Brown,et al.  Design Problem Solving: Knowledge Structures and Control Strategies , 1989 .

[40]  Tetsuo Tomiyama,et al.  Extended general design theory , 1986 .

[41]  M. P. Chong,et al.  Characteristics of toothbrushes. , 1983, Australian dental journal.

[42]  Ron Atkin,et al.  Mathematical structure in human affairs , 1976 .

[43]  Rudolf Wille,et al.  Subdirect decomposition of concept lattices , 1983, ICFCA.

[44]  Peter Dormer,et al.  Design since 1945 , 1993 .

[45]  James H. Garrett,et al.  A framework for representing design intent , 1994 .

[46]  Nigel Cross,et al.  Engineering Design Methods: Strategies for Product Design , 1994 .

[47]  Rudolf Wille,et al.  Tensorial decomposition of concept lattices , 1985 .

[48]  S M MacGill,et al.  A Consideration of Johnson's Q-Discrimination Analysis , 1982 .

[49]  Derek R. Wilson,et al.  Evaluating the relationship between product and user , 1994 .

[50]  John S. Gero,et al.  An approach to the analysis of design protocols , 1998 .

[51]  Elizabeth Collins Cromley Sleeping Around: A History of American Beds and Bedrooms , 1990 .