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/2015/newsitem/6997/18-
 September-2015-Cool-Logic-Suzanne-van-Wijk-ILLC-
DTSTAMP:20150913T000000
SUMMARY:Cool Logic, Suzanne van Wijk (ILLC)
ATTENDEE;ROLE=Speaker:Suzanne van Wijk (ILLC)
DTSTART;TZID=Europe/Amsterdam:20150918T180000
DTEND;TZID=Europe/Amsterdam:20150918T190000
LOCATION:ILLC Seminar Room (F1.15), Science Park 1
 07, Amsterdam
DESCRIPTION:Epistemic planning is an adaptation of
  a field in artificial intelligence, called automa
 ted planning, which develops algorithms that find 
 plans that an agent can follow to reach his goal. 
 Epistemic planning has the same intentions, but us
 es dynamic epistemic logic to define the planning 
 problems and the plans, using the knowledge of the
  agent in the definition of a solution. I will pre
 sent (part of) my thesis, where I extended epistem
 ic planning to be able to deal with multiple actin
 g agents, rather than just one. I will present the
  framework I developed, consisting of action contr
 ol models and static control models, which are a c
 ombination of the standard models of DEL (Dynamic 
 Epistemic Logic) and a semantic interpretation of 
 STIT (seeing to it that), and I introduce a logic 
 that talks about the knowledge of (coalitions of) 
 agents and their power, and I show how this framew
 ork can be used to define a solution to multi-agen
 t planning problems. Time permitting, I will also 
 introduce a way for the agents to commit to certai
 n actions, thereby enabling a group of agents to c
 oordinate on which joint action to take.  For more
  information, see https://www.illc.uva.nl/coollogi
 c/ or contact coollogic.uva at gmail.com
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Epistemi
 c planning is an adaptation of a field in artifici
 al intelligence, called automated planning, which 
 develops algorithms that find plans that an agent 
 can follow to reach his goal. Epistemic planning h
 as the same intentions, but uses dynamic epistemic
  logic to define the planning problems and the pla
 ns, using the knowledge of the agent in the defini
 tion of a solution. I will present (part of) my th
 esis, where I extended epistemic planning to be ab
 le to deal with multiple acting agents, rather tha
 n just one. I will present the framework I develop
 ed, consisting of action control models and static
  control models, which are a combination of the st
 andard models of DEL (Dynamic Epistemic Logic) and
  a semantic interpretation of STIT (seeing to it t
 hat), and I introduce a logic that talks about the
  knowledge of (coalitions of) agents and their pow
 er, and I show how this framework can be used to d
 efine a solution to multi-agent planning problems.
  Time permitting, I will also introduce a way for 
 the agents to commit to certain actions, thereby e
 nabling a group of agents to coordinate on which j
 oint action to take.</p>\n    \n        <p>For mor
 e information, see <a target="_blank" href="https:
 //www.illc.uva.nl/coollogic/">https://www.illc.uva
 .nl/coollogic/</a> or contact <a class="email">coo
 llogic.uva <span class="at">at</span> gmail.com</a
 ></p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/6997/18-
 September-2015-Cool-Logic-Suzanne-van-Wijk-ILLC-
END:VEVENT
END:VCALENDAR