Abstract
In this paper we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contrary-to-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 discharge specific sequents. We demonstrate our system by means of various well-known benchmark examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Arieli, O.: A sequent-based representation of logical argumentation. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds.) CLIMA XIV 2013. LNCS, vol. 8143, pp. 69–85. Springer, Heidelberg (2013)
Aqvist, L.: Deontic logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 147–264. Kluwer (2002)
Beirlaen, M., Straßer, C., Meheus, J.: An inconsistency-adaptive deontic logic for normative conflicts. Journal of Philosophical Logic 2(42), 285–315 (2013)
Carmo, J., Jones, A.J.I.: Deontic logic and contrary-to-duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 265–343. Kluwer (2002)
Straßer, C.: A deontic logic framework allowing for factual detachment. Journal of Applied Logic 9(1), 61–80 (2010)
Goble, L.: Deontic logic (adapted) for normative conflicts. Logic Journal of the IGPL (2013)
Horty, J.F.: Reasoning with moral conflicts. Noûs 37(4), 557–605 (2003)
Straßer, C., Beirlaen, M.: An Andersonian deontic logic with contextualized sanctions. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol. 7393, pp. 151–169. Springer, Heidelberg (2012)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artifical Intelligence 77, 321–358 (1995)
Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. Argumentation in Artificial Intelligence, 199–218 (2009)
Prakken, H.: An abstract framework for argumentation with structured arguments. Argument and Computation 1(2), 93–124 (2011)
Batens, D.: A universal logic approach to adaptive logics. Logica Universalis 1, 221–242 (2007)
Straßer, C.: Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning. Trends in Logic, vol. 38. Springer (2014)
Arieli, O., Straßer, C.: Dynamic derivations for sequent-based logical argumentation. To appear in the Proceedings of COMMA 2014. IOS Press (2014)
Gentzen, G.: Investigations into logical deduction (1934) An English translation appears in Szabo, M.E. (ed.): The Collected Works of Gerhard Gentzen. North-Holland (1969) (in German)
Horty, J.F.: Moral dilemmas and nonmonotonic logic. Journal of Philosophical Logic 23, 35–65 (1994)
Valentini, S.: The sequent calculus for the modal logic D. Unione Matematica Italiana. Bollettino. A. Serie 7(7), 3 (1993)
Forrester, J.: Gentle murder, or the adverbial samaritan. Journal of Philosophy 81, 193–197 (1984)
Stolpe, A.: A theory of permission based on the notion of derogation. Journal of Applied Logic 8(1), 97–113 (2010)
Caminada, M.: On the issue of contraposition of defeasible rules. Frontiers in Artificial Intelligence and Applications 172, 109–115 (2008)
Prakken, H.: Some reflections on two current trends in formal argumentation. In: Logic Programs, Norms and Action, pp. 249–272 (2012)
Van Der Torre, L., Tan, Y.H.: Cancelling and overshadowing: two types of defeasibility in defeasible deontic logic. In: Proc. IJCAI 1995, pp. 1525–1532 (1995)
Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1963)
Makinson, D., Van Der Torre, L.: Input/Output logics. Journal of Philosophical Logic 29, 383–408 (2000)
Makinson, D., Van Der Torre, L.: Constraints for Input/Output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)
Gonçalves, R., Alferes, J.J.: An embedding of input-output logic in deontic logic programs. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol. 7393, pp. 61–75. Springer, Heidelberg (2012)
Straßer, C., Beirlaen, M., Putte, F.V.D.: Dynamic proof theories for input/output logic. Under review (2014)
Gabbay, D.: Bipolar argumentation frames and contrary to duty obligations, preliminary report. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds.) CLIMA XIII 2012. LNCS, vol. 7486, pp. 1–24. Springer, Heidelberg (2012)
Oren, N., Luck, M., Miles, S., Norman, T.: An argumentation inspired heuristic for resolving normative conflict. In: Proc. AAMAS 2008, pp. 41–56 (2008)
Goble, L.: A proposal for dealing with deontic dilemmas. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 74–113. Springer, Heidelberg (2004)
Straßer, C.: An adaptive logic framework for conditional obligations and deontic dilemmas. Logic and Logical Philosophy 19(1-2), 95–128 (2010)
Meheus, J., Beirlaen, M., Van De Putte, F.: Avoiding deontic explosion by contextually restricting aggregation. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 148–165. Springer, Heidelberg (2010)
Makinson, D., Van Der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32(4), 391–416 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Straßer, C., Arieli, O. (2014). Sequent-Based Argumentation for Normative Reasoning. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds) Deontic Logic and Normative Systems. DEON 2014. Lecture Notes in Computer Science(), vol 8554. Springer, Cham. https://doi.org/10.1007/978-3-319-08615-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-08615-6_17
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08614-9
Online ISBN: 978-3-319-08615-6
eBook Packages: Computer ScienceComputer Science (R0)