The first (online) workshop of our project on “Logical Normativity and Logical Reasoning in AI Systems” is coming up. We are very happy that Sarit Kraus and Mark Jago will be our first speakers. Here’s the program (times are given in CET):
2 November 2020
10:00-10:05 Opening Remarks
10:05-11:20 Sarit Kraus (computer science, Bar-Ilan)
“Formal Models of Human Decision-making for Intelligent Systems that Interact Proficiently with Humans”
11:30-12:45 Mark Jago (philosophy, Nottingham)
“The Problem of Rational Knowledge”
13:00-14:00 round table discussion
Registration is free. Please send an email to: logicalnormativity@gmail.com
The link to the announcement on the HAI website is here.