ASP-Based Probabilistic Policy Fixing for Norm Compliant RL
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. Main Track. Pages 3765-3773.
https://doi.org/10.24963/ijcai.2026/419
Keywords
- Knowledge Representation and Reasoning: Reasoning about actions
- Knowledge Representation and Reasoning: Logic programming
Abstract
Reinforcement learning (RL) is commonly used to learn reward-optimizing policies. However, RL policies are not always trained with ethical behavior in mind, which can lead an agent to violate social or legal norms in pursuit of its goal. Retraining agents with additional norms is not always feasible, especially in complex stochastic environments. To mitigate this issue, we present a probabilistic policy fixing framework that adapts norm-agnostic policies online. Using Answer Set Programming (ASP), we generate policy fixes that minimize deviations from the RL policy while optimizing for norm adherence against a set of sampled worlds. Based on the Rule of Three and Hoeffding's inequality, we provide guarantees that fixed policies are near optimal, given a specified level of confidence.
@inproceedings{ijcai2026p419,
title = {ASP-Based Probabilistic Policy Fixing for Norm Compliant RL},
author = {Adam, Sebastian and Eiter, Thomas},
booktitle = {Proceedings of the Thirty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-26}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Diego Calvanese},
pages = {3765--3773},
year = {2026},
month = {8},
note = {Main Track},
doi = {10.24963/ijcai.2026/419},
url = {https://doi.org/10.24963/ijcai.2026/419},
}
TY - CPAPER TI - ASP-Based Probabilistic Policy Fixing for Norm Compliant RL AU - Adam, Sebastian AU - Eiter, Thomas T2 - Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26 PB - International Joint Conferences on Artificial Intelligence Organization PY - 2026 SP - 3765 EP - 3773 DO - 10.24963/ijcai.2026/419 UR - https://doi.org/10.24963/ijcai.2026/419 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: