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.
Read more about Belief Revision: Revision and Update, Contraction, Expansion, Revision, Consolidation, and Merging, The AGM Postulates, Conditions Equivalent To The AGM Postulates, Contraction, The Ramsey Test, Non-monotonic Inference Relation, Foundational Revision, Model-based Revision and Update, Iterated Revision, Merging, Social Choice Theory, Complexity, Implementations
Famous quotes containing the word belief:
“We that are bound by vows and by promotion,
With pomp of holy sacrifice and rites,
To teach belief in good and still devotion,
To preach of heaven’s wonders and delights—
Yet, when each of us in his own heart looks,
He finds the God there far unlike his books.”
—Fulke Greville (1554–1628)