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 belief of our Reason is an Exercise of Faith, and Faith is an Act of Reason.
    Joseph Glanvill (1636–1680)