A Formalization of CK Design Theory Based on Intuitionist Logic
O.Akin Kazakçi · 2009
The paper introduces a formalization of Concept-Knowledge (CK) theory of design reasoning based on Intuitionist Logic and Kripke type semantics. The concept space is de ned as a tree of formulae containing free variables and knowledge space corresponds to an incomplete theory. A set of operations is de ned to model the progressive elaboration of the concept space, the expansion of the knowledge and the interaction of concepts and knowledge