Conditional deontic logic augmented with defeasible reasoning

摘要

Deontic logic, developed as a logic of normative reasoning, is often too rigid to be applied to practical normative systems. First, it fails to reason about situations in the presence of deontic conflicts. Also, it suffers from various logical paradoxes. A possible approach to solve problems of deontic conflicts is to establish preference hierarchies of norms and reasoning about the nonmonotonicity. This paper provides a mechanism to establish such hierarchies and augments conditional deontic logic with defeasible reasoning in order to maintain consistency in the presence of deontic conflicts and resolve deontic paradoxes.