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 your little savage were left to himself and be allowed to retain all his ignorance, he would in time join the infant’s reasoning to the grown man’s passion, he would strangle his father and sleep with his mother.”
—Denis Diderot (1713–1784)
“Croft had an instinctive knowledge of land, sensed the stresses and torsions that had first erupted it, the abrasions of wind and water. The platoon had long ceased to question any direction he took; they knew he would be right as infallibly as sun after darkness or fatigue after a long march.”
—Norman Mailer (b. 1923)