Lógica Default

A lógica default é uma lógica não-monotônica proposta por para formalizar o raciocínio com suposições defaults. A lógica default pode expressar fatos como "por default, algo é verdadeiro"; por outro lado, a lógica clássica só pode expressar que algo é verdade ou que algo é falso.Esse é um problema porque o raciocínio, em muitos casos, envolve fatos que são conhecidos como verdadeiros na maioria dos casos. Um exemplo clássico é: "pássaros tipicamente voam". Essa regra pode ser expressada na lógica clássica ou por "todos os pássaros voam", o que é inconsistente com o fato de que pinguins não voam, ou por "todos os pássaros que não são pinguins e não são avestruzes e... voam", o que requere todas as exceções das regras à ser especificadas. Lógica Default tenta formalizar regras de inferência como esta sem mencionar explicitamente todas suas exceções.