Presentation - Conference Presentation

English

Hatschka, Christian 
Ciabattoni, Agata 
Eiter, Thomas 

E192-01 - Forschungsbereich Algorithms and Complexity 
E192-03 - Forschungsbereich Knowledge Based Systems 
E192-05 - Forschungsbereich Theory and Logic 

28-Nov-2022

TAASP - Workshop on Trends and Applications of Answer Set Programming 

28-Nov-2022 - 29-Nov-2022

Wien, Austria

answer set programming; normative systems

Deontic logics and normative reasoning keep gaining importance, as ethical AI and multi-agent systems are becoming increasingly more relevant these days, and tools that support decision making based on norms and regulations are needed. Challenges to this are illustrated by well known benchmark examples (referred to as deontic paradoxes) on which common deontic logics, e.g., Standard Deontic Logic, fail. In this work we encode a range of famous paradoxes in Answer Set Programming (ASP) using weak constraints. Their abstraction and generalization provides a plain methodology for encoding normative systems in this language. An experimental comparison to the normative supervisor by Neufeld et al. (CADE 2021) on "ethical" Pacman shows that the ASP encoding leads to comparable performance but ethically preferable results.

Logic and Computation: 80%
Mathematical and Algorithmic Foundations: 20%

1020 - Informatik: 80%
1010 - Mathematik: 20%