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

Abstract

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.