Beschreibung
The Vienna PhD School of Informatics cordially invites you to the following talk by
Prof. Leon van der Torre / University of Luxembourg
Title: You ought to pay tax, but if you don't, then you should keep it a secret:
Ten challenges for deontic logic in AI
Abstract:
Deontic logic formalizes normative reasoning in terms of logical relations between facts, obligations, prohibitions and permissions. It is used to reason about intelligent agents, to represent legal knowledge, and most recently, for explainable AI. In this overview talk I discuss ten challenges from the deontic logic literature, from the AI point of view that deontic logic may be seen as a branch of non-monotonic logic.
Short biography:
Leon van der Torre joined in January 2006 the University of Luxembourg as a full professor for Artificial Intelligence. He co-developed input/output logic, the game-theoretic approach to normative multi-agent systems, the ArchiMate approach and the LogiKEy methodology. He is a EurAI fellow, deputy editor-in-chief and deontic logic corner editor of Journal of Logic and Computation, member of editorial boards of Logic Journal of the IGPL and the IFCoLog Journal of Logics and their Applications, member and former chair of the DEON steering committee, and editor of the handbook of deontic logic and normative systems (2013, in preparation), handbook on formal argumentation (2018), handbook on normative multiagent systems (2018), and handbook on legal AI (In preparation).
Join via Zoom:
https://tuwien.zoom.us/j/97724636200
Meeting-ID: 977 2463 6200
Referent*innen
Prof. Leon van der Torre (University of Luxembourg)