4 research outputs found
Belief merging within fragments of propositional logic
Recently, belief change within the framework of fragments of propositional
logic has gained increasing attention. Previous works focused on belief
contraction and belief revision on the Horn fragment. However, the problem of
belief merging within fragments of propositional logic has been neglected so
far. This paper presents a general approach to define new merging operators
derived from existing ones such that the result of merging remains in the
fragment under consideration. Our approach is not limited to the case of Horn
fragment but applicable to any fragment of propositional logic characterized by
a closure property on the sets of models of its formulae. We study the logical
properties of the proposed operators in terms of satisfaction of merging
postulates, considering in particular distance-based merging operators for Horn
and Krom fragments.Comment: To appear in the Proceedings of the 15th International Workshop on
Non-Monotonic Reasoning (NMR 2014
Dise帽o de un algoritmo para la revisi贸n de creencias entre formas conjuntivas
"El problema a tratar en este trabajo de tesis es proponer un algoritmo para la revisi贸n y actualizaci贸n de una base de conocimiento usando l贸gica proposicional. Una base de conocimiento almacena conocimiento en una forma legible para la computadora, usualmente con el fin de obtener razonamiento deductivo autom谩tico aplicado a ellas, las cuales contienen una serie de datos en forma de reglas que describen el conocimiento de manera l贸gicamente consistente usando operadores l贸gicos"