Representation Theory for 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
|
|
|
Representation Theory for Default Logic
|
| Id. |
46331732 |
| Idioma |
inglés
|
| Titulo |
Representation Theory for Default Logic |
| Autor(es) |
Wiktor Marek Jan
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.4378
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning agent. As such, it is inherently second-order. In this paper, we study the problem of representability of a family of theories as the set of extensions of a default theory. We give a complete solution to the problem of representability by means of default theories with finite set of defaults, and by means of normal default theories. We obtain partial results on representability by arbitrary (infinite, nonnormal) default theories. We construct examples of denumerable families of non-including theories that are not representable. We also study the concept of equivalence between default theories. 1
|
| Tipo |
application/postscript
|
| 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/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.cs.engr.uky.edu/cs/manuscripts/representation-dl.ps
[References] 10.1.1.48.6534
[References] 10.1.1.28.2800
|
| Fecha de contribución |
24-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
