Non-monotonic Logic - Belief Revision

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. The belief revision approach is alternative to paraconsistent logics, which tolerate inconsistency rather than attempting to remove it.

Read more about this topic:  Non-monotonic Logic

Famous quotes containing the word belief:

    The failure to read good books both enfeebles the vision and strengthens our most fatal tendency—the belief that the here and now is all there is.
    Allan Bloom (1930–1992)