BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2008/newsitem/2385/9-J
 une-2008-A-concept-knowledge-theory-of-design-reas
 oning-some-formal-models-Akin-Osman-Kazakci
DTSTAMP:20080605T000000
SUMMARY:A concept-knowledge theory of design reaso
 ning : some formal models, Akin Osman Kazakci
ATTENDEE;ROLE=Speaker:Akin Osman Kazakci
DTSTART;TZID=Europe/Amsterdam:20080609T150000
DTEND;TZID=Europe/Amsterdam:20080609T000000
LOCATION:Room P.016, ILLC, Euclides Building, Plan
 tage Muidergracht 24, Amsterdam
DESCRIPTION:Design is about building a definition 
 for an object that is yet to exist. The constructi
 on of such a definition requires a particular type
  of reasoning process which is different from usua
 l ones such as search, optimization or theorem pro
 ving. In this talk, we will present a theory of de
 sign reasoning called Concept-Knowledge (CK) theor
 y. CK theory captures some of the fundelmental pro
 perties of design reasoning based on the distincti
 on and interaction between two spaces; a knowledge
  space K, containing, propositions whose logical s
 tatus are known by a designer, and a concept space
 , which contains propositions that are undecidable
  in K space. The undecidability of concepts is a s
 ource for creativity and it allows new types of de
 finitions for unprecedented objects.   CK theory i
 s currently a very active research topic in a vari
 ety of context such as organization theory and des
 ign education. On the other hand more recent effor
 ts explore logical and mathematical models of the 
 theory. During the talk, after presenting the theo
 ry informally, we will discuss three of such model
 s: 1) The relationship between ZF set theory, Cohe
 n's notion of Forcing and CK type design reasoning
  (Hatchuel, Weil, 2007) 2) A model of CK theory ba
 sed on NAL (non-axiomatic logic), a syllogistic te
 rm logic (Kazakci, Hatchuel and Weil, 2008) 3) A m
 odel of CK theory based on Intuionistic Logic (Kaz
 akci, Upcoming)    For more information, please co
 ntact juckelma at science.uva.nl
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 Design is about building a definition for an objec
 t that is yet to exist. The construction of such a
  definition requires a particular type of reasonin
 g process  which is different from usual ones such
  as search, optimization or  theorem proving.  In 
 this talk, we will present a theory of design reas
 oning called Concept-Knowledge (CK) theory. CK the
 ory captures some of the fundelmental properties o
 f design reasoning based on the distinction and in
 teraction between two spaces; a knowledge space K,
  containing, propositions whose logical status are
  known by a designer, and a concept space, which c
 ontains propositions that are undecidable in K spa
 ce. The undecidability of concepts is a source for
  creativity and it allows new types of definitions
  for unprecedented objects.\n      </p>\n      <p>
 CK theory is currently a very active research topi
 c in a variety of context such as organization the
 ory and design education. On the other hand more r
 ecent  efforts explore logical and mathematical mo
 dels of the theory. During the talk, after present
 ing the theory informally, we will discuss three o
 f such models: 1) The relationship between ZF set 
 theory, Cohen's notion of Forcing and CK type desi
 gn reasoning (Hatchuel, Weil, 2007) 2) A model of 
 CK theory based on NAL (non-axiomatic logic), a sy
 llogistic term logic (Kazakci, Hatchuel and Weil, 
 2008) 3) A model of CK theory based on Intuionisti
 c Logic (Kazakci, Upcoming)\n      </p>\n    \n   
    <p>\n        For more information, please conta
 ct <a class="email">juckelma <span class="at">at</
 span> science.uva.nl</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2008/newsitem/2385/9-J
 une-2008-A-concept-knowledge-theory-of-design-reas
 oning-some-formal-models-Akin-Osman-Kazakci
END:VEVENT
END:VCALENDAR