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