La logica predefinita è una logica non monotona proposta da Raymond Reiter per formalizzare il ragionamento con ipotesi predefinite. La logica predefinita può esprimere fatti come « di default, qualcosa è vero »; al contrario, la logica standard può solo esprimere che qualcosa è vero o che qualcosa è falso. Questo è un problema…