Hideaki Takeda's Publication
- H. Takeda, T. Tomiyama and H. Yoshikawa: A Logical and
Computerable framework for reasoning in design, in D. Taylor and
L. Stauffer eds., Design Theory and Methodology -- DTM '92 --, pp.
167–174The American Society of Mechanical Engineers (ASME) (1992).
In this paper we propose a logical design process model that has a
good capability as the framework of intelligent CAD systems. This model
adopts abduction, deduction,circumscription, and meta-level inference for
reasoning, and partial semantics and possible worlds semantics for
representation. It can represent the important features of design processes,
e.g., coupling of synthesis and analysis is represented by a combination of
abduction and deduction, the step-wise refinement by iteration of abduction
and deduction, and multiworlds, and inconsistency handling by
circumscription. Since design process models should be not only well defined,
but also computable and capable to explain human design processes, we
interpret the cognitive model of design processes by the logical design
process model, and also demonstrate its computability by implementing a
prototype of the design simulator which is based on this model.
Hideaki Takeda (National Institute of Informatics)