Table of Contents
Fetching ...

Deontic Argumentation

Guido Governatori, Antonino Rotolo

TL;DR

The paper tackles the problem of modeling weak permission within deontic argumentation, showing that grounded semantics fail when two obligations conflict. It introduces Deontic Argumentation Theory and, more broadly, a wp-semantics based on Defeasible Logic that distinguishes imaginary (weak-permission) and natural arguments, defines wp-acceptable/wp-rejected notions, and constructs a unique, conflict-free wp-extension. The results demonstrate that the wp-semantics can justify weak permission in cases where conflicts remain unresolved under grounding, while remaining an extension of grounded semantics. This framework advances rigorous deontic reasoning for legal and normative domains and suggests avenues for integrating with neighbourhood semantics and DDL.

Abstract

We address the issue of defining a semantics for deontic argumentation that supports weak permission. Some recent results show that grounded semantics do not support weak permission when there is a conflict between two obligations. We provide a definition of Deontic Argumentation Theory that accounts for weak permission, and we recall the result about grounded semantics. Then, we propose a new semantics that supports weak permission.

Deontic Argumentation

TL;DR

The paper tackles the problem of modeling weak permission within deontic argumentation, showing that grounded semantics fail when two obligations conflict. It introduces Deontic Argumentation Theory and, more broadly, a wp-semantics based on Defeasible Logic that distinguishes imaginary (weak-permission) and natural arguments, defines wp-acceptable/wp-rejected notions, and constructs a unique, conflict-free wp-extension. The results demonstrate that the wp-semantics can justify weak permission in cases where conflicts remain unresolved under grounding, while remaining an extension of grounded semantics. This framework advances rigorous deontic reasoning for legal and normative domains and suggests avenues for integrating with neighbourhood semantics and DDL.

Abstract

We address the issue of defining a semantics for deontic argumentation that supports weak permission. Some recent results show that grounded semantics do not support weak permission when there is a conflict between two obligations. We provide a definition of Deontic Argumentation Theory that accounts for weak permission, and we recall the result about grounded semantics. Then, we propose a new semantics that supports weak permission.

Paper Structure

This paper contains 7 sections, 8 theorems, 32 equations, 1 figure.

Key Result

Theorem 1

Let $D=(F,R)$ be a conflictual theory. For any conflicted literal $l$, $\mathop{\mathsf{perm}}\nolimits_w(l)$, $\mathop{\mathsf{perm}}\nolimits_w(\neg l)$ are not justified conclusions under grounded and stable semantics.

Figures (1)

  • Figure 1: Weak Permission and Facultative Conclusions

Theorems & Definitions (35)

  • Example 1
  • Definition 1
  • Definition 2
  • Definition 3: Attack
  • Example 2
  • Definition 4: Dung Semantics
  • Definition 5: Justified Argument
  • Definition 6: Justified Conclusion
  • Example 3
  • Definition 7
  • ...and 25 more