BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/328
DTSTAMP:20230914T125919Z
SUMMARY:Epistemic Reasoning and Its Applications
DESCRIPTION:Speaker: Rohit Parikh (City University of New York\nDepartment 
 of Computer Science\n365 Fifth Avenue\nNew York\, NY 10016-4309\nUnited St
 ates of America)\n\nAbstract: \nIt is clear from examples from Shakespeare
  and others that knowledge and belief influence behavior.\nBut to understa
 nd these examples some technical tools are needed.  We will introduce the
  audience to Kripke structures and to history based semantics (the latte
 r due to RP and R. Ramanujam).   This semantics allows us to understand 
 how knowledge grows as a result of events and communication.  The initial
  intended application was to distributed computing\, but the tool has more
  general use.\nWe will explain Jan Plaza's result on public announcements 
 and some joint work with Tasdemir and Witzel on how a knowledge manipulato
 r can influence behavior by sending signals.\nIf time permits we will take
  a wider\, more philosophical perspective on knowledge\, explaining someth
 ing about Plato's theory of knowledge as expounded in the Meno and the The
 aetetus and the Gettier puzzles about knowledge.\n
URL:https://www.tcs.tifr.res.in/web/events/328
DTSTART;TZID=Asia/Kolkata:20130101T160000
DTEND;TZID=Asia/Kolkata:20130101T170000
LOCATION:AG-80
END:VEVENT
END:VCALENDAR