Pseudo-contractions in belief revision

Belief Revision addresses the problem of how to change epistemic states, usually represented in the literature by sets of logical sentences. Solid theoretical results were consolidated with the AGM paradigm, which deals with theories (logically closed sets of sentences). After that, the theory was extended to belief bases, that is, arbitrary sets of sentences. Besides all this theoretical framework, AI researchers face serious difficulties when trying to implement belief revision systems. One of the major complications is the closure required by AGM theory, which cannot be easily computed. Even belief bases, which do not require closure, seem to be improper for practical purposes, since their changes are usually very rigid (syntax dependent). Some operations, known as pseudo-contractions, are in the middle ground between belief set change and belief base change. In the present work we have proposed a new pseudo-contraction operation, studied its properties and characterized it. We have also found connections between this operator and some other pseudo-contractions.

Revisão de Crenças aborda o problema de como alterar estados epistêmicos, normalmente representados na literatura como conjuntos de sentenças lógicas. Resultados teóricos sólidos foram consolidados com o paradigma AGM, que lida com teorias (conjuntos de sentenças logicamente fechados). Depois disso, a teoria foi estendida para bases de crenças, isto é, conjuntos arbitrários de sentenças. Apesar de todo esse arcabouço teórico, pesquisadores de IA enfrentam sérias dificuldades ao tentar implementar sistemas de revisão de crenças. Uma das maiores complicações é o fecho exigido pela teoria AGM, que não pode ser facilmente computado. Mesmo bases de crenças, que não exigem fechamento, parecem ser impróprias para fins práticos, pois suas alterações são geralmente muito rígidas (dependentes de sintaxe). Algumas operações, conhecidas como pseudo-contrações, estão no meio do caminho entre mudanças para conjuntos de crenças e mudanças para bases de crenças. Nesse trabalho, propomos uma nova operação de pseudo-contração, estudamos suas propriedades e a caracterizamos. Também encontramos conexões entre esse operador e algumas outras pseudo-contrações.