Conceptualizing design knowledge

Abstract The ability to build models is central to design. In determining what constitutes part of the problem, the selection of a model presupposes a way of looking at the world which forms the basis of the assignment of functions to building elements, and consequently at least implies a solution. However, the prevailing view of the role of formal models in design asprescriptive or descriptive ‘tools’ grounded in objective knowledge, denies this ability. This paper explores the implications of returning control of model building to the designer. An alternative view is presented, based on the idea of ‘conceptualization as use’ which attempts to provide a formal basis for the development of multiple conceptualizations of design knowledge. The assumptions on which this view is based are outlined and a system capable of supporting multiple alternative views of a problem described.

[1]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[2]  Hideyuki Nakashima Knowledge representation in Prolog/KR , 1984, SLP.

[3]  Akikazu Takeuchi,et al.  MANDELA: A LogicBased Knowledge Programming System , 1984, FGCS.

[4]  Herbert A. Simon,et al.  The Structure of Ill Structured Problems , 1973, Artif. Intell..

[5]  Aart Bijl Strategies for CAD , 1987 .

[6]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[7]  Robert A. Kowalski,et al.  Logic and semantic networks , 1979, CACM.

[8]  P. Johnson-Laird Mental models , 1989 .

[9]  R. Moyse Multiple viewpoints for intelligent tutoring systems , 1989 .

[10]  Robert F. Sproull,et al.  Artificial intelligence and pattern recognition in computer aided design: J. C. Latombe (Ed.), North-Holland, Amsterdam, 1978, $60.00 , 1980 .

[11]  D. Gentner,et al.  Flowing waters or teeming crowds: Mental models of electricity , 1982 .

[12]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[13]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[14]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[15]  Tom Maver Integrated CAAD systems: A Bijl, D Stone and D Rosenthal, Edinburgh CAAD Group (1979) 171 pp, £4.00 , 1980 .

[16]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[17]  Paul Newland,et al.  Understanding architectural designers' selective information handling , 1987 .

[18]  Sidney Newton,et al.  Causation and its effect: the blackguard in CAD's clothing , 1988 .

[19]  Herbert A Simon,et al.  The understanding process: Problem isomorphs , 1976, Cognitive Psychology.

[20]  Kazuhiko Kawamura,et al.  Module: A Modular Programming Environment in Prolog , 1987, ISMIS.