Infinitary Default Logic for 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
|
|
|
Infinitary Default Logic for Specification of Nonmonotonic Reasoning
|
| Id. |
46492852 |
| Idioma |
inglés
|
| Titulo |
Infinitary Default Logic for Specification of Nonmonotonic Reasoning |
| Autor(es) |
Joeri Engelfriet Wiktor
V. Wiktor Marek
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.331
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets are built incrementally in stages. We call an infinite sequence of theories that represents such a process 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 we introduce a generalization of default logic of Reiter by allowing infinite sets of justifications. We call this formalism infinitary default logic. In the main result of the paper we show 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. Keywords: default logic, extensions, infinitary default logic, representability 1 Introduction An agent that has to act in a world situation usually...
|
| 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.vu.nl/pub/joeri/JELIA96.1.ps.Z
[References] 10.1.1.56.1961
[References] 10.1.1.36.5281
[References] 10.1.1.19.3578
[References] 10.1.1.19.1983
[References] 10.1.1.19.250
|
| Fecha de contribución |
29-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
