| Authors |
|
| Publication date |
2010
|
| Host editors |
-
D. Marjanović
-
M. Štorga
-
N. Pavković
-
N. Bojčetić
|
| Book title |
11th International Design Conference DESIGN 2010: Dubrovnik - Croatia, May 17 - 20, 2010. Proceedings
|
| ISBN |
|
| Event |
11th International Design Conference DESIGN 2010: Dubrovnik - Croatia, May 17 - 20, 2010
|
| Volume | Issue number |
1
|
| Pages (from-to) |
49-58
|
| Publisher |
Zagreb/Glasgow: Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb/The Design Society
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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.
|
| Document type |
Conference contribution
|
| Language |
English
|
| Published at |
https://www.designsociety.org/publication/29350/a_formal_account_of_the_dual_extension_of_knowledge_and_concept_in_c-k_design_theory
|
|
Permalink to this page
|