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:

    Our intellect is not the most subtle, the most powerful, the most appropriate, instrument for revealing the truth. It is life that, little by little, example by example, permits us to see that what is most important to our heart, or to our mind, is learned not by reasoning but through other agencies. Then it is that the intellect, observing their superiority, abdicates its control to them upon reasoned grounds and agrees to become their collaborator and lackey.
    Marcel Proust (1871–1922)

    The ignorance and darkness that is in us, no more hinders nor confines the knowledge that is in others, than the blindness of a mole is an argument against the quicksightedness of an eagle.
    John Locke (1632–1704)