A modular rule-based argumentation system is proposed to represent and reason upon conditional norms featuring obligations, prohibitions, and (strong or weak) permissions. The approach is based on common constructs in computational models of argument: rule-based arguments, argumentation graphs, argument labelling semantics and statement labelling semantics. Deontic reasoning patterns are captured with defeasible rule schemata to the greatest extent, towards the reification of doctrinal pieces. We show then that bivalent statement labellings can fall short to address normative completeness, and for this reason, we propose to use trivalent labelling semantics. Given an argumentation graph, deontic statuses can be computed efficiently. The system is illustrated with a scenario featuring a violation and a contrary-to-duty obligation.

A Deontic Argumentation Framework Towards Doctrine Reification

A. Rotolo
;
G. Sartor
2019

Abstract

A modular rule-based argumentation system is proposed to represent and reason upon conditional norms featuring obligations, prohibitions, and (strong or weak) permissions. The approach is based on common constructs in computational models of argument: rule-based arguments, argumentation graphs, argument labelling semantics and statement labelling semantics. Deontic reasoning patterns are captured with defeasible rule schemata to the greatest extent, towards the reification of doctrinal pieces. We show then that bivalent statement labellings can fall short to address normative completeness, and for this reason, we propose to use trivalent labelling semantics. Given an argumentation graph, deontic statuses can be computed efficiently. The system is illustrated with a scenario featuring a violation and a contrary-to-duty obligation.
2019
R. Riveret, A. Rotolo, G. Sartor
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/740574
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 5
social impact