The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts.
The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic.
Read more about Autoepistemic Logic: Syntax, Semantics, Generalizations
Famous quotes containing the word logic:
“The logic of the world is prior to all truth and falsehood.”
—Ludwig Wittgenstein (1889–1951)