论文标题
树状的理由系统是一致的
Tree-Like Justification Systems are Consistent
论文作者
论文摘要
理由理论是一种抽象的统一形式主义，可捕获各种非单调逻辑的语义。一致性问题是一个有趣的问题是：在哪些条件下是事实的理由和对其否定相关的理由。存在两个理论的两个变体：一种理由是树是树，而它们是图形。在这项工作中，我们通过证明所有合理的树状理由系统都是一致的。
Justification theory is an abstract unifying formalism that captures semantics of various non-monotonic logics. One intriguing problem that has received significant attention is the consistency problem: under which conditions are justifications for a fact and justifications for its negation suitably related. Two variants of justification theory exist: one in which justifications are trees and one in which they are graphs. In this work we resolve the consistency problem once and for all for the tree-like setting by showing that all reasonable tree-like justification systems are consistent.
