默認推理

默認推理又稱預設推理，它是在知識不完全的情況下作出的推理，在默認推理過程中，如果到某一時刻發現原先所作的默認不正確，則就要撤消所作的默認以及由此默認推出的所有結論，重新按新情況進行推理。

默認推理又稱預設推理，它是在知識不完全的情況下作出的推理，通常的形式：如果沒有足夠的證據證明結論不成立，則認為結論是正確的。
例如，在條件A已成立的情況下，如果沒有足夠的證據能證明條件B不成立，則默認B是成立的，並在此默認的前提下進行推理，推導出某個結論。由於這種推理允許默認某些條件是成立的，這就擺脫了需要知道全部有關事實才能進行推理的要求，使得在知識不完全的情況下也能進行推理。在默認推理過程中，如果到某一時刻發現原先所作的默認不正確，則就要撤消所作的默認以及由此默認推出的所有結論，重新按新情況進行推理。