Non-monotonic Logic - Reasoning About Knowledge

Reasoning About Knowledge

If a logic includes formulae that mean that something is not known, this logic should not be monotonic. Indeed, learning something that was previously not known leads to the removal of the formula specifying that this piece of knowledge is not known. This second change (a removal caused by an addition) violates the condition of monotonicity. A logic for reasoning about knowledge is the autoepistemic logic.

Read more about this topic:  Non-monotonic Logic

Famous quotes containing the words reasoning and/or knowledge:

    If death, said my father, reasoning with himself, is nothing but the separation of the soul from the body;—and if it is true that people can walk about and do their business without brains,—then certes the soul does not inhabit there. Q.E.D.
    Laurence Sterne (1713–1768)

    Surely knowledge of the natural world, knowledge of the human condition, knowledge of the nature and dynamics of society, knowledge of the past so that one may use it in experiencing the present and aspiring to the future—all of these, it would seem reasonable to suppose, are essential to an educated man. To these must be added another—knowledge of the products of our artistic heritage that mark the history of our esthetic wonder and delight.
    Jerome S. Bruner (20th century)