务实的可能性的不可逾越的道义逻辑-研究论文

我们介绍了Deontic Defeasible Logic的一种变体来处理务实的奇数问题。 关键思想是，仅当每个单独的义务独立于对其他义务的违反时，才允许使用合取义务。 该解决方案在保持可行的计算复杂性的同时，也充分利用了逻辑的证明结构理论。