Abstract
There is a fundamental difference between a conditional obligation being violated by a fact, and a conditional obligation being overridden by another conditional obligation. In this paper we analyze this difference in the multi preference semantics of our defeasible deontic logic DefDiode. The semantics contains one preference relation for ideality, which can be used to formalize deontic paradoxes like the Chisholm and Forrester paradoxes, and another preference relation for normality, which can be used to formalize exceptions. The interference of the two preference orderings generates new questions about preferential semantics.
This research was partially supported by the Esprit III Basic Research Project No.6156 Drums II and the Esprit III Basic Research Working Group No.8319 Modelage.
Preview
Unable to display preview. Download preview PDF.
References
C. Boutilier. Toward a logic for qualitative decision theory. In Proceedings of KR'94, 1994.
B.F. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.
R.M. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis, 24:33–36, 1963.
J.W. Forrester. Gentle murder, or the adverbial Samaritan. Journal of Philosophy, 81:193–197, 1984.
J.F. Horty. Deontic logic founded in nonmonotonic logic. Annals of Mathematics and Artificial Intelligence, 9:69–91, 1993.
A.J.I. Jones and M. Sergot. Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law, 1:45–64, 1992.
A.J.I. Jones and M. Sergot. Proceedings of the Second Workshop on Deontic Logic in Computer Science (Deon'94). Oslo, 1994.
D. Makinson. Five faces of minimality. Studia Logica, 52:339–379, 1993.
L.T. McCarty. Defeasible deontic reasoning. In Fourth International Workshop on Nonmonotonic Reasoning, Plymouth, 1992.
J.-J. Meyer and R. Wieringa. Deontic Logic in Computer Science: Proceedings of the First Workshop on Deontic Logic in Computer Science (Deon '91). John Wiley & Sons, 1993.
H. Prakken. Logical Tools for Modelling Legal Argument, Ph-D thesis. Amsterdam, 1993.
H. Prakken and M.J. Sergot. Contrary-to-duty imperatives, defeasibility and violability. In Proceedings of the Second Workshop on Deontic Logic in Computer Science (Deon'94), Oslo, 1994.
Y. Shoham. Reasoning About Change. MIT Press, 1988.
Y.-H. Tan and L.W.N. van der Torre. Representing deontic reasoning in a diagnostic framework. In Proceedings of the Workshop on Legal Applications of Logic Programming of the Eleventh International Conference on Logic Programming (ICLP'94), 1994.
L.W.N. van der Torre. Violated obligations in a defeasible deontic logic. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI'94), pages 371–375. John Wiley & Sons, 1994.
L.W.N. van der Torre and Y.-H. Tan. Cancelling and overshadowing: two types of defeasibility in defeasible deontic logic. Technical Report WP 95.02.01, Euridis, 1995. To appear in: Proceedings of the IJCAI-95.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tan, YH., der Torre, L.W.N. (1995). Why defeasible deontic logic needs a multi preference semantics. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_47
Download citation
DOI: https://doi.org/10.1007/3-540-60112-0_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60112-8
Online ISBN: 978-3-540-49438-6
eBook Packages: Springer Book Archive