THE PROBLEMS OF BELIEF REVISION
An Example
Suppose that you have a database that contains, among other things, the following pieces of information (in some form of code):
α: All European swans are white.
β: The bird caught in the trap is a swan.
γ: The bird caught in the trap comes from Sweden.
δ: Sweden is part of Europe.
If your database is coupled with a program that can compute logical inferences in the given code, the following fact is derivable from α – δ:
ε: The bird caught in the trap is white.
Now suppose that, as a matter of fact, the bird caught in the trap turns out to be black. This means that you want to add the fact –ε, i.e., the negation of ε, to the database. But then the database becomes inconsistent. If you want to keep the database consistent, which is normally a sound methodology, you need to revise it. This means that some of the beliefs in the original database must be retracted. You don't want to give up all of the beliefs since this would be an unnecessary loss of valuable information. So you have to choose between retracting α, β, γ or δ.
The problem of belief revision is that logical considerations alone do not tell you which beliefs to give up, but this has to be decided by some other means.