Default Logic and Specification of Nonmonotonic Reasoning
|
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
|
|
|
Default Logic and Specification of Nonmonotonic Reasoning
|
| Id. |
46221082 |
| Idioma |
inglés
|
| Titulo |
Default Logic and Specification of Nonmonotonic Reasoning |
| Autor(es) |
Joeri Engelfriet
V. Wiktor Marek
Jan Treur
Miroslaw Truszczynski
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.5714
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this paper constructions leading to the formation of belief sets by agents are studied. The focus is on the situation when possible belief sets are built incrementally in stages. An infinite sequence of theories that represents such a process is called a reasoning trace. A set of reasoning traces describing all possible reasoning scenarios for the agent is called a reasoning frame. Default logic by Reiter is not powerful enough to represent reasoning frames. In the paper a generalization of default logic of Reiter is introduced by allowing infinite sets of justifications. This formalism is called infinitary default logic. In the main result of the paper it is shown that every reasoning frame can be represented by an infinitary default theory. A similar representability result for antichains of theories (belief frames) is also presented.
|
| 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] http://www.cs.vu.nl/~wai/Papers/JETAI01emtt.ps
[References] 10.1.1.52.2724
[References] 10.1.1.56.1961
[References] 10.1.1.36.5281
[References] 10.1.1.19.3578
[References] 10.1.1.19.5744
[References] 10.1.1.19.6495
[References] 10.1.1.56.1961
[References] 10.1.1.36.5281
[References] 10.1.1.18.9438
|
| Fecha de contribución |
22-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
