论文标题
在嵌套的理由系统（完整版）上
On Nested Justification Systems (full version)
论文作者
论文摘要
理由理论是对基于规则的语言语义的定义的一般框架，具有很高的解释潜力。嵌套的理由系统，首先由Denecker等人引入。 （2015年），允许理由系统的组成。因此，这种嵌套的概念可以实现基于规则语言的语义的模块化定义，并增加了辩护理论的代表性。正如我们在本文中所示，嵌套辩护系统的原始语义导致与解释相关的信息丢失。鉴于这个问题，我们提供了嵌套理由系统语义的替代表征，并表明该特征等同于原始语义。此外，我们展示了嵌套的辩护系统如何允许表示FIXPOINT定义（Hou and DeNecker 2009）。
Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al. (2015), allow for the composition of justification systems. This notion of nesting thus enables the modular definition of semantics of rule-based languages, and increases the representational capacities of justification theory. As we show in this paper, the original semantics for nested justification systems lead to the loss of information relevant for explanations. In view of this problem, we provide an alternative characterization of semantics of nested justification systems and show that this characterization is equivalent to the original semantics. Furthermore, we show how nested justification systems allow representing fixpoint definitions (Hou and Denecker 2009).
