Lógica no monotónica

No obstante, este hecho debe ser retractado si después se sabe que ese determinado animal es un pingüino.Las lógicas que formalizan razonamiento por defecto pueden ser divididas tajantemente en dos categorías: lógicas capaces de manejar suposiciones arbitrarias por defecto (lógica por defecto, lógica retractable, y answer set programming) y lógicas que formalizan la específica suposición por defecto de que los hechos que no se saben verdaderos pueden ser asumidos como falsos por defecto (closed world assumption y circunscripción).El razonamiento abductivo es el sistema que deriva las explicaciones más probables de los hechos conocidos.En tanto que la primera explicación (llovió) es retractada debido a la adición de información (se activó un rociador), cualquier lógica que modele explicaciones es no monotónica.Este segundo cambio (un reemplazo causado por una adición) viola la condición de monotonicidad.