Cambio de creencias: operadores de contracción utilizando cláusulas de Horn

Esta línea de investigación tiene como principal objetivo explorar las conexiones entre las diferentes construcciones para contracciones con lógica Horn en el área de la teoría de cambio de creencias. En años recientes se han planteado diversos enfoques para el uso de lenguajes con expresividad acot...

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 cambio de creencias operadores de contracción constructores de contracción Horn
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/27300
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-27300
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 cambio de creencias operadores de contracción constructores de contracción Horn
spellingShingle	Ciencias Informáticas cambio de creencias operadores de contracción constructores de contracción Horn Valdez, Néstor Jorge Falappa, Marcelo Alejandro Cambio de creencias: operadores de contracción utilizando cláusulas de Horn
topic_facet	Ciencias Informáticas cambio de creencias operadores de contracción constructores de contracción Horn
description	Esta línea de investigación tiene como principal objetivo explorar las conexiones entre las diferentes construcciones para contracciones con lógica Horn en el área de la teoría de cambio de creencias. En años recientes se han planteado diversos enfoques para el uso de lenguajes con expresividad acotada como, las cláusulas de Horn. Delgrande propuso funciones como la entailment-based contraction (e-contraction) y la inconsistency-based contraction (i-contraction). Richard Booth et al., desarrollaron a partir de la entailment-based contraction la operación conocida como infra-contraction. Zhuang y Pagnucco investigaron la correspondencia entre las relaciones de importancia epistémica EE-relations y las P-relation vinculándolas con sus respectivas construcciones de operadores de contracción. Como resultados, lograron caracterizar sus constructores EEHornC y TRPMHornC. La contribución de la presente investigación se resume en lo siguiente: establecer formalmente los problemas que surgieron en desarrollos anteriores y que soluciones proporcionan estos nuevos enfoques. Este tema de investigación resulta de interés ya que la lógica Horn ha encontrado un amplio uso en campos como en la IA, BD Deductivas, PL, entre otros.
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	Cambio de creencias: operadores de contracción utilizando cláusulas de Horn
title_short	Cambio de creencias: operadores de contracción utilizando cláusulas de Horn
title_full	Cambio de creencias: operadores de contracción utilizando cláusulas de Horn
title_fullStr	Cambio de creencias: operadores de contracción utilizando cláusulas de Horn
title_full_unstemmed	Cambio de creencias: operadores de contracción utilizando cláusulas de Horn
title_sort	cambio de creencias: operadores de contracción utilizando cláusulas de horn
publishDate	2013
url	http://sedici.unlp.edu.ar/handle/10915/27300
work_keys_str_mv	AT valdeznestorjorge cambiodecreenciasoperadoresdecontraccionutilizandoclausulasdehorn AT falappamarceloalejandro cambiodecreenciasoperadoresdecontraccionutilizandoclausulasdehorn
bdutipo_str	Repositorios
_version_	1764820467756040194

Cambio de creencias: operadores de contracción utilizando cláusulas de Horn

Ejemplares similares