Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Konferenzbeitrag

An update semantics for prima facie obligations

MPG-Autoren

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

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

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.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-000F-3817-4
Zusammenfassung
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.