Uncertainty in Artificial Intelligence
First Name   Last Name   Password   Forgot Password   Log in!
    Proceedings         Authors   Author's Info   Article details         Search    
An Update Semantics for Defeasible Obligations
Leendert van der Torre, Yao-Hua Tan
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 defeasible obligations are formalized in update semantics and the diagnostic problem of defeasible deontic logic is discussed. Assume a defeasible obligation `normally A ought to be (done)' together withthe fact `A is not (done).' Is this an exception of the normality claim, or is it a violation of the obligation? In this paper we formalize the heuristic principle that it is a violation, unless there is a more specific overriding obligation. The underlying motivation from legal reasoning is that criminals should have as little opportunities as possible to excuse themselves by claiming that their behavior was exceptional rather than criminal.
Keywords: deontic logic, defeasible deontic logic, defeasible obligations, update semantics
Pages: 631-638
PS Link: http://abduction.euridis.fbk.eur.nl/~torre/papers/uai99.ps
PDF Link: /papers/99/p631-van_der_torre.pdf
@INPROCEEDINGS{van der Torre99,
AUTHOR = "Leendert van der Torre and Yao-Hua Tan",
TITLE = "An Update Semantics for Defeasible Obligations",
BOOKTITLE = "Proceedings of the Fifteenth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-99)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Francisco, CA",
YEAR = "1999",
PAGES = "631--638"

hosted by DSL   •   site info   •   help