Artificial Intelligence and Law

, Volume 14, Issue 1, pp 1–34

Deontic logics for prioritized imperatives

Article

DOI: 10.1007/s10506-005-5081-x

Cite this article as:
Hansen, J. Artif Intell Law (2006) 14: 1. doi:10.1007/s10506-005-5081-x

Abstract

When a conflict of duties arises, a resolution is often sought by use of an ordering of priority or importance. This paper examines how such a conflict resolution works, compares mechanisms that have been proposed in the literature, and gives preference to one developed by Brewka and Nebel. I distinguish between two cases – that some conflicts may remain unresolved, and that a priority ordering can be determined that resolves all – and provide semantics and axiomatic systems for accordingly defined dyadic deontic operators.

Keywords

deontic logiclogic of imperativespriorities

Copyright information

© Springer 2006

Authors and Affiliations

  1. 1.Institut für PhilosophieUniversität LeipzigLeipzigGermany