Revisão de Crenças é uma área de pesquisa em filosofia formal que utiliza a Lógica para produzir modelos de como agentes humanos e artificiais mudam suas crenças em resposta a novas informações. As propriedades de tais modelos são investigadas a fim de melhorar nossa compreensão de como as crenças podem ser alteradas, com ênfase particular no que significa fazê-lo de uma forma racional.
Ao combinar ferramentas lógicas com representações de escolha de uma forma inovadora, o modelo AGM de Revisão de Crenças foi extensivamente estudado e se desenvolveu rapidamente e em várias direções, não apenas influenciado por, mas também contribuindo para, duas áreas distintas principais: Filosofia e Ciência da Computação.
Neste tutorial para o LógicaMX (que pode ser acessado abaixo, em inglês) apresento uma breve introdução ao tema. LógicaMX é um projeto sem fins lucrativos que promove a difusão da lógica, sua filosofia e suas aplicações, visando promover o acesso gratuito a conteúdos educacionais de alta qualidade.