Weak Permission is not Well-Founded, Grounded and Stable
This addresses a theoretical issue in formal logic and AI for researchers in non-monotonic reasoning and deontic logic, but it is incremental as it builds on existing semantics.
The paper tackled the problem of capturing weak permission in non-monotonic reasoning with deontic conflicts, and found that it is not possible under well-founded, grounded, and stable semantics.
We consider the notion of weak permission as the failure to conclude that the opposite obligation. We investigate the issue from the point of non-monotonic reasoning, specifically logic programming and structured argumentation, and we show that it is not possible to capture weak permission in the presence of deontic conflicts under the well-founded, grounded and (sceptical) stable semantics.