pith. sign in

arxiv: 2509.25781 · v2 · pith:3T7IZUAPnew · submitted 2025-09-30 · 💻 cs.AI · cs.LO

Deontic Argumentation

Guido Governatori , Antonino Rotolo This is my paper

Pith reviewed 2026-05-18 13:20 UTC · model grok-4.3

classification 💻 cs.AI cs.LO
keywords deontic argumentationweak permissionargumentation semanticsconflicting obligationsnormative reasoningdeontic logic
0
0 comments X

The pith

A new semantics for deontic argumentation supports weak permission even with conflicting obligations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines Deontic Argumentation Theory to incorporate weak permission into normative reasoning frameworks. It recalls that grounded semantics cannot derive weak permission when two obligations conflict. The authors then introduce a new semantics designed to support weak permission while preserving consistency in the presence of such conflicts.

Core claim

The authors define a Deontic Argumentation Theory and propose a new semantics that supports weak permission, in contrast to grounded semantics which fail to do so when obligations conflict.

What carries the argument

The new semantics for Deontic Argumentation Theory, which extends standard argumentation to handle deontic notions including weak permission under obligation conflicts.

If this is right

  • Weak permission becomes derivable even when obligations directly conflict.
  • The argumentation framework can now represent normative scenarios that mix obligations and permissions without collapse.
  • Reasoning about what is permitted in the absence of explicit prohibition can be formalized inside the same structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach may extend to other domains where permissions must coexist with duties, such as regulatory compliance systems.
  • Integration with additional argumentation semantics could be tested to check whether weak permission remains supported.

Load-bearing premise

The new semantics correctly captures the intended meaning of weak permission and stays consistent with conflicting obligations.

What would settle it

An example of two conflicting obligations where the new semantics either fails to output weak permission or yields an inconsistent set of conclusions.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The paper addresses the issue of defining a semantics for deontic argumentation that supports weak permission. It recalls that grounded semantics fail to support weak permission under conflicting obligations, provides a definition of Deontic Argumentation Theory, and proposes a new semantics intended to account for weak permission.

Significance. If the new semantics can be shown to correctly encode weak permission while preserving deontic consistency (no simultaneous derivation of conflicting obligations and their permissions) in obligation-conflict cases, the result would usefully extend argumentation-based approaches to normative reasoning beyond the limitations of grounded semantics.

major comments (1)
  1. [Abstract / Proposed new semantics] Abstract and definition of the new semantics: the manuscript supplies only a definitional sketch and recalls the negative result for grounded semantics, but contains no explicit consistency theorem, model-theoretic argument, or worked example demonstrating that the new semantics grants weak permission without deriving both O(p) and O(¬p) (plus permissions) when the argumentation framework encodes two conflicting obligations. This check is load-bearing for the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful review and for identifying the need for stronger verification of the new semantics' properties. We respond point-by-point to the major comment and will revise the manuscript to address it.

read point-by-point responses

  1. Referee: [Abstract / Proposed new semantics] Abstract and definition of the new semantics: the manuscript supplies only a definitional sketch and recalls the negative result for grounded semantics, but contains no explicit consistency theorem, model-theoretic argument, or worked example demonstrating that the new semantics grants weak permission without deriving both O(p) and O(¬p) (plus permissions) when the argumentation framework encodes two conflicting obligations. This check is load-bearing for the central claim.

    Authors: We agree that the current manuscript provides only a definitional sketch of the new semantics and recalls the grounded semantics limitation without including an explicit consistency theorem, model-theoretic argument, or worked example. This is a fair observation. In the revised version we will add a concrete worked example of an argumentation framework with two conflicting obligations O(p) and O(¬p), explicitly showing how the new semantics derives weak permission for both without simultaneously deriving the conflicting obligations (and their permissions). We will also include a short consistency argument derived directly from the semantics definition to substantiate the central claim. revision: yes

Circularity Check

0 steps flagged

No significant circularity; constructive proposal of new semantics

full rationale

The paper recalls a prior negative result that grounded semantics fail to support weak permission under conflicting obligations, then supplies a definition of Deontic Argumentation Theory and proposes an alternative semantics explicitly constructed to account for weak permission. This is a definitional and constructive step rather than any reduction of the claimed result to its own inputs by construction, self-citation, or fitted parameter. No equations, uniqueness theorems, or ansatzes are shown to collapse into the target claim; the derivation remains self-contained against the external benchmark of the recalled grounded-semantics failure.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no details on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5570 in / 935 out tokens · 37450 ms · 2026-05-18T13:20:08.655013+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    Alchourr´ on

    Carlos E. Alchourr´ on. Logic of norms and logic of normative propositions.Logique et Analyse, 12(47):242–268, 1969

    work page 1969

  2. [2]

    Alchourr´ on and Eugenio Bulygin.Normative Systems

    Carlos E. Alchourr´ on and Eugenio Bulygin.Normative Systems. LEP Library of Exact Philosophy. Springer Vienna, 1971. ISBN 9783211810194

    work page 1971

  3. [3]

    Alchourr´ on and Eugenio Bulygin

    Carlos E. Alchourr´ on and Eugenio Bulygin. Permission and permissive norms. In W. Krawietz et al., editor,Theorie der Normen. Duncker & Humblot, 1984

    work page 1984

  4. [4]

    Defeasible normative reasoning: A proof-theoretic integration of logical argumentation

    Ofer Arieli, Kees van Berkel, and Christian Straßer. Defeasible normative reasoning: A proof-theoretic integration of logical argumentation. InProceedings of the AAAI Conference on Artificial Intelligence (AAAI 2024), pages 10450–10458, 2024. doi: 10.1609/aaai.v38i9.28913

    work page doi:10.1609/aaai.v38i9.28913 2024

  5. [5]

    Trevor J. M. Bench-Capon. Persuasion in practical argument using value-based argumentation frameworks.J. Log. Comput., 13(3):429–448, 2003. doi: 10.1093/ LOGCOM/13.3.429. URL https://doi.org/10.1093/logcom/13.3.429

    work page doi:10.1093/logcom/13.3.429 2003

  6. [6]

    Bongiovanni, G

    G. Bongiovanni, G. Postema, A. Rotolo, G. Sartor, C. Valentini, and D. Walton, editors.Handbook in Legal Reasoning and Argumentation. Springer, Dordrecht, Netherland, 2011

    work page 2011

  7. [7]

    C´ elia da Costa Pereira, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Andrea G. B. Tettamanzi, Leendert W. N. van der Torre, and Serena Villata. Handling norms in multi-agent systems by means of formal argumentation.IFColog Journal of Logics and their Applications, 4(9):3039–3073, 2017

    work page 2017

  8. [8]

    Stable normative explanations: From argumentation to deontic logic

    Cecilia Di Florio, Guido Governatori, Antonino Rotolo, and Giovanni Sartor. Stable normative explanations: From argumentation to deontic logic. In Sarah Gaggl, Maria Vanina Martinez, and Magdalena Ortiz, editors,18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 ofLNCS, pages 123–131, Cham, 2023. Springer Nature. doi:...

    work page doi:10.1007/978-3-031-43619-2 2023

  9. [9]

    Dik and R

    J. Dik and R. Markovich. Modeling judicial discretion with nuanced permissions. InProc. JURIX 2024. IOS Press, 2024. 19

    work page 2024

  10. [10]

    On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Artificial Intelligence, 77(2):321–358, 1995

    Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Artificial Intelligence, 77(2):321–358, 1995. doi: 10.1016/0004-3702(94)00041-X

    work page doi:10.1016/0004-3702(94)00041-x 1995

  11. [11]

    Fuller.The Morality of Law

    Lon L. Fuller.The Morality of Law. Yale University Press, New Haven, revised edition edition, 1969

    work page 1969

  12. [12]

    On the relationship between Carneades and defeasible logic

    Guido Governatori. On the relationship between Carneades and defeasible logic. In Kevin D. Ashley and Tom M. van Engers, editors,Thirteenth International Conference on Artificial Intelligence and Law (ICAIL 2011), pages 31–40. ACM,

    work page 2011

  13. [13]

    doi: 10.1145/2018358.2018362

    work page doi:10.1145/2018358.2018362

  14. [14]

    Weak permission is not well-founded, grounded and stable,

    Guido Governatori. Weak permission is not well-founded, grounded and stable,

    work page

  15. [15]

    URL https://arxiv.org/abs/2411.10624

    work page arXiv

  16. [16]

    Deontic ambiguities in legal reasoning

    Guido Governatori and Antonino Rotolo. Deontic ambiguities in legal reasoning. In Matthias Grabmair, Francisco Andrade, and Paulo Novais, editors,Nineteenth International Conference on Artificial Intelligence and Law (ICAIL 2023), pages 91–100. ACM, 2023. doi: 10.1145/3594536.3595175

    work page doi:10.1145/3594536.3595175 2023

  17. [17]

    Maher, David Billington, and Grigoris Antoniou

    Guido Governatori, Michael J. Maher, David Billington, and Grigoris Antoniou. Argumentation semantics for defeasible logics.Journal of Logic and Computation, 14(5):675–702, 2004. doi: 10.1093/logcom/14.5.675

    work page doi:10.1093/logcom/14.5.675 2004

  18. [18]

    Possible world semantics for defeasible deontic logic

    Guido Governatori, Antonino Rotolo, and Erica Calardo. Possible world semantics for defeasible deontic logic. In Thomas ˚Agotnes, Jan Broersen, and Dag Elgesem, editors,11th International Conference on Deontic Logic in Computer Science, volume 7393 ofLNCS, pages 46–60, Heidelberg, 2012. Springer

    work page 2012

  19. [19]

    Computing strong and weak permissions in defeasible logic.Journal of Philosophical Logic, 42(6):799–829, 2013

    Guido Governatori, Francesco Olivieri, Antonino Rotolo, and Simone Scanna- pieco. Computing strong and weak permissions in defeasible logic.Journal of Philosophical Logic, 42(6):799–829, 2013. doi: 10.1007/s10992-013-9295-1

    work page doi:10.1007/s10992-013-9295-1 2013

  20. [20]

    A deontic argumentation framework based on deontic defeasible logic

    Guido Governatori, Antonino Rotolo, and R´ egis Riveret. A deontic argumentation framework based on deontic defeasible logic. In Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, and Tran Cao Son, editors, PRIMA 2018, volume 11224 ofLNCS, pages 484–492. Springer, 2018. doi: 10. 1007/978-3-030-03098-8\ 33

    work page 2018

  21. [21]

    Modelling dialogues for optimal legislation

    Guido Governatori, Antonino Rotolo, R´ egis Riveret, and Serena Villata. Modelling dialogues for optimal legislation. InProceedings of the Seventeenth International Conference on Artificial Intelligence and Law, ICAIL 2019, Montreal, QC, Canada, June 17-21, 2019, pages 229–233. ACM, 2019. doi: 10.1145/3322640.3326731. URL https://doi.org/10.1145/3322640.3326731

    work page doi:10.1145/3322640.3326731 2019

  22. [22]

    The varieties of permission

    Sven Ove Hansson. The varieties of permission. In Dov Gabbay, John Horty, Xavier Parent, Ron van der Meyden, and Leendert van der Torre, editors,Handbook of Deontic Logic and Normative Reasoning, pages 195–240. College Publications, 2013

    work page 2013

  23. [23]

    Deontic logic: A historical survey and introduction

    Risto Hilpinen and Paul McNamara. Deontic logic: A historical survey and introduction. In Dov M. Gabbay, John Horty, Xavier Parent, Ron van der Meyden, and Leon van der Torre, editors,Handbook of Deontic Logic and Normative Reasoning, volume 1, pages 655–760. College Publications, London, 2013

    work page 2013

  24. [24]

    Kok, John-Jules Ch

    Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, and Gerard A. W. Vreeswijk. A formal argumentation framework for deliberation dialogues. In Peter McBurney, 20 Iyad Rahwan, and Simon Parsons, editors,Argumentation in Multi-Agent Systems, pages 31–48, Berlin, Heidelberg, 2011. Springer Berlin Heidelberg. ISBN 978-3- 642-21940-5

    work page 2011

  25. [25]

    David Makinson and Leendert W. N. van der Torre. Permission from an input/output perspective.J. Philos. Log., 32(4):391–416, 2003. doi: 10.1023/A: 1024806529939. URL https://doi.org/10.1023/A:1024806529939

    work page doi:10.1023/a: 2003

  26. [26]

    TheASPIC + framework for structured argumentation: a tutorial.Argument and Computation, 5(1):31–62, 2014

    Sanjay Modgil and Henry Prakken. TheASPIC + framework for structured argumentation: a tutorial.Argument and Computation, 5(1):31–62, 2014. doi: 10.1080/19462166.2013.869766

    work page doi:10.1080/19462166.2013.869766 2014

  27. [27]

    Arguing about constitutive and regulative norms.Journal of Applied Non-Classical Logics, 28(2-3):189–217, 2018

    Gabriella Pigozzi and Leendert van der Torre. Arguing about constitutive and regulative norms.Journal of Applied Non-Classical Logics, 28(2-3):189–217, 2018. doi: 10.1080/11663081.2018.1487242

    work page doi:10.1080/11663081.2018.1487242 2018

  28. [29]

    Law and logic: A review from an argumenta- tion perspective.Artif

    Henry Prakken and Giovanni Sartor. Law and logic: A review from an argumenta- tion perspective.Artif. Intell., 227:214–245, 2015. doi: 10.1016/j.artint.2015.06.005. URL https://doi.org/10.1016/j.artint.2015.06.005

    work page doi:10.1016/j.artint.2015.06.005 2015

  29. [30]

    A deontic argumentation framework towards doctrine reification.IFColog Journal of Logics and their Applications, 6(5):903–940, 2019

    R´ egis Riveret, Antonino Rotolo, and Giovanni Sartor. A deontic argumentation framework towards doctrine reification.IFColog Journal of Logics and their Applications, 6(5):903–940, 2019

    work page 2019

  30. [31]

    A probabilistic deontic argumenta- tion framework.International Journal of Approximate Reasoning, 126:249–271,

    R´ egis Riveret, Nir Oren, and Giovanni Sartor. A probabilistic deontic argumenta- tion framework.International Journal of Approximate Reasoning, 126:249–271,

    work page

  31. [32]

    doi: 10.1016/j.ijar.2020.08.012

    work page doi:10.1016/j.ijar.2020.08.012 2020

  32. [33]

    Springer, Dordrecht, 2005

    Giovanni Sartor.Legal Reasoning: A Cognitive Approach to the Law. Springer, Dordrecht, 2005

    work page 2005

  33. [34]

    Normative reasoning by sequent-based argumen- tation.Journal of Logic and Computation, 29(3):387–415, 2019

    Christian Straßer and Ofer Arieli. Normative reasoning by sequent-based argumen- tation.Journal of Logic and Computation, 29(3):387–415, 2019. ISSN 0955-792X. doi: 10.1093/logcom/exv050

    work page doi:10.1093/logcom/exv050 2019

  34. [35]

    Reasoning with and about norms in logical argumentation

    Kees van Berkel and Christian Straßer. Reasoning with and about norms in logical argumentation. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Cami- nada, and Hiroyuki Kido, editors,Computational Models of Argument (COMMA 2022), pages 332–343. IOS Press, 2022. doi: 10.3233/FAIA220164

    work page doi:10.3233/faia220164 2022

  35. [36]

    Towards deontic explanations through dialogue

    Kees van Berkel and Christian Straßer. Towards deontic explanations through dialogue. In Timotheus Kampik, Kristijonas Cyras, Antonio Rago, and Oana Cocarascu, editors,Proceedings of the 2nd International Workshop on Argumen- tation for eXplainable AI co-located with the 10th International Conference on Computational Models of Argument (COMMA 2024), volum...

    work page 2024

  36. [37]

    Leendert W. N. van der Torre and Serena Villata. An ASPIC-based legal argu- mentation framework for deontic reasoning. In Simon Parsons, Nir Oren, Chris Reed, and Federico Cerutti, editors,Computational Models of Argument COMMA 2014, volume 266 ofFrontiers in Artificial Intelligence and Applications, pages 421–432. IOS Press, 2014. doi: 10.3233/978-1-6149...

    work page doi:10.3233/978-1-61499-436-7-421 2014

  37. [38]

    Meyer, J

    Zhe Yu and Yiwei Lu. Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic.arXiv, 2024. doi: 10.48550/arxiv.2409. 11780. 22

    work page doi:10.48550/arxiv.2409 2024