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:
“Education is a necessity, it helps to understand life. Like that compagnero in Cuba who talked about politics, back when they were on strike. He knew many things, that hijo de puta, and he unraveled the most confusing situations in a marvelous way. You could see each point in front of you on the line of his reasoning like rinsed laundry set up to dry; he explained things to you so clearly that you could grasp it like a good hunk of bread with your hand.”
—Jacques Roumain (1907–1945)
“General education is the best preventive of the evils now most dreaded. In the civilized countries of the world, the question is how to distribute most generally and equally the property of the world. As a rule, where education is most general the distribution of property is most general.... As knowledge spreads, wealth spreads. To diffuse knowledge is to diffuse wealth. To give all an equal chance to acquire knowledge is the best and surest way to give all an equal chance to acquire property.”
—Rutherford Birchard Hayes (1822–1893)