Abstract
Making decisions despite conflicting norms and incomplete or unreliable information is a fundamental challenge for autonomous systems. We introduce a simple doxastic deontic logic for this setting: a classically reducible fragment of Chellas' Minimal Deontic Logic, extended with explicit conditional norms and combined with multi-agent KD45, so that norms can depend on agents' beliefs about both facts and norms. On this logic we define the Doxastic Norm Compliance Optimization Problem, where an agent chooses a decision minimizing weighted norm violations. We distinguish subjective optimization (relative to the agent's beliefs) from objective optimization (relative to the actual facts). We give conditions under which (i) the two coincide and (ii) optimal decision-making can be reduced to weighted partial MaxSAT in polynomial time.
Keywords
Subject
Publication details
- Journal
- Not available
- Open access
- Green open access
Cite this article
APA 7
Engesser, T., & Ciabattoni, A. (2026). A Simple Doxastic Deontic Logic for Norm-Guided Decision Making. https://omanscience.com/en/articles/a-simple-doxastic-deontic-logic-for-norm-guided-decision-making
MLA 9
Engesser, Thorsten, and Agata Ciabattoni. "A Simple Doxastic Deontic Logic for Norm-Guided Decision Making." https://omanscience.com/en/articles/a-simple-doxastic-deontic-logic-for-norm-guided-decision-making.
Chicago (author–date)
Engesser, Thorsten, and Agata Ciabattoni. 2026. "A Simple Doxastic Deontic Logic for Norm-Guided Decision Making." https://omanscience.com/en/articles/a-simple-doxastic-deontic-logic-for-norm-guided-decision-making.
Harvard
Engesser, T. and Ciabattoni, A. (2026) 'A Simple Doxastic Deontic Logic for Norm-Guided Decision Making', Available at: https://omanscience.com/en/articles/a-simple-doxastic-deontic-logic-for-norm-guided-decision-making.
Vancouver
Engesser T, Ciabattoni A. A Simple Doxastic Deontic Logic for Norm-Guided Decision Making. https://omanscience.com/en/articles/a-simple-doxastic-deontic-logic-for-norm-guided-decision-making
IEEE
T. Engesser, and A. Ciabattoni, "A Simple Doxastic Deontic Logic for Norm-Guided Decision Making," https://omanscience.com/en/articles/a-simple-doxastic-deontic-logic-for-norm-guided-decision-making.