Sequent-Based Argumentation for Normative Reasoning [chapter]

Christian Straßer, Ofer Arieli
2014 Lecture Notes in Computer Science  
In this paper we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contraryto-duty and specificity cases. These are modeled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic (see [1]), and use standard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to
more » ... scharge specific sequents. We demonstrate our system by means of various well-known benchmark examples.
doi:10.1007/978-3-319-08615-6_17 fatcat:kjsfh6z2zjbkflp4gbn2duquf4