A MODEL OF CK DESIGN THEORY BASED ON TERM LOGIC: A FORMAL CK BACKGROUND FOR A CLASS OF DESIGN ASSISTANTS
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.