Record link: 
http://hdl.handle.net/20.500.12708/190260
-
Title: 
Deontic Equilibrium Logic with eXplicit Negation
en
Citation: 
Cabalar, P., Ciabattoni, A., & van der Torre, L. (2023). Deontic Equilibrium Logic with eXplicit Negation. In S. A. Gaggl, M. V. Martinez, & M. Ortiz (Eds.), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings (pp. 498–514). Springer. https://doi.org/10.1007/978-3-031-43619-2_34
-
Publisher DOI: 
10.1007/978-3-031-43619-2_34
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Cabalar, Pedro 
Ciabattoni, Agata 
van der Torre, Leendert 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings 
-
ISBN: 
978-3-031-43619-2
-
Volume: 
14281
-
Date (published): 
2023
-
Event name: 
18th European Conference, JELIA 2023 
en
Event date: 
20-Sep-2023 - 22-Sep-2023
-
Event place: 
Dresden, Germany
-
Number of Pages: 
17
-
Publisher: 
Springer, Cham
-
Peer reviewed: 
Yes
-
Keywords: 
Deontic Logic; Answer Set Programming; SDL
en
Abstract: 
Equilibrium logic is a logical characterization of Answer Set Programming (ASP). We introduce Deontic Equilibrium Logic with eXplicit negation (DELX), its extension for normative reasoning. In contrast to modal approaches, DELX utilizes a normal form that restricts deontic operators solely to atoms. We establish that any theories in DELX can be reduced to ASP, and demonstrate the efficacy of this minimalist approach in addressing key challenges from the defeasible deontic logic literature.
en
Project title: 
Training and Guiding AI Agents with Ethical Rules: ICT22-023 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

129
checked on Dec 11, 2023

Download(s)

2
checked on Dec 11, 2023

Google ScholarTM

Check