指示 formula_6 是已知，而 formula_7 指示 formula_2 是未知。在自动认识逻辑中的公式可以用来捕获基于事实知识的推理。例如，formula_9 意味着如果不知道 formula_2 是真的，则假定它为假。这是一种形式的否定为失败。
语义.自动认识逻辑的语义基于的是理论的"展开"(expansion)，它扮演的角色类似于命题逻辑中的模型。命题模型指定原子哪个为真哪个为假，而展开指定公式 formula_3 哪个为真哪个为假。特别是，自动认识公式 for