An Update Semantics for Prima Facie Obligations (bibtex)
by Leendert W. N. van der Torre, Yao-Hua Tan
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.
Reference:
An Update Semantics for Prima Facie Obligations (Leendert W. N. van der Torre, Yao-Hua Tan), In ECAI, 1998.
Bibtex Entry:
@InProceedings{Torre1998c,
  Title                    = {An Update Semantics for Prima Facie Obligations},
  Author                   = {Leendert W. N. van der Torre and Yao-Hua Tan},
  Booktitle                = {ECAI},
  Year                     = {1998},
  Pages                    = {38-42},

  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.},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ecai98.ps.Z}
}
Powered by bibtexbrowser