Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos

El presente trabajo de investigación se propone reformular las condiciones para una definición de una función de contracción Horn que esta basada en la noción de importancia epistómica (EE: epistemic entrenchment) que es una construcción de contracción equivalente al modelo AGM. Dicha construcción c...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Valdez, Néstor Jorge, Falappa, Marcelo Alejandro
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2013
Materias:	Ciencias Informáticas contracción Horn importancia epistómica Horn Strengthening
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/76361 http://42jaiio.sadio.org.ar/proceedings/simposios/Trabajos/ASAI/20.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-76361
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas contracción Horn importancia epistómica Horn Strengthening
spellingShingle	Ciencias Informáticas contracción Horn importancia epistómica Horn Strengthening Valdez, Néstor Jorge Falappa, Marcelo Alejandro Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
topic_facet	Ciencias Informáticas contracción Horn importancia epistómica Horn Strengthening
description	El presente trabajo de investigación se propone reformular las condiciones para una definición de una función de contracción Horn que esta basada en la noción de importancia epistómica (EE: epistemic entrenchment) que es una construcción de contracción equivalente al modelo AGM. Dicha construcción considera disyunciones arbitrarias, las cuales no son aptas para entornos con lógicas Horn. Por ello es que se hace uso de una técnica de aproximación Horn conocida como Horn Strengthening. Es por ello que en este artículo se reformulan las condiciones para definir la función de contracción Horn basada en EE, y se prueba la validez de estas nuevas condiciones evaluóndolas con el conjunto de postulados que caracterizan este tipo de operacion, demostrando que la funcion de contracción Horn satisface ciertos postulados característicos.
format	Objeto de conferencia Objeto de conferencia
author	Valdez, Néstor Jorge Falappa, Marcelo Alejandro
author_facet	Valdez, Néstor Jorge Falappa, Marcelo Alejandro
author_sort	Valdez, Néstor Jorge
title	Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
title_short	Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
title_full	Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
title_fullStr	Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
title_full_unstemmed	Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
title_sort	dinámica de conocimiento: contracciones horn a partir de ordenamientos epistámicos
publishDate	2013
url	http://sedici.unlp.edu.ar/handle/10915/76361 http://42jaiio.sadio.org.ar/proceedings/simposios/Trabajos/ASAI/20.pdf
work_keys_str_mv	AT valdeznestorjorge dinamicadeconocimientocontraccioneshornapartirdeordenamientosepistamicos AT falappamarceloalejandro dinamicadeconocimientocontraccioneshornapartirdeordenamientosepistamicos
bdutipo_str	Repositorios
_version_	1764820488119386115

Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos

Ejemplares similares