Estudio y formulación de operadores de cambio sobre bases de creencias Horn
La teoría de cambio de creencias estudia la forma en que un agente cambia sus creencias cuando adquiere nueva información. Así, el propósito principal de las investigaciones en el campo de la lógica de la teoría de cambio resulta en analizar cómo se producen tales cambios en el estado de creencia...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | tesis de maestría |
| Lenguaje: | Español |
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | http://repositoriodigital.uns.edu.ar/handle/123456789/538 |
| Aporte de: |
| Sumario: | La teoría de cambio de creencias estudia la forma en que un agente cambia
sus creencias cuando adquiere nueva información. Así, el propósito principal de
las investigaciones en el campo de la lógica de la teoría de cambio resulta en
analizar cómo se producen tales cambios en el estado de creencias de un agente.
Dos clases de cambios son principalmente estudiados, denominados contracción
y revisión, para la eliminación de antiguas creencias y para la incorporación de
nuevas creencias respectivamente.
Dentro del terreno de cambio de creencias la teoría dominante es el marco
AGM, donde las creencias son representadas como fórmulas lógicas, y asume una
lógica subyacente que es al menos tan expresivo como la lógica proposicional.
Debido a esta suposición, el marco AGM no se puede aplicar a sistemas con
lógicas subyacentes que son menos expresivos que la lógica proposicional clásica
tales como la lógica de Horn.
El objetivo de esta tesis es ampliar la utilidad del marco AGM mediante la
investigación de las contracciones de estilo AGM pero bajo lógica Horn y al que
denominamos como contracciones Horn. Nuestras investigaciones se centraron,
por un lado, en los principales métodos de construcción de contracción AGM.
Algunas de estas construcciones básicas ya fueron adaptados bajo lógica Horn,
siempre con respecto a una sola sentencia, sin embargo, su ampliación con respecto
a conjunto de sentencias aún no habían sido abordados. Unas de nuestras
contribuciones presentadas en esta tesis fue el de ampliar y adaptar estas construcciones
a la lógica Horn.
Las contracciones adaptadas de sentencias simples a sentencias múltiples son
los modelos basados en contracción Horn: partial meet Horn p-contraction, maxichoice
y full meet Horn p-contraction y infra Horn p-contraction. Además, se
presentan una caracterización axiomática para las nuevas clases de funciones de
contracción múltiples bajo lógica Horn.
Las contracciones Horn múltiples se restringen a fórmulas Horn, por lo que es
válido decir que una contracción Horn múltiple funciona tan racionalmente como
lo hace una contracción múltiple AGM. Es decir, una contracción Horn múltiple
es equivalente Horn a su equivalente original AGM si se comporta de manera
idéntica en términos de fórmulas Horn.
Por otro lado (y siguiendo con los tópicos de investigación de esta tesis),
se propone mejorar la comprensión y operabilidad de una de las funciones de
contracción formalizada bajo lógica Horn, nos referimos a la epistemic entrenchment
Horn contraction y su condición (HC ), obteniendo como resultado, una
forma aún más restringida a la ya existente para epistemic entrenchment Horn
contraction, y con el objetivo de que la nueva operación de contracción Horn
(modificada) satisfaga los postulados básicos y complementarios que caracterizan
las operaciones de contracción Horn basados en epistemic entrenchment. Se logra
con esto, una forma más apropiada de una operación de contracción Horn basado
en importancia epistémica. |
|---|