Stable Normative Explanations: From Argumentation to Deontic Logic
This work addresses theoretical foundations for normative reasoning in AI, but appears incremental as it adapts existing concepts across formal frameworks.
This paper translates a stable explanation concept from Defeasible Logic into formal argumentation, then constructs deontic logic neighborhood structures to characterize it, with some complexity results provided.
This paper examines how a notion of stable explanation developed elsewhere in Defeasible Logic can be expressed in the context of formal argumentation. With this done, we discuss the deontic meaning of this reconstruction and show how to build from argumentation neighborhood structures for deontic logic where this notion of explanation can be characterised. Some direct complexity results are offered.