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.

Read more about Belief RevisionRevision 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

Other articles related to "belief revision, belief, beliefs":

Formal Epistemology - List of Contemporary Formal Epistemologists
... Horacio Arló-Costa, Carnegie Mellon, Philosophy (Bayesian epistemology, epistemic logic, belief revision, conditionals, rational choice, normative and behavioral decision ... Kelly, Carnegie Mellon, Philosophy (computational epistemology, belief revision, etc.) Matthew Kotzen (formal epistemology, philosophy of science) Marion Ledwig (Newc ...
Belief Revision - Implementations
... Systems specifically implementing belief revision are Immortal, SATEN, and BReLS ... Two systems including a belief revision feature are SNePS and Cyc ...
Defeasible Reasoning - History
... belief revision and dynamic logic ... Belief revision is a non-constructive specification of the desiderata with which, or constraints according to which, epistemic change takes place ... Dialogue logics introduce an adversary, but are like belief revision theories in their adherence to deductively consistent states of belief ...
Non-monotonic Logic - Belief Revision
... Belief revision is the process of changing beliefs to accommodate a new belief that might be inconsistent with the old ones ... In the assumption that the new belief is correct, some of the old ones have to be retracted in order to maintain consistency ... This retraction in response to an addition of a new belief makes any logic for belief revision to be non-monotonic ...

Famous quotes containing the word belief:

    It seems certain, that though a man, in a flush of humour, after intense reflection on the many contradictions and imperfections of human reason, may entirely renounce all belief and opinion, it is impossible for him to persevere in this total scepticism, or make it appear in his conduct for a few hours.
    David Hume (1711–1776)