A FORMAL ACCOUNT OF THE DUAL EXTENSION OF KNOWLEDGE AND CONCEPT IN C-K DESIGN THEORY
DS 60: Proceedings of DESIGN 2010, the 11th International Design Conference, Dubrovnik, Croatia
Year: 2010
Editor: Marjanovic D., Storga M., Pavkovic N., Bojcetic N.
Author: Hendriks, L.; Kazakci, A. O.
Section: DESIGN THEORY AND RESEARCH METHODOLOGY
Page(s): 49-58
Abstract
The paper presents a contribution to the formalization efforts of C-K design theory. First, we analyze the notion of “dual expansion of concepts and knowledge” in C-K design theory and we discuss how such a reasoning process can be modeled using first-order logic. Then, we present a basic formal account of this notion. This framework is complementary to previous work formalizing the interaction of concepts and knowledge. Finally an attempt is made to sketch some possible extensions of the basic formal framework.
Keywords: C-K design theory, formalization, design logic, design reasoning, dual expansion