A MODEL OF CK DESIGN THEORY BASED ON TERM LOGIC: A FORMAL CK BACKGROUND FOR A CLASS OF DESIGN ASSISTANTS
DS 48: Proceedings DESIGN 2008, the 10th International Design Conference, Dubrovnik, Croatia
Year: 2008
Editor: Marjanovic D., Storga M., Pavkovic N., Bojcetic N.
Author: Kazakci ,A. O.; Hatchuel, A.; Weil, B.
Section: Design theories and approaches
Page(s): 43 - 52
Abstract
The paper addresses concept-knowledge (C-K) design theory. C-K theory explains design as the interaction between available knowledge (K space) and concepts (C space - propositions that are neither true, nor false in K space). We give a model of K space based on a term logic, NAL, and we describe how to interpret the key notions of C-K theory within the framework of NAL. It is then discussed how NAL can be used to capture fundamental notions of C-K theory. Some related issues including design assistants based on C-K theory are discussed.
Keywords: CK design theory, term logic, concepts, knowledge, design assistant