Contextual Deontic Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Contextual Deontic Logic
|
| Id. |
41714073 |
| Idioma |
inglés
|
| Titulo |
Contextual Deontic Logic |
| Autor(es) |
Yao-hua Tan
|
| Localización |
http://citeseer.ist.psu.edu/278932.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this article we propose contextual deontic logic (CDL). Contextual obligations are written as
O(ffjfinfl), and are to be read as `ff should be the case if fi is the case, unless fl is the case'. The
unless clause is analogous to the justification in Reiter's default rules. We show how contextual
obligations can be used to solve certain aspects of contrary-to-duty paradoxes of dyadic deontic
logic.
1 Contrary-to-duty reasoning
In recent years several researchers have argued that deontic logic is a useful tool to model reasoning
in (legal) knowledge-based systems [JS92, RL92, Smi94, Roy96]. The problem, however, is that
deontic logic is hampered by the so-called deontic paradoxes. The contrary-to-duty paradoxes like
the notorious Chisholm paradox are the classic benchmark problems of deontic logics, which have
initiated developments of monadic deontic logics [Chi63, For84], dyadic deontic logics [Tom81] and
temporal deontic logics [vE82]. In this article we analyze certain aspec...
|
| Tipo |
ps
|
| Palabras clave |
Yao-hua Tan Contextual Deontic Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cs.vu.nl/~torre/papers/context97.ps.Z
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
