缺省邏輯

缺省邏輯是Ray Reiter提出的用來形式化有缺省假定的推理的非單調邏輯 。 缺省邏輯可以表達像 “ 缺省的 ， 某個事物是真的 ” 的事實 ； 相反的 ， 標準邏輯只能表達某個事物爲真或某個事物爲假 。 這是一個問題 ， 因爲推理經常涉及在多數時候是真但不總是真的事實的推理 。 經典的例子是 ： “ 鳥通常會飛 ” 。 這個規則可以在標準邏輯中表達爲要麼 “ 所有鳥都會飛 ” ， 這與企鵝不會飛的事實相矛盾 ； 要麼 “ 除了企鵝 、 鴕鳥 ... 的所有鳥都會飛 ” ， 這要求規則指定出所有的例外 。 缺省邏輯致力於形式化像這樣的推理規則 ， 而不需要明確提及所有的例外 。