dc.contributor.author | RIVERET, Régis | |
dc.contributor.author | ROTOLO, Antonino | |
dc.contributor.author | SARTOR, Giovanni | |
dc.date.accessioned | 2021-03-01T13:32:24Z | |
dc.date.available | 2021-03-01T13:32:24Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | Journal of applied logics, 2019, Vol. 6, No. 5, pp. 903-939 | en |
dc.identifier.issn | 2055-3706 | |
dc.identifier.issn | 2055-3714 | |
dc.identifier.uri | https://hdl.handle.net/1814/70278 | |
dc.description | First published online: 31 August 2019 | en |
dc.description.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 labelling s 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. | en |
dc.language.iso | en | |
dc.publisher | College Publications | en |
dc.relation.ispartof | Journal of applied logics | en |
dc.title | A deontic argumentation framework towards doctrine reification | en |
dc.type | Article | |
dc.identifier.volume | 6 | |
dc.identifier.startpage | 903 | |
dc.identifier.endpage | 939 | |
eui.subscribe.skip | true | |
dc.identifier.issue | 5 | |