Revisión de creencias
Revisión de creencias es el proceso de cambiar un estado de creencias (o estado epistémico) para representar nueva información. Se busca la formalización lógica de revisión de creencias en filosofía, base de datos y inteligencia artificial con el propósito de desarrollar agentes racionales.Lo que hace la revisión de creencias no trivial es la existencia de varias maneras diferentes para modificar un estado de creencias frente a nueva información. Por ejemplo, considere un estado de creencias en que las siguientes afirmaciones son verdaderas (o creídas): ""Juan es un sacerdote"" y ""Los sacerdotes no son casados"". Si el agente que sostiene estas creencias recibe la información ""Juan se casó"", su estado de creencias se vuelve inconsistente, y para resolverlo se debe eliminar una de las declaraciones. Si es así, entonces hay al menos tres formas de realizar la revisión. En general, varias formas posibles de cambiar una base de conocimientos.