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:
“No passion so effectually robs the mind of all its powers of acting and reasoning as fear.”
—Edmund Burke (1729–1797)
“The pathetic thing about the great wellintentioned mass of college and highschool students is that they have been so badly educated they have no knowledge or understanding of the complications of the world we live in and they have been so conditioned and prejudiced by generations of ill-taught teachers that they refuse to see a fact when they are confronted with one.”
—John Dos Passos (1896–1970)