Aportes

Aportes que cambiaron el mundo...

¿Por qué importa esto hoy? Los lenguajes modernos, los sistemas de IA, los agentes automatizados y hasta las plataformas en la nube tienen ADN directo de los trabajos de McCarthy. No es historia antigua, es la base de lo que existe hoy.
LISP · 1958

Lenguaje de Programación

Segundo lenguaje de alto nivel más antiguo que todavía existe. Introdujo recursión, funciones de primera clase y garbage collection. Hoy está en el ADN de Python, Ruby y JavaScript.

Situation Calculus · 1969

Lógica de Acciones

Framework para razonar sobre acciones y sus efectos. Como matematizar el cambio en el mundo. Base del razonamiento temporal en robótica y agentes.

Circumscription · 1980

Razonamiento No Monótono

Técnica para que una IA pueda revisar sus conclusiones cuando llega información nueva que las contradice. La lógica clásica no podía hacer eso.

LISP: El lenguaje que nació de la necesidad

En 1958, McCarthy necesitaba un lenguaje que pudiera manipular expresiones simbólicas de manera flexible. FORTRAN era bueno para números, pero no para la representación simbólica que requería la IA. Entonces diseñó LISP desde cero.


LISP introdujo ideas que hoy están en todos los lenguajes modernos: funciones como objetos de primera clase, recursión, garbage collection automático y evaluación dinámica de código.

El Frame Problem (1969)

McCarthy identificó el problema de cómo una IA sabe qué cosas no cambian cuando ocurre una acción. Si mueves un objeto, muchas cosas siguen igual, pero la máquina debe saberlo para no confundirse.


Este problema sigue siendo un desafío en la IA moderna, especialmente en robótica y sistemas autónomos.

Aportes vs Tecnología Actual

Aporte de McCarthy Tecnología Actual que lo usa Vigente
LISPPython, Clojure, SchemeSí
Situation CalculusRobóticaSí
CircumscriptionIA simbólicaSí
Frame ProblemAgentes autónomosEn proceso
Ver Legado Historia en la IA Volver al Inicio