Cumulativity, Identity and Time in Deontic Logic

Authors:
Xavier Parent
Affiliations:
Department of Philosophy, University of Aix-Marseille I, Aix-en-Provence, France/ e-mail: xp@up.univ-aix.fr
Venue:
Fundamenta Informaticae - Deontic Logic in Computer Science
Year:
2001

Citing 9
Cited 0

General theory of cumulative inference

Proceedings of the 2nd international workshop on Non-monotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems

Logics and models of concurrent systems
Philosophical foundations of deontic logic and the logic of defeasible conditionals

Deontic logic in computer science
Temporal reasoning over deontic specifications

Deontic logic in computer science
Temporal logic

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Defeasible logics: demarcation and affinities

Conditionals
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
Defining relative likelihood in partially-ordered preferential structures

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

We first analyse the future-orientated account of conditional obligation as put forth by David Makinson. We show that the introduction of the futurity dimension is not indispensable in the elimination of the identity principle. This leads us to a more general observation. Most systems of dyadic deontic logic either accept both the identity principle and the cumulativity condition, or exclude both. We then develop an account of defeasible conditional obligation based on the ``and next" operator, as a solution to this dilemma.