La mayoría de los formalismos de la IA solamente trabajan en situaciones informáticas acotadas. El tipo de fenómenos que van a ser tenidos en cuenta por el programador es una decisión previa al comienzo de la tarea de construir una teoría formal. Cuando ya se ha decidido dentro de qué cotas o restricciones se ha de trabajar, gran parte del razonamiento es monótono. Es obvio que al estar acotado, un sistema de este tipo no puede alcanzar el nivel de las habilidades humanas. Si esa restricción se desea que no rija, la máquina tendría que encargarse autonomamente de decidir qué información le resulta relevante, con lo cual inevitablemente el razonamiento pasaría a ser parcialmente nomonótono.
Esto recuerda por ejemplo, la tarea de un físico preparando un avance del conocimiento. Supongamos que use solamente la teoría mecánica newtoniana para un estudio del sistema solar, descartando la influencia del viento solar. Si desea incorporar tambien eso, debe construir nuevas cotas, descartando las desgasificaciones de los cometas. Y así.