Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Contextual Deontic Logic: violation contexts and factual defeasibility

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.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
van der Torre, Leendert W. N.1, Autor
Tan, Yao-Hua, Autor
Affiliations:
1Max Planck Society, ou_persistent13              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121999
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Dordrecht, The Netherlands : Kluwer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519707
Anderer: Local-ID: C1256104005ECAFC-1432C4AD5CEF4674C125675100452F66-torre:context99
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Formal Aspects in Context
Genre der Quelle: Buch
 Urheber:
Cavalcanti, Marcos, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Dordrecht, The Netherlands : Kluwer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 173 - 192 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: Applied Logic Series
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -