Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Preferred answer sets for extended logic programs
Artificial Intelligence
Prioritized Autoepistemic Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Belief revision in a framework for default reasoning
Proceedings of the Workshop on The Logic of Theory Change
Sets, Sentences, and Some Logics about Imperatives
Fundamenta Informaticae - Deontic Logic in Computer Science
Prioritized conditional imperatives: problems and a new proposal
Autonomous Agents and Multi-Agent Systems
Moral particularism and deontic logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Hi-index | 0.00 |
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.