自動認識邏輯

自動認識邏輯是致力於形式化關於知識的表示和推理的形式邏輯 。 命題邏輯只能表達事實 ， 而自動認識邏輯可以表達關於事實的知識和知識的缺乏 。