Un razonamiento se llama monótono cuando a lo largo del proceso el conjunto de "cosas sabidas" es siempre creciente.
Pero en la realidad suele ocurrir que, a medida que avanza el proceso de inferencias, nuevas evidencias o acciones del mismo sistema anulan premisas o conclusiones anteriores, y para formalizar esto se necesita una lógica no monótona.
