Crença, em inteligência artificial, é uma relação entre um agente e uma proposição (Ribeiro, p. 19). Dentro da IA, a teoria da revisão de crenças é usada para desenvolver sistemas baseados em conhecimento capazes de mudar suas bases de conhecimento racionalmente ao receberem novas informações. O papel da teoria de revisão de crenças, nesse caso, seria o de computar as operações de revisão e contração na base de conhecimento do agente.Fonte: RIBEIRO, Márcio Moretto. Revisão de crenças em lógicas de descrição e em outras lógicas não clássica. 2010. Tese (Doutorado em Ciência da Computação) – Instituto de Matemática e Estatística, Universidade de São Paulo. São Paulo, 2010.
