Stable Normative Explanations: From Argumentation to Deontic Logic

TL;DR

This paper explores how stable explanations in defeasible logic can be represented within formal argumentation and deontic logic, providing a framework for understanding normative reasoning and its computational complexity.

Contribution

It introduces a novel approach to formalize stable explanations in argumentation and deontic logic, linking explanation, normative reasoning, and complexity analysis.

Findings

Formalization of stable explanations in argumentation

Construction of neighborhood structures for deontic logic

Complexity results for the proposed framework

Abstract

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.