Epistemic Logics in AI
Date: Aug 10th 2013
Venue: Yingjie Communication Centre, Room 5 (2nd floor) Peking University
Contact Person： Yanjing Wang
The goals: to reflect on different epistemic logical approaches used in AI; to create opportunities to future collaborations across research communities. There is no registration fee for this semi-closed event.
Natasha Alechina, Guillaume Aucher, Thomas Bolander, Andreas Herzig, Yves Lespérance, Yongmei Liu, and Yanjing Wang
Please prepare at most 5 slides (excl. the title page) on the following questions according to your research interests. You may focus on the questions to which you have the most to say.
Q1: What is your favorite epistemic logical framework and what are its advantages and disadvantages (comparisons are welcomed)?
Q2: What are the most difficult technical/conceptual issues to be solved related to the epistemic framework that you are using?
Q3: What kind of knowledge plays an important role in your epistemic logical work related to AI? Technically, why is the use of knowledge necessary in your work?
Q4: Can you give a benchmark example demonstrating the non-trivial use of nested knowledge in your work (e.g., A knows B knows...)? Is it scalable to industry applications?
Q5: What would you like to ask to the audience? (to be discussed in the panel discussion time)
20 mins (talk) +10 mins (discussion) /slot
20 mins (talk) +10 mins (discussion)/slot
09:30-10:00 Natasha Alechina
10:00-10:30 Yongmei Liu
Break 10:30 – 11:00
11:00-11:30 Guillaume Aucher
11:30-12:00 Thomas Bolander
Lunch 12:10-13:30 @ PKU campus (Nong Yuan 3rd floor)
13:30-14:00 Coffee time
14:00-14:30 Andreas Herzig
14:30-15:00 Yanjing Wang
15:00-15:30 Yves Lespérance
17:30-18:00 A walking tour in the campus of PKU
Dinner 18:00- @ Qian Qing Wu near the campus