Conditional logics of normality: a modal approach
Artificial Intelligence
Reasoning about knowledge
Applications of deontic logic in computer science: a concise overview
Deontic logic in computer science
Philosophical foundations of deontic logic and the logic of defeasible conditionals
Deontic logic in computer science
The temporal analysis of Chisholm's paradox
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Cancelling and overshadowing two types of defeasibility in defeasible deontic logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Violation Contexts and Deontic Independence
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Phased Labeled Logics of Conditional Goals
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Hi-index | 0.00 |
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. An obligation 'α should be (done) if β is (done)' is true if (1) no ¬αλβ state is as preferable as an αλβ state and (2) the preferred β states are α states. We show that the different elements of this mixed representation solve different problems of deontic logic. The first part of the definition is used to formalize contrary-toduty reasoning, that for example occurs in Chisholm's and Forrester's notorious deontic paradoxes. The second part is used to make dilemmas inconsistent. PDL shares the intuitive semantics of preference-based deontic logics without introducing additional semantic machinery such as bi-ordering semantics or ceteris paribus preferences.