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)
“The Greeks possessed a knowledge of human nature we seem hardly able to attain to without passing through the strengthening hibernation of a new barbarism.”
—G.C. (Georg Christoph)