Computational issues in belief revision

Belief revision systems are computer programs that deal with contradictions. They reason from the propositions in a knowledge base, “filtering” those propositions so that only part of the knowledge base is perceived, namely, the propositions that are under consideration, called the believed propositions. When the belief revision system considers another one of these sets, we say that it changes its beliefs.