An update semantics for prima facie obligations

van der Torre, Leendert W. N.; Tan, Yao-Hua

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

An update semantics for prima facie obligations

MPS-Authors

van der Torre, Leendert W. N.
Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

van der Torre, L. W. N., & Tan, Y.-H. (1998). An update semantics for prima facie obligations. In H. Prade (Ed.), Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98) (pp. 38-42). Chichester, USA: Wiley.

Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-3817-4

Abstract

The deontic logic DUS is a Deontic Update Semantics for prescriptive obligations based on the update semantics of Veltman. In DUS the definition of logical validity of obligations is not based on static truth values but on dynamic action transitions. In this paper prescriptive prima facie obligations are formalized in update semantics. The logic formalizes the specificity principle, has reinstatement and does not have an irrelevance problem. Moreover, it handles the diagnostic problem by distinguishing between overridden, conflict and factual defeasibility.