TY - JOUR T1 - Sequent-Based Argumentation for Normative Reasoning JF - Deontic Logic and Normative Systems: Lecture Notes in Computer Science Y1 - 2014 A1 - Straßer, Christian A1 - Arieli, Ofer AB -

In this paper we present an argumentative approach to normative reasoning. Special attention is paid to normative conflicts, contrary-to-duty and specificity cases. These are modeled by means of argumentative attacks. For this, we adopt a recently proposed frame- work for logical argumentation in which arguments are generated by a sequent calculus of a given base logic (Arieli, CLIMA’2013, pp.69–85), and use an intuitionistic variant of stan- dard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge specific sequents. We demonstrate our system by means of various well-known benchmark examples.

VL - 8554 SP - 224–240 ER -