Stable Normative Explanations: From Argumentation to Deontic Logic

要約

この論文は、Defeasible Logic の他の場所で開発された安定した説明の概念が形式的議論の文脈でどのように表現できるかを検討します。
これを完了した上で、この再構成の義務論的意味について議論し、この説明の概念を特徴付けることができる義務論的論理の議論近傍構造を議論から構築する方法を示します。
いくつかの直接的な複雑さの結果が提供されます。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google