Hideaki Takeda's Publication
- H. Takeda, T. Tomiyama and H. Yoshikawa: A logical
formalization of design processes for intelligent CAD systems, in
H. Yoshikawa and T. Holden eds., Intelligent CAD, II, pp. 325–336,
North-Holland, Amsterdam (1990).
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. We introduce deductive formalization based on
two kinds of non-standard logic, viz. modal logic and nonmonotonic logic.
This framework explains experimental data obtained in the design experiment
and is considered appropriate to represent design processes.
Hideaki Takeda (National Institute of Informatics)