<div class="csl-bib-body">
<div class="csl-entry">Hatschka, C., Ciabattoni, A., & Eiter, T. (2022, November 28). <i>Representing Normative Reasoning in Answer Set Programming Using Weak Constraints</i> [Conference Presentation]. TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/154091</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/154091
-
dc.description
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.
-
dc.language.iso
en
-
dc.subject
answer set programming
en
dc.subject
normative systems
en
dc.title
Representing Normative Reasoning in Answer Set Programming Using Weak Constraints
-
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Conference Presentation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
80
-
tuw.researchTopic.value
20
-
tuw.publication.orgunit
E192-01 - Forschungsbereich Algorithms and Complexity
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.author.orcid
0000-0002-0881-8259
-
tuw.author.orcid
0000-0001-6003-6345
-
tuw.event.name
TAASP - Workshop on Trends and Applications of Answer Set Programming
-
tuw.event.startdate
28-11-2022
-
tuw.event.enddate
29-11-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Wien
-
tuw.event.country
AT
-
tuw.event.institution
TU Wien
-
tuw.event.presenter
Ciabattoni, Agata
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.languageiso639-1
en
-
item.openairetype
conference paper not in proceedings
-
item.grantfulltext
restricted
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
crisitem.author.dept
E192-01 - Forschungsbereich Algorithms and Complexity
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
