Este artículo explora una extensión de la innovadora arquitectura de pseudocódigo de Donald Knuth, que revolucionó la forma en que se explican los algoritmos. En 1968, Knuth demostró que combinar una estructura formal con lenguaje natural comunicaba algoritmos de manera más efectiva que cualquiera de los dos por separado. Su enfoque, el pseudocódigo, integraba elementos formales (como flechas y comparaciones) con explicaciones en lenguaje natural, creando una notación clara y comprensible. Esto superó la limitación anterior de tener que elegir entre una notación formal (precisa pero difícil de entender) o una descripción en prosa (fácil de entender pero no ejecutable).
El problema es que esta idea, aunque brillante, quedó limitada a los algoritmos. La generalización a la representación del conocimiento se vio bloqueada durante décadas porque requería un 'lector' capaz de comprender tanto sistemas formales complejos (lógica, probabilidad, teoría de tipos, etc.) como el lenguaje natural. Hasta hace poco, ningún humano poseía esta capacidad simultáneamente. El artículo argumenta que, con el auge de los sistemas de IA (alrededor de 2024), este requisito se ha cumplido, abriendo la puerta a una generalización de la arquitectura de Knuth para la representación del conocimiento.
Esta generalización da lugar a una nueva clase de notaciones, y el artículo presenta 'Lingenic' como un ejemplo. Lingenic, al igual que el pseudocódigo original, integra estructuras formales con contenido en lenguaje natural (cualquier lenguaje humano). La clave es que ahora, gracias a la IA, existe un 'lector' capaz de procesar ambas partes. La comparación con el pseudocódigo original muestra que la idea central permanece: combinar estructura y contenido para una comunicación más efectiva, aunque los componentes formales sean más sofisticados.
En esencia, el artículo propone que la arquitectura de Knuth, originalmente aplicada a los algoritmos, puede extenderse para resolver el mismo problema que enfrenta la representación del conocimiento: la necesidad de una representación más rica que combine la estructura de los sistemas formales con la claridad del lenguaje natural. La disponibilidad de lectores de IA ha desbloqueado esta posibilidad, permitiendo el desarrollo de notaciones como Lingenic que buscan mejorar la forma en que representamos y comunicamos el conocimiento.