Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

9 June 2008, A concept-knowledge theory of design reasoning : some formal models, Akin Osman Kazakci

Speaker: Akin Osman Kazakci
Date: Monday 9 June 2008
Time: 15:00
Location: Room P.016, ILLC, Euclides Building, Plantage Muidergracht 24, Amsterdam

Design is about building a definition for an object that is yet to exist. The construction of such a definition requires a particular type of reasoning process which is different from usual ones such as search, optimization or theorem proving. In this talk, we will present a theory of design reasoning called Concept-Knowledge (CK) theory. CK theory captures some of the fundelmental properties of design reasoning based on the distinction and interaction between two spaces; a knowledge space K, containing, propositions whose logical status are known by a designer, and a concept space, which contains propositions that are undecidable in K space. The undecidability of concepts is a source for creativity and it allows new types of definitions for unprecedented objects.

CK theory is currently a very active research topic in a variety of context such as organization theory and design education. On the other hand more recent efforts explore logical and mathematical models of the theory. During the talk, after presenting the theory informally, we will discuss three of such models: 1) The relationship between ZF set theory, Cohen's notion of Forcing and CK type design reasoning (Hatchuel, Weil, 2007) 2) A model of CK theory based on NAL (non-axiomatic logic), a syllogistic term logic (Kazakci, Hatchuel and Weil, 2008) 3) A model of CK theory based on Intuionistic Logic (Kazakci, Upcoming)

For more information, please contact

Please note that this newsitem has been archived, and may contain outdated information or links.