自动认识逻辑

自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。自动认识逻辑的语法通过增加指示知识的模态算子而扩展了命题逻辑: 如果是一个公式，则 指示是已知。作为结果， 指示 是已知，而 指示是未知。