抄録
In this paper, we first describe the design experiment, an experimental method used to examine design processes. The results of design experiments were analyzed in two different approaches. One was to outline transitions of object descriptions and the designer's viewpoint. The other was to extract a design cycle which was a unit design process, and we found that design processes are composed of such design cycles. Secondly, we show a framework for logical formalization of design processes which is expected to serve as a basis for developing a design knowledge representation language for intelligent CAD systems. In this formalization, design processes are interpreted as deductive processes in which not only classical logic but also modal logic and non-monotonic logic are used. This framework explains experimental data obtained in the design experiment and is considered appropriate to represent design processes.
