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)
“The Great Society is a place where every child can find knowledge to enrich his mind and to enlarge his talents.... It is a place where the city of man serves not only the needs of the body and the demands of commerce but the desire for beauty and the hunger for community.... It is a place where men are more concerned with the quality of their goals than the quantity of their goods.”
—Lyndon Baines Johnson (1908–1973)