论文标题
避免务实的奇数：自下而上的不性义逻辑
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic
论文作者
论文摘要
本文介绍了不可不理deontic逻辑的扩展，以解决务实的奇数问题。该逻辑应用三个一般原则：（1）必须在CTD推理的一般逻辑处理中解决务实的奇数问题； （2）必须采用非单调方法来处理CTD推理； （3）CTD推理的逻辑模型必须在计算上是可行的，并且（如果可能）有效。提议的不可义义逻辑的扩展详细阐述了政府机构和Rotolo（2019）提出的模型的初步版本。先前的解决方案是基于逻辑（建设性，自上而下的）证明理论的特定特征。但是，该方法引入了一定程度的非确定性。为了避免问题，我们提供了逻辑的自下而上表征。新的特征为有效实施逻辑提供了见解，并允许我们确定问题的计算复杂性。
This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (1) the Pragmatic Oddity problem must be solved within a general logical treatment of CTD reasoning; (2) non-monotonic methods must be adopted to handle CTD reasoning; (3) logical models of CTD reasoning must be computationally feasible and, if possible, efficient. The proposed extension of Defeasible Deontic Logic elaborates a preliminary version of the model proposed by Governatori and Rotolo (2019). The previous solution was based on particular characteristics of the (constructive, top-down) proof theory of the logic. However, that method introduces some degree of non-determinism. To avoid the problem, we provide a bottom-up characterisation of the logic. The new characterisation offers insights for the efficient implementation of the logic and allows us to establish the computational complexity of the problem.
