Imagining Knowledge, a Formal Account of Design

Lex Hendriks (1) , Akin Osman Kazakçi (2)

1 ILLC - Institute for Logic, Language and Computation
2 CGS i3 - Centre de Gestion Scientifique i3

Design, as in designing artifacts like cars or computer programs, is one of those aspects of rational agency hardly even mentioned in traditional logical theory. As an engineering discipline, design obviously involves reasoning but seems to depend much more on a mix of factual knowledge, experimenting and imagination. We will present a formal framework for the dynamic interplay between knowledge and imagination inspired by C-K theory Hatchuel and Weil (2003a) and discuss the possible directions for further development of a 'logic of design'.

Mots clés: logic; creativity; design; design theory; imagination

Domaines: Informatique [cs]; Intelligence artificielle [cs.AI]

Lex Hendriks, Akin Osman Kazakçi. Imagining Knowledge, a Formal Account of Design. Logic and Interactive Rationality, Institute for Logic, Language and Computation, pp.111-126, 2011. ⟨hal-00983061⟩