Logical interaction between domain knowledge and human cognition in design

The formal interaction between domain knowledge and human cognition in design is described by using some logical operations (induction, deduction, extension). When the extracted domain knowledge is not computable using deduction, a designer can critically think to modify the knowledge until a deductive agreement is discovered. In such a critical thinking process, the designer by nature uses commonsense (i.e., general knowledge) and his or her familiarity to the problem. A logical operation called extension is developed to formalise the above mentioned critical thinking process. Real-life examples are also shown to provide more insight into the presented logical operations.

[1]  Yong Zeng,et al.  On the logic of design , 1991 .

[2]  A.M.M. Sharif Ullah.  Handling design perceptions: an axiomatic design perspective , 2005 .

[3]  Thomas F. Stahovich,et al.  An inductive approach to learning and reusing design strategies , 2002 .

[4]  Lucienne Blessing,et al.  Understanding the differences between how novice and experienced designers approach design tasks , 2003 .

[5]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[6]  M. Göker.  The effects of experience during design problem solving , 1997 .

[7]  Nam P. Suh,et al.  Axiomatic Design Theory for Systems , 1998 .

[8]  Alex H. B. Duffy,et al.  Evolving a model of learning in design , 2004 .

[9]  Peter A. Flach,et al.  Abduction and Induction , 2000 .

[10]  Ivan Bratko,et al.  Learning Qualitative Models , 2004, AI Mag..

[11]  Yao-Hua Tan,et al.  IS DEFAULT LOGIC A REINVENTION OF INDUCTIVE-STATISTICAL REASONING? , 1997, Synthese.

[12]  Hideaki Takeda,et al.  Physical concept ontology for the knowledge intensive engineering framework , 2004, Adv. Eng. Informatics.

[13]  Lotfi A. Zadeh,et al.  Toward a generalized theory of uncertainty (GTU) - an outline , 2005, GrC.

[14]  M. Resnik,et al.  Aspects of Scientific Explanation. , 1966 .

[15]  Lotfi A. Zadeh,et al.  Precisiated Natural Language (PNL) , 2004, AI Mag..

[16]  C. Hempel,et al.  Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. , 1966 .

[17]  Lotfi A. Zadeh,et al.  Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic , 1997, Fuzzy Sets Syst..

[18]  Feng-Tyan Lin,et al.  An abductive propositional logic for design reasoning , 2001 .

[19]  John S. Gero,et al.  The Situated Function - Behaviour - Structure Framework , 2002, AID.

[20]  Atocha Aliseda,et al.  Logics in Scientific Discovery , 2004 .

[21]  Steve Caplin,et al.  Principles Of Design , 2011 .

[22]  J. Ross Quinlan,et al.  Induction of Decision Trees , 1986, Machine Learning.

[23]  A. M. M. Sharif Ullah,et al.  A fuzzy decision model for conceptual design , 2005, Syst. Eng..

[24]  Hideaki Takeda,et al.  Abduction for Creative Design , 2003, Volume 3b: 15th International Conference on Design Theory and Methodology.