捕获基于事实知识的推理。例如，formula_9 意味着如果不知道 formula_2 是真的，则假定它为假。这是一种形式的否定为失败。
语义.自动认识逻辑的语义基于的是理论的"展开"(expansion)，它扮演的角色类似于命题逻辑中的模型。命题模型指定原子哪个为真哪个为假，而展开指定公式 formula_3 哪个为真哪个为假。特别是，自动认识公式 formula_12 的展开对在 formula_12 中包含的所有子公式 formula_3 都做这种区分。这种区分允许 form