Representation Theory for Default Logic
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Representation Theory for Default Logic
|
| Id. |
47457491 |
| Idioma |
inglés
|
| Titulo |
Representation Theory for Default Logic |
| Autor(es) |
V. Wiktor
Marek Jan Treur
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.7856
|
| 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 representability by means of normal default theories. We obtain partial results on representability by arbitrary default theories. In particular, we construct examples of denumerable families of nonincluding theories that are not representable. We also study the concept of equivalence between default theories. We show that for every normal default theory there exists a normal prerequisitefree theory with the same set of extensions. We derive a representation result connecting normal default logic with a version of CWA. 1
|
| 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.uky.edu/~marek/papers.dir/97.dir/treur1.pdf
[References] 10.1.1.48.6534
[References] 10.1.1.28.2800
|
| Fecha de contribución |
03-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
