A Formalization of CK Design Theory Based on Intuitionist Logic
Editor: Chakrabarti, A.
Author: Kazakçi, O.Akin
Section: Design Theory and Research Methodology
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