A Knowledge Level Theory of Design and Engineering

Design and engineering are knowledge intensive processes. Large amounts of different types of knowledge are needed in real world applications. Using this knowledge in the design and engineering process will be essential for the success of new information technologies like internet/intranet, concurrent engineering, or virtual product design. An essential pre-requisite for the usage of this knowledge is an adequate framework which describes the role or roles each ‘piece’ of knowledge has to play in the overall context. This framework is provided by a knowledge level theory of design. In this paper we outline the essential elements of such a theory. Based on the main categories of knowledge relevant in the design process the roles these categories play and how they interact will be described in a general way.

[1]  Rüdiger Klein,et al.  Dependency maintenance in declarative geometry modelling , 1997, SMA '97.

[2]  Robert Woodbury,et al.  Geometric design with boundary solid grammars , 1994, Formal Design Methods for CAD.

[3]  Bob J. Wielinga,et al.  Models of Expertise , 1986, ECAI.

[4]  Frank van Harmelen,et al.  Validation and Verification of Conceptual Models of Diagnosis , 1997, EUROVAV.

[5]  H. Takeda,et al.  Abduction for design , 1994, Formal Design Methods for CAD.

[6]  John S. Gero,et al.  Advances in Formal Design Methods for CAD , 1996, IFIP — The International Federation for Information Processing.

[7]  F. Brazier,et al.  A LOGICAL THEORY OF DESIGN , 1996 .

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

[9]  Ashok K. Goel,et al.  Functional representation as design rationale , 1993, Computer.

[10]  Mark R. Cutkosky,et al.  PACT: an experiment in integrating concurrent engineering systems , 1993, Computer.

[11]  W. Nutt,et al.  Constructive problem solving : a model construction approach towards configuration , 1995 .

[12]  Paul Veerkamp,et al.  Modeling Design Process , 1990, AI Mag..

[13]  Rüdiger Klein.  Model Representation And Taxonomic Reasoning In Configuration Problem Solving , 1991, GWAI.

[14]  Rüdiger Klein.  G-Rep: geometry and feature representation for an integration with knowledge based design systems , 1997 .

[15]  A. T. Schreiber,et al.  A formal analysis of parametric design problem solving , 1995 .

[16]  Tim Smithers,et al.  ON KNOWLEDGE LEVEL THEORIES OF DESIGN PROCESS , 1996 .

[17]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[18]  Werner Nutt,et al.  Configuration as Model Construction: The Constructive Problem Solving Approach , 1994 .