Belief revision
Belief revision is the process of changing beliefs to take into account a new piece of information. The
logical formalization of belief revision is researched in
philosophy, in
databases, and in
artificial intelligence for the design of
rational agents.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 “ is true”, “ is true” and “if and are true then is true”, the introduction of the new information “ 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.
See more at Wikipedia.org...
belief revision
<
artificial intelligence> The area of
theory change in which preservation of the information in the theory to be changed plays a key role.
A fundamental issue in belief revision is how to decide what information to retract in order to maintain consistency, when the addition of a new belief to a theory would make it inconsistent. Usually, an ordering on the sentences of the theory is used to determine priorities among sentences, so that those with lower priority can be retracted. This ordering can be difficult to generate and maintain.
The postulates of the
AGM Theory for Belief Revision describe minimal properties a revision process should have.
[Better definition?]
(1995-03-20)
(c) Copyright 1993 by Denis Howe
belief revision