Cancelling and overshadowing two types of defeasibility in defeasible deontic logic

Authors:
Leendert W. N. Van Der Torre;Yao-Hua Tan
Affiliations:
EURIDIS, Tinbergen Inst and Dept of CS, Erasmus University Rotterdam, Rotterdam, The Netherlands;EURIDIS, Erasmus University Rotterdam, Rotterdam, The Netherlands
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Year:
1995

Citing 8
Cited 9

A theory of diagnosis from first principles

Artificial Intelligence
On the relation between default and autoepistemic logic

Artificial Intelligence
Violation of norms

ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Philosophical foundations of deontic logic and the logic of defeasible conditionals

Deontic logic in computer science
Defeasible deontic reasoning: a logic programming model

Deontic logic in computer science
Conditional logics of normality: a modal approach

Artificial Intelligence
Adding Priorities and Specificity to Default Logic

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Why Defeasible Deontic Logic needs a Multi Preference Semantics

ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Distinguishing different roles in normative reasoning

Proceedings of the 6th international conference on Artificial intelligence and law
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
Contrary-to-duty reasoning with preference-based dyadic obligations

Annals of Mathematics and Artificial Intelligence
Violation Contexts and Deontic Independence

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Prohairetic Deontic Logic (PDL)

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Phased Labeled Logics of Conditional Goals

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Defeasible Goals

ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Contextual Deontic Logic

Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
On the ontological status of norms

Law and the Semantic Web

Quantified Score

Hi-index	0.02

Visualization

Abstract

In this paper we give a general analysis of dyadic, deontir logics that were introduced in the early eventies to formalize deontic reasoning about subideal behavior Recently it was observed that they are closely related to nonmonotonic logics, theories of diagnosis and dc cision theories In particular, we argue that two types of defeasibihty must be distinguished in a defeasible deontic logic overridden defeasibility that formalizes cancelling of in obligation by other conditional obligations and factual defeasibility that formalizes, overshadowing of an obligation by a violating fact We also show that this, distinction is essential for an adequate analysis of notorious 'paradoxes of deontic logic such as the Chisholm and For rester Paradoxes.