Operadores de cambio múltiples en bases de creencias bajo lógica Horn

Esta línea de investigación tiene como objetivo estudiar en el marco de la teoría de cambio de creencias los operadores de cambio múltiple, es decir, operadores en que la entrada epistémica es un conjunto de sentencias en lugar de una única sentencia. Para ello, se analizan los resultados generales...

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: 2016
Materias:
Ciencias Informáticas
revisión de creencias
cambio múltiples Horn
bases de creencias
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/52711
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-52711
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
revisión de creencias
cambio múltiples Horn
bases de creencias
spellingShingle Ciencias Informáticas
revisión de creencias
cambio múltiples Horn
bases de creencias
Valdez, Néstor Jorge
Falappa, Marcelo Alejandro
Operadores de cambio múltiples en bases de creencias bajo lógica Horn
topic_facet Ciencias Informáticas
revisión de creencias
cambio múltiples Horn
bases de creencias
description Esta línea de investigación tiene como objetivo estudiar en el marco de la teoría de cambio de creencias los operadores de cambio múltiple, es decir, operadores en que la entrada epistémica es un conjunto de sentencias en lugar de una única sentencia. Para ello, se analizan los resultados generales presentados sobre operadores de revisión múltiples priorizadas y no-priorizadas en bases de creencias y otros referidos a modelos de contracción simultánea para conjunto de sentencias denominada package contraction. Estudiaremos y definiremos a estos operadores de cambios múltiple bajo una lógica más restringida que la lógica proposicional clásica como es la lógica Horn. Así también, investigar diferentes operadores de cambio y las interrelaciones entre ellos. Esto permitirá desarrollar nuevos algoritmos de cambio múltiple y sus respectivas caracterizaciones axiomáticas.
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 Operadores de cambio múltiples en bases de creencias bajo lógica Horn
title_short Operadores de cambio múltiples en bases de creencias bajo lógica Horn
title_full Operadores de cambio múltiples en bases de creencias bajo lógica Horn
title_fullStr Operadores de cambio múltiples en bases de creencias bajo lógica Horn
title_full_unstemmed Operadores de cambio múltiples en bases de creencias bajo lógica Horn
title_sort operadores de cambio múltiples en bases de creencias bajo lógica horn
publishDate 2016
url http://sedici.unlp.edu.ar/handle/10915/52711
work_keys_str_mv AT valdeznestorjorge operadoresdecambiomultiplesenbasesdecreenciasbajologicahorn
AT falappamarceloalejandro operadoresdecambiomultiplesenbasesdecreenciasbajologicahorn
bdutipo_str Repositorios
_version_ 1764820476275720193

Ejemplares similares