AXIOMATIZATION OF CREDULOUS REASONING IN RATIONAL DEFAULT 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
|
|
|
AXIOMATIZATION OF CREDULOUS REASONING IN RATIONAL DEFAULT LOGIC
|
| Id. |
45701869 |
| Idioma |
inglés
|
| Titulo |
AXIOMATIZATION OF CREDULOUS REASONING IN RATIONAL DEFAULT LOGIC |
| Autor(es) |
Mihaiela Lupea
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.7088
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. Nonmonotonic reasoning is succesfully formalized by the class of default logics. In this paper we introduce an axiomatic system for credulous reasoning in rational default logic. Based on classical sequent calculus and anti-sequent calculus, an abstract characterization of credulous nonmonotonic default inference in this variant of default logic is presented.
|
| Tipo |
application/pdf
|
| Palabras clave |
default logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cs.ubbcluj.ro/~studia-i/2007-1/11-Lupea.pdf
[References] 10.1.1.39.8211
[References] 10.1.1.56.4395
|
| Fecha de contribución |
27-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
