# Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

arXiv: https://arxiv.org/abs/2209.04553 · HTML: https://mlsanity.com/paper/2209.04553/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 25 references that are in the map.
- First posted on arXiv 9 Sep 2022.

## Builds on (most cited first, 1 of 1)

- [Thou Shalt is not You Will](https://mlsanity.com/paper/1404.1685/) (2014)

## Abstract (arXiv)

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.