Tackling Temporal Deontic Challenges with Equilibrium Logic

Soldà, Davide; Cabalar, Pedro; Ciabattoni, Agata; Neufeld, Emery

Use this link to cite:

https://hdl.handle.net/2183/45797

Tackling Temporal Deontic Challenges with Equilibrium Logic

Files

Cabalar_Pedro_2025_Tackling_Temporal_Deontic_Challenges_with_Equilibrium_Logic.pdf (781.61 KB)

Identifiers

URI: https://hdl.handle.net/2183/45797

DOI: 10.5555/3709347.3743832

Publication date

2025-06

Authors

Soldà, Davide

Cabalar, Pedro

Ciabattoni, Agata

Neufeld, Emery

Bibliographic citation

Davide Soldà, Pedro Cabalar, Agata Ciabattoni, and Emery Neufeld. 2025. Tackling Temporal Deontic Challenges with Equilibrium Logic. In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '25). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 1950–1958.

Abstract

[Abstract]: Combining temporal reasoning with normative requirements presents significant challenges. In this paper, we tackle the most relevant challenges in the literature from a computational perspective, using Answer Set Programming (ASP). We integrate Temporal Equilibrium Logic, the foundation of Temporal ASP, with Deontic Equilibrium Logic with Explicit Negation, to reason about norms in a temporal context. Our approach is validated by: (i) addressing key benchmarks for temporal normative systems, providing (ii) a normal form reduction that enables the use of existing tools, and (iii) a polynomial LTL reduction for a relevant logic fragment.

Description

Trabajo presentado a: 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), Detroit, Michigan, USA, May 19 – 23, 2025.