A model of CK design theory based on term logic: A formal CK background for a class of design assistants

Proceedings DESIGN 2008, the 10th International Design Conference

Volumn , Issue , 2008, Pages 43-52

  Kazakci, A O ^a   Hatchuel, A ^b   Weil, B ^b  

^a MINES ParisTech   (France)

^b NONE

Author keywords

CK design theory; Concepts; Design assistant; Knowledge; Term logic

Indexed keywords

C-SPACE; CONCEPTS; DESIGN THEORY; K SPACE; KNOWLEDGE; TERM LOGIC;

DESIGN;

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

References (17)

1. Ben-Mahmoud Jouini, S., Charue-Duboc, F. and Fourcade, F. (2007). Managing creativity process in innovation driven competition. International Product Development Management Conference.
2. Cohen, J. P. (1963). The independance of the continuum hypothesis I. Procedings of the National Academy of Science, USA. pp. 1143-1148.
3. Cohen, J. P. (1964). The independance of the continuum hypothesis II. Procedings of the National Academy of Science, USA. pp. 105-110.
4. Elmquist, M. and Segrestin, B. (2007) Towards a new logic of front end management: from drug discovery to drug design in pharmaceutical R&D. Journal of Creativity and Innovation Management, 16 (2)
5. Englebretsen, G. (1981) Three Logicians: Aristotle, Leibniz and Sommers, and the Syllogistic, Van Gorcum, Assen, The Netherlands.
6. Hatchuel, A. and Weil, B. (1999). Pour une théorie unifiée de la conception, Axiomatiques et processus collectifs. CGS Ecole des Mines, GIS cognition-CNRS. pp. 1-27.
7. Hatchuel, A. and Weil, B. (2002). La théorie C-K: Fondaments et usages d'une théorie unifiée de la conception. Colloque Sciences de la Conception, Lyon.
8. Hatchuel, A. and Weil, B. (2003). A new approach of innovative design : an introduction to C-K design theory. ICED'03, Stockholm, Sweden., pp. 14.
9. Hatchuel, A., Weil, B. and Le Masson, P. (2007). Design as Forcing:Deepening the foundations of Ck theory. 16th International Conference on Engineering Design - ICED 2007, Knowledge, Innovation and Sustainability, Paris, France.
10. Kazakci, A. (2005). DesigNAR, An intelligent design assistant based on C-K design theory. IDETC/CIE 2005
11. ASME 2005 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Long Beach, California, USA.
12. Kazakci, A. (2007) La théorie CKE comme fondement théorique pour les assistants de conception: DesigNAR; un assistant de synthèse de concept basé sur la théorie CKE, LAMSADE, Université Paris IX Dauphine, Thèse de Doctorat, Paris.
13. Kazakci, A. and Tsoukiàs, A. (2005) Extending the C-K design theory: A theoretical background for personal design assistants. Journal of Engineering Design, 16 (4), pp. 399-411.
14. Wang, P. (1995) Non-axiomatic reasoning system: Exploring the essence of intelligence, Indiana University, PhD Thesis, Indiana.
15. Wang, P. (1998). Grounding the meaning of symbols on the system's experience. Working Notes of the AAAI Workshop on the Grounding of Word Meaning: Data and Models, Madison, Wisconsin. pp. 23-24.
16. Wang, P. (2005) Experience-Grounded Semantics: A theory for intelligent systems. Cognitive Systems Research, 6 (4), pp. 282-302.
17. Wang, P. (2006) Rigid flexibility : the logic of intelligence, Springer, Dordrecht. 414 pages.