From Classical to Non-monotonic Deontic Logic Using ASPIC+

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