A formal account of the dual extension of knowledge and concept in C-K design theory

11th International Design Conference, DESIGN 2010

Volumn , Issue , 2010, Pages 49-58

  Hendriks, L ^b   Kazakci, A O ^a  

^a MINES ParisTech   (France)

^b NONE

Author keywords

C K design theory; Design logic; Design reasoning; Dual expansion; Formalization

Indexed keywords

DESIGN THEORY; FIRST ORDER LOGIC; FORMAL FRAMEWORK; FORMALIZATION; REASONING PROCESS;

DESIGN;

EID: 84861504707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Hatchuel, A., P. Le Masson and B. Weil (2004). C-K theory in practice: Lessons from industrial applications. 8th International Design Conference, Design 2004, Dubrovnik, Croatia.
2. Hatchuel, A. and B. Weil (2002). La théorie C-K: Fondaments et usages d'une théorie unifiée de la conception. Colloque Sciences de la Conception, Lyon.
3. Hatchuel, A. and B. Weil (2003). A new approach of innovative design : an introduction to C-K design theory. ICED'03, Stockholm, Sweden.
4. Hatchuel, A. and B. Weil (2007). Design as Forcing:Deepening the foundations of Ck theory. 16th International Conference on Engineering Design - ICED 2007, Knowledge, Innovation and Sustainability, Paris, France.
5. Hatchuel, A. and B. Weil (2009). "C-K design theory: an advanced formulation." Research in Engineering Design 19(4): 181-192.
6. Kazakci, A. (2009). A formalisation of CK design theory based on Intuitionist Logic. International Conference on Research into Design. ICORD09. A. Chakrabarti. Banglore, India, Research Publising Services: 499-507.
7. Kazakci, A., A. Hatchuel and B. Weil (2008). A model of C-K design theory based on a term logic: a formal background for a class of design assistants. International Design Conference 2008, Dubrovnik, Croatia.
8. Le Masson, P., B. Weil and A. Hatchuel (2006). Les processus d'innovation- Conception innovante et croissance des entreprises Paris, Hermès.
9. Yoshikawa, H., Ed. (1981). General design theory and a CAD system. Man-Machine Communication in CAD/CAM, North Holland Publishing.
10. Zeng, Y. and G. Cheng (1991). "On the logic of design." Design Studies 12(3): 137-141.