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:
“For this is one of the ancientest laws among them; that no man shall be blamed for reasoning in the maintenance of his own religion.”
—Sir Thomas More (1478–1535)
“I ... observed the great beauty of American government to be, that the simple machines of representation, carried through all its parts, gives facility for a being moulded at will to fit with the knowledge of the age; that thus, although it should be imperfect in any or all of its parts, it bears within it a perfect principle the principle of improvement.
”
—Frances Wright (1795–1852)