TU Wien Informatics

Ten Challenges for Deontic Logic in AI

  • By Claudia Vitt (edt.)
  • 2020-11-03
  • Talk
  • Event
  • PhD School

The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).

  • This event takes place online.
    See description for details.

You ought to pay tax, but if you don’t, then you should keep it a secret: Ten challenges for deontic logic in AILeon van der Torre (University of Luxembourg)

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, Leon van der Torre will 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.




The lecture series on research talks by the visiting professors of the Vienna PhD School of Informatics can also be credited as an elective course for students of master programs of computer science: LVA 195.072 Current Trends in Computer Science.

Access

https://tuwien.zoom.us/j/97724636200

Meeting-ID: 977 2463 6200 Login via phone +4312535501,,97724636200# Austria +4312535502,,97724636200# Austria +43 12 535 501 Austria +43 12 535 502 Austria +43 670 309 0165 Austria +43 72 011 5988 Austria

About Leon van der Torre

Leon van der Torre joined the University of Luxembourg as a full professor for Artificial Intelligence in January 2006.
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).