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.
翻译:本文探讨了在可废止逻辑其他领域发展出的稳定解释概念如何形式化论证的背景下表达。在此基础上,我们讨论了这种重构的道义含义,并展示了如何从论证理论中构建适用于道义逻辑的邻域结构,其中这种解释概念可以得到刻画。此外,本文提供了一些直接的复杂性结论。