From Classical to Non-monotonic Deontic Logic Using ASPIC$$^+$$

Huimin Dong,Beishui Liao,Réka Markovich,Leendert van der Torre
DOI: https://doi.org/10.1007/978-3-662-60292-8_6
2019-01-01
Abstract: In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC\(^+\) to define non-monotonic variants of well-understood modal logics. We illustrate the approach using argumentation about free-choice permission.
What problem does this paper attempt to address?