Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Minimal Temporal Epistemic 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

 Marcadores Sociales
Minimal Temporal Epistemic Logic
Id. 979804
Idioma inglés
Titulo Minimal Temporal Epistemic Logic
Autor(es) Engelfriet, Joeri
Localización http://projecteuclid.org/euclid.ndjfl/1040046088
Notre Dame J. Formal Logic 37, no. 2 (1996), 233-259
doi:10.1305/ndjfl/1040046088
Versión 1.0
Estado Final
Descripción In the study of nonmonotonic reasoning the main emphasis has been on static (declarative) aspects. Only recently has there been interest in the dynamic aspects of reasoning processes, particularly in artificial intelligence. We study the dynamics of reasoning processes by using a temporal logic to specify them and to reason about their properties, just as is common in theoretical computer science. This logic is composed of a base temporal epistemic logic with a preference relation on models, and an associated nonmonotonic inference relation, in the style of Shoham, to account for the nonmonotonicity. We present an axiomatic proof system for the base logic and study decidability and complexity for both the base logic and the nonmonotonic inference relation based on it. Then we look at an interesting class of formulas, prove a representation result for it, and provide a link with the rule of monotonicity.
Tipo application/pdf
Palabras clave 03B60
Tipo de recurso Text
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright sí
Copyright 1996 Duke University Press
Formatos application/pdf
Requerimientos técnicos Browser: Any
Fecha de contribución 21-nov-2008
Contacto

Valoración de los usuarios

No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso.