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:
“Acts themselves alone are history.... Tell me the acts, O historian, and leave me to reason upon them as I please; away with your reasoning and your rubbish! All that is not action is not worth reading.”
—William Blake (1757–1827)
“To read a newspaper for the first time is like coming into a film that has been on for an hour. Newspapers are like serials. To understand them you have to take knowledge to them; the knowledge that serves best is the knowledge provided by the newspaper itself.”
—V.S. (Vidiadhar Surajprasad)