Knowledge Base Repository
In addition to research papers, the Design Society is developing several valuable resources for those interested in the study of design. These include a repository of PhD theses, a library of case studies and transcripts of design activities, and an archive of our newsletters. Please note that these resources are accessible exclusively to Design Society members.
A Formalization of CK Design Theory Based on Intuitionist Logic
Kazakçi, O.Akin
Type:
Year:
2009
Editor:
Chakrabarti, A.
Author:
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:
