Implementación de operadores de contracción múltiple para bases de creencias Horn

En la teoría de cambio de creencias, uno de los problemas claves es la implementación computacional en cuanto a operaciones de contracción múltiple en bases de creencias. Algunas aproximaciones pueden basarse en construcciones de tipo kernel o en construcciones de tipo partial meet. En este paper, p...

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: 2014
Materias:
Ciencias Informáticas
cambio de creencias
operadores de contracción múltiple
cláusulas Horn
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/42425
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-42425
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 múltiple
cláusulas Horn
spellingShingle Ciencias Informáticas
cambio de creencias
operadores de contracción múltiple
cláusulas Horn
Valdez, Néstor Jorge
Falappa, Marcelo Alejandro
Implementación de operadores de contracción múltiple para bases de creencias Horn
topic_facet Ciencias Informáticas
cambio de creencias
operadores de contracción múltiple
cláusulas Horn
description En la teoría de cambio de creencias, uno de los problemas claves es la implementación computacional en cuanto a operaciones de contracción múltiple en bases de creencias. Algunas aproximaciones pueden basarse en construcciones de tipo kernel o en construcciones de tipo partial meet. En este paper, pretendemos resolver este problema mediante el estudio de algoritmos para aplicar estas construcciones en cláusulas Horn. Las semejanzas observadas entre estos algoritmos sugiere que están sensiblemente relacionados. Mostramos su funcionalidad con ejemplos para el cálculo de los conjuntos de restos (remainder set) y los conjuntos kernel (kernel set) con cláusulas Horn. La ventaja de elegir cláusulas de Horn es que su estructura simple y propiedades únicas se pueden utilizar para mejorar la eficiencia del algoritmo.
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 Implementación de operadores de contracción múltiple para bases de creencias Horn
title_short Implementación de operadores de contracción múltiple para bases de creencias Horn
title_full Implementación de operadores de contracción múltiple para bases de creencias Horn
title_fullStr Implementación de operadores de contracción múltiple para bases de creencias Horn
title_full_unstemmed Implementación de operadores de contracción múltiple para bases de creencias Horn
title_sort implementación de operadores de contracción múltiple para bases de creencias horn
publishDate 2014
url http://sedici.unlp.edu.ar/handle/10915/42425
work_keys_str_mv AT valdeznestorjorge implementaciondeoperadoresdecontraccionmultipleparabasesdecreenciashorn
AT falappamarceloalejandro implementaciondeoperadoresdecontraccionmultipleparabasesdecreenciashorn
bdutipo_str Repositorios
_version_ 1764820473630162946

Ejemplares similares