Limitaciones de la Lógica
Hasta finales del siglo XX muchos lógicos creían que los probadores de teoremas de la lógica de primer orden serían el principal componente de los agentes inteligentes. Sin embargo, casi todas las aplicaciones modernas de la IA que han tenido éxito utilizan diferentes formalismos. Esto se debe a algunos problemas graves con la lógica de primer orden que se explica normalmente en la introducción a la inteligencia artificial y otras materias relativas.