Epistemic Logics in AI


Date: Aug 10
th 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)

Preliminary Program:
20 mins (talk) +10 mins (discussion) /slot

20 mins (talk) +10 mins (discussion)/slot

09:10 Opening
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

Break 15:30-16:00
Discussion 16:00-17:30

17:30-18:00 A walking tour in the campus of PKU
Dinner 18:00- @ Qian Qing Wu near the campus