de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Buchkapitel

Contextual Deontic Logic: violation contexts and factual defeasibility

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. (1999). Contextual Deontic Logic: violation contexts and factual defeasibility. In M. Cavalcanti (Ed.), Formal Aspects in Context (pp. 173-192). Dordrecht, The Netherlands: Kluwer.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-000F-363A-2
Zusammenfassung
In this article we introduce Contextual Deontic Logic (CDL) to analyze the relation between deontic, contextual and defeasible reasoning. The optimal state, and therefore the set of active obligations, can change radically when the violation context changes. In such cases we say that the obligations only in force in the previous violation context are defeated; contextual deontic logic is therefore a defeasible deontic logic. This is expressed by the definition OC(A|B) = O(A|B\-C): `A ought to be (done) if B is (done) in the context where C is (done)' is defined as `A ought to be (done) if B is (done) unless -C is (done).' The unless clause formalizes explicit exceptions and is analogous to the justification in Reiter's default rules. CDL is a monotonic defeasible deontic logic, because it has factual defeasibility but not overridden defeasibility.