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, beliefs, belief":

Formal Epistemology - List of Contemporary Formal Epistemologists
... Arló-Costa, Carnegie Mellon, Philosophy (Bayesian epistemology, epistemic logic, belief revision, conditionals, rational choice, normative and behavioral decision theory) Luc ... Kelly, Carnegie Mellon, Philosophy (computational epistemology, belief revision, etc.) Matthew Kotzen (formal epistemology, philosophy of science) Marion Ledwig (Ne ...
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 ...
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 ...
Belief Revision - Implementations
... Systems specifically implementing belief revision are Immortal, SATEN, and BReLS ... Two systems including a belief revision feature are SNePS and Cyc ...

Famous quotes containing the word belief:

    Still, it will sometimes strike a scientific man that the philosophers have been less intent on finding out what the facts are, than on inquiring what belief is most in harmony with their system.
    Charles Sanders Peirce (1839–1914)