Preference-based deontic logics provide a foundation for normative reasoning but fail to distinguish between explicit allowances – specified by a designer – and implicit ones derived by inference. This distinction is crucial in systems where agents may act only if (explicitly or implicitly) permitted. In this paper, we formalize this inference by grounding the preference ordering over possible worlds in a permission base, i.e., a set of explicit allowances, and derive implicit permissions, as well as defeasible prohibitions and obligations. Our framework provides solutions to key deontic paradoxes and is a conservative extension of Åqvist’s dyadic deontic system F extended with cautious monotony. We illustrate the approach with a case study involving robotic agents operating under normative constraints and provide complexity results together with a QBF-based decision procedure to support automated reasoning.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

From Explicit Allowances to Defeasible Deontic Operators: A Modal View

  • Agata Ciabattoni,
  • Josephine Dik,
  • Emiliano Lorini,
  • Dominik Pichler,
  • Dmitry Rozplokhas

摘要

Preference-based deontic logics provide a foundation for normative reasoning but fail to distinguish between explicit allowances – specified by a designer – and implicit ones derived by inference. This distinction is crucial in systems where agents may act only if (explicitly or implicitly) permitted. In this paper, we formalize this inference by grounding the preference ordering over possible worlds in a permission base, i.e., a set of explicit allowances, and derive implicit permissions, as well as defeasible prohibitions and obligations. Our framework provides solutions to key deontic paradoxes and is a conservative extension of Åqvist’s dyadic deontic system F extended with cautious monotony. We illustrate the approach with a case study involving robotic agents operating under normative constraints and provide complexity results together with a QBF-based decision procedure to support automated reasoning.