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":

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 ...
Formal Epistemology - List of Contemporary Formal Epistemologists
... Arló-Costa, Carnegie Mellon, Philosophy (Bayesian epistemology, epistemic logic, belief revision, conditionals, rational choice, normative and behavioral ... Kelly, Carnegie Mellon, Philosophy (computational epistemology, belief revision, etc.) Matthew Kotzen (formal epistemology, philosophy of science) Marion Ledwig (Newcomb's problem) Hannes Leitgeb (belief ...
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 ... 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:

    First, whenever a man talks loudly against religion, always suspect that it is not his reason, but his passions, which have got the better of his creed. A bad life and a good belief are disagreeable and troublesome neighbours, and where they separate, depend upon it, ‘tis for no other cause but quietness’ sake.
    Laurence Sterne (1713–1768)