El artículo «Education for logical thinking in the age of AI», de Robert Kowalski, plantea que el avance de la IA neuronal —opaca, propensa a alucinaciones y capaz de difundir desinformación— exige que los seres humanos mejoren su capacidad de razonamiento lógico para monitorizar y controlar estos sistemas.

Kowalski defiende la programación lógica como herramienta educativa ideal: más simple que otras lógicas formales pero igualmente poderosa, permite enseñar razonamiento deductivo, abductivo y por defecto desde la escuela primaria, usando una sintaxis cercana al lenguaje natural.

El autor concluye que la comunidad académica debe unirse urgentemente en torno a un currículo común de lógica, y presenta el Prolog Education Group como iniciativa para coordinar este esfuerzo global ante los retos que plantea la era de la IA.