自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。

自动认识逻辑的语法通过增加指示知识的模态算子 而扩展了命题逻辑: 如果 是一个公式，则 指示 是已知。作为结果， 指示 是已知，而 指示 是未知。

在自动认识逻辑中的公式可以用来捕获基于事实知识的推理。例如， 意味着如果不知道 是真的，则假定它为假。这是一种形式的否定为失败。

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.