Editing Belief revision (section)

{{distinguish|Belief propagation}}

{{Short description|Process of changing beliefs to take into account a new piece of information}}
{{inline citations|date=August 2024}}
'''Belief revision''' (also called '''belief change''') is the process of changing beliefs to take into account a new piece of information. The [[formal logic|logical]] formalization of belief revision is researched in [[philosophy]], in [[databases]], and in [[artificial intelligence]] for the design of [[intelligent agent|rational agent]]s.

What makes belief revision non-trivial is that several different ways for performing this operation may be possible. For example, if the current knowledge includes the three facts "<math>A</math> is true", "<math>B</math> is true" and "if <math>A</math> and <math>B</math> are true then <math>C</math> is true", the introduction of the new information "<math>C</math> is false" can be done preserving consistency only by removing at least one of the three facts. In this case, there are at least three different ways for performing revision. In general, there may be several different ways for changing knowledge.