預設推理例子

鳥通常會飛

預設推理的一個經典例子是：「鳥通常會飛」。在標準邏輯中，這個規則可以表達為「所有鳥都會飛」，但與企鵝不會飛的事實相矛盾。為了容納這種矛盾，我們可以修改規則為「除了企鵝、鴕鳥等特定種類的鳥，其他鳥都會飛」。這要求規則指定出所有的例外。預設推理的目的是形式化這樣的推理規則，而不需要明確提及所有的例外。