A Formalization of CK Design Theory Based on Intuitionist Logic
Year: 2009
Editor: Chakrabarti, A.
Author: Kazakçi, O.Akin
Section: Design Theory and Research Methodology
Page(s): 499-507
Abstract
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
Keywords: Design, logic, CK design theory, concept, knowledge, design reasoning