Non-monotonic logic - cioè logica non monotona, ovvero un tipo di ragionamento logico in cui le relazioni logiche non seguono la funzione monotona. Le ipotesi di ogni fatto derivato da questa logica non possono essere liberamente estese con assunzioni addizionali.