John McCarthy (científico informático)

John McCarthy (4 de septiembre de 1927 - 24 de octubre de 2011) fue un científico informático y científico cognitivo estadounidense. Fue uno de los fundadores de la disciplina de la inteligencia artificial. Fue coautor del documento que acuñó el término "inteligencia artificial" (AI), desarrolló la familia de lenguajes de programación Lisp, influyó significativamente en el diseño del lenguaje ALGOL, popularizó el tiempo compartido e inventó la recolección de basura.

McCarthy pasó la mayor parte de su carrera en la Universidad de Stanford. Recibió muchos elogios y honores, como el Premio Turing de 1971 por sus contribuciones al tema de la IA, la Medalla Nacional de Ciencias de los Estados Unidos y el Premio Kyoto.

Vida temprana y educación

John McCarthy nació en Boston, Massachusetts, el 4 de septiembre de 1927, de padre inmigrante irlandés y madre inmigrante judía lituana, John Patrick e Ida (Glatt) McCarthy. La familia se vio obligada a mudarse con frecuencia durante la Gran Depresión, hasta que el padre de McCarthy encontró trabajo como organizador de Amalgamated Clothing Workers en Los Ángeles, California. Su padre procedía de Cromane, un pequeño pueblo de pescadores en el condado de Kerry, Irlanda. Su madre murió en 1957.

Ambos padres fueron miembros activos del Partido Comunista durante la década de 1930 y fomentaron el aprendizaje y el pensamiento crítico. Antes de asistir a la escuela secundaria, se interesó en la ciencia al leer una traducción de un libro de ciencia popular ruso para niños, llamado 100,000 Whys. John hablaba ruso con fluidez y se hizo amigo de científicos rusos durante varios viajes a la Unión Soviética, pero se distanció después de visitar el bloque soviético, lo que lo llevó a convertirse en un republicano conservador.

McCarthy se graduó de Belmont High School dos años antes. McCarthy fue aceptado en Caltech en 1944.

McCarthy mostró una temprana aptitud para las matemáticas; durante su adolescencia aprendió por sí mismo matemáticas universitarias estudiando los libros de texto utilizados en el cercano Instituto de Tecnología de California (Caltech). Como resultado, pudo saltarse los primeros dos años de matemáticas en Caltech. McCarthy fue suspendido de Caltech por no asistir a los cursos de educación física. Luego sirvió en el ejército de los EE. UU. y fue readmitido, recibiendo una licenciatura en matemáticas en 1948.

Fue en Caltech donde asistió a una conferencia de John von Neumann que inspiró sus proyectos futuros.

McCarthy completó inicialmente estudios de posgrado en Caltech antes de trasladarse a la Universidad de Princeton. Recibió un doctorado en matemáticas de Princeton en 1951 después de completar una disertación doctoral, titulada 'Operadores de proyección y ecuaciones diferenciales parciales', bajo la supervisión de Donald C. Spencer.

Carrera académica

Después de nombramientos a corto plazo en Princeton y la Universidad de Stanford, McCarthy se convirtió en profesor asistente en Dartmouth en 1955.

Un año más tarde, McCarthy se trasladó al MIT como investigador en el otoño de 1956. Al final de sus años en el MIT ya se le llamaba cariñosamente "Tío John" por sus alumnos.

En 1962, McCarthy se convirtió en profesor titular en Stanford, donde permaneció hasta su jubilación en 2000.

McCarthy defendió las matemáticas como el cálculo lambda e inventó la lógica para lograr el sentido común en la inteligencia artificial.

Contribuciones en informática

John McCarthy es uno de los "padres fundadores" de inteligencia artificial, junto con Alan Turing, Marvin Minsky, Allen Newell y Herbert A. Simon. McCarthy, Minsky, Nathaniel Rochester y Claude E. Shannon acuñaron el término "inteligencia artificial" en una propuesta que escribieron para la famosa conferencia de Dartmouth en el verano de 1956. Esta conferencia inició la IA como un campo. (Minsky luego se unió a McCarthy en el MIT en 1959).

En 1958, propuso el tomador de consejos, que inspiró el trabajo posterior sobre la programación lógica y de preguntas y respuestas.

A fines de la década de 1950, McCarthy descubrió que las funciones recursivas primitivas podían extenderse para computar con expresiones simbólicas, produciendo el lenguaje de programación Lisp. Ese artículo seminal de programación funcional también introdujo la notación lambda tomada de la sintaxis del cálculo lambda en la que dialectos posteriores como Scheme basaron su semántica. Lisp pronto se convirtió en el lenguaje de programación elegido para aplicaciones de IA después de su publicación en 1960.

En 1958, McCarthy formó parte de un comité ad hoc sobre idiomas de la Association for Computing Machinery que pasó a formar parte del comité que diseñó ALGOL 60. En agosto de 1959, propuso el uso de recursividad y expresiones condicionales, que pasaron a formar parte de ALGOL. Luego se involucró en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de trabajo IFIP 2.1 de la Federación Internacional para el Procesamiento de la Información (IFIP) sobre lenguajes algorítmicos y cálculos, que especificó, mantiene y admite ALGOL 60 y ALGOL 68.

Around 1959, he invented so-called "garbage collection " methods, a kind of automatic memory management, to solve problems in Lisp.

Ayudó a motivar la creación del Proyecto MAC en el MIT cuando trabajó allí, y en la Universidad de Stanford, ayudó a establecer el Laboratorio de IA de Stanford, durante muchos años un rival amistoso del Proyecto MAC.

McCarthy jugó un papel decisivo en la creación de tres de los primeros sistemas de tiempo compartido (sistema de tiempo compartido compatible, sistema de tiempo compartido BBN y sistema de tiempo compartido de Dartmouth). Su colega Lester Earnest le dijo a Los Angeles Times:

La Internet no habría ocurrido tan pronto como lo hizo, excepto por el hecho de que John inició el desarrollo de sistemas de intercambio de tiempo. Seguimos inventando nuevos nombres para compartir tiempo. Se llamaban servidores... Ahora lo llamamos cloud computing. Eso todavía es sólo tiempo compartido. John empezó.

—Woo, Elaine

En 1961, fue quizás el primero en sugerir públicamente la idea de la computación utilitaria, en un discurso pronunciado para celebrar el centenario del MIT: que la tecnología de tiempo compartido de la computadora podría resultar en un futuro en el que el poder de la computación e incluso las aplicaciones específicas podrían venderse a través del modelo comercial de servicios públicos (como agua o electricidad). Esta idea de una computadora o utilidad de información fue muy popular a fines de la década de 1960, pero se desvaneció a mediados de la década de 1990. Sin embargo, desde el año 2000, la idea ha resurgido en nuevas formas (ver proveedor de servicios de aplicaciones, grid computing y cloud computing).

En 1966, McCarthy y su equipo en Stanford escribieron un programa de computadora usado para jugar una serie de juegos de ajedrez con contrapartes en la Unión Soviética; El equipo de McCarthy perdió dos juegos y empató dos juegos (ver Kotok-McCarthy).

De 1978 a 1986, McCarthy desarrolló el método de circunscripción de razonamiento no monótono.

En 1982, parece haber originado la idea de la fuente espacial, un tipo de torre que se extiende hacia el espacio y se mantiene vertical por la fuerza hacia afuera de una corriente de gránulos propulsados desde la Tierra a lo largo de una especie de de cinta transportadora que devuelve los pellets a tierra. Las cargas útiles montarían la cinta transportadora hacia arriba.

Otras actividades

McCarthy solía comentar sobre asuntos mundiales en los foros de Usenet. Algunas de sus ideas se pueden encontrar en su página web de sustentabilidad, la cual está "dirigida a mostrar que el progreso material humano es deseable y sostenible". McCarthy era un lector serio de libros, un optimista y un firme defensor de la libertad de expresión. Su mejor interacción de Usenet es visible en los archivos de rec.arts.books. Y McCarthy asistió activamente a las cenas del Área de la Bahía de SF en Palo Alto de r.a.b. lectores llamados rab-fests. Continuó defendiendo las críticas a la libertad de expresión relacionadas con bromas étnicas europeas en Stanford.

McCarthy vio la importancia de las matemáticas y la educación matemática. Su Usenet.sig durante años fue: "El que se niega a hacer aritmética está condenado a decir tonterías"; la tapa de su matrícula decía, de manera similar, 'Haz la aritmética o te condenarán a decir tonterías'. Asesoró a 30 graduados de doctorado.

Su cuento de 2001 "El robot y el bebé" exploró ridículamente la cuestión de si los robots deberían tener (o simular tener) emociones, y anticipó aspectos de la cultura de Internet y las redes sociales que se han vuelto cada vez más prominentes durante las décadas siguientes.

Vida privada

McCarthy se casó tres veces. Su segunda esposa fue Vera Watson, una programadora y alpinista que murió en 1978 intentando escalar Annapurna I Central como parte de una expedición de mujeres. Más tarde se casó con Carolyn Talcott, científica informática en Stanford y más tarde en SRI International.

McCarthy se declaró ateo en un discurso sobre Inteligencia Artificial en la Stanford Memorial Church. Criado como comunista, se convirtió en republicano conservador después de una visita a Checoslovaquia en 1968 después de la invasión soviética. McCarthy murió en su casa de Stanford el 24 de octubre de 2011.

Filosofía de la inteligencia artificial

En 1979, McCarthy escribió un artículo titulado "Atribuir cualidades mentales a las máquinas". En él escribió: "Se puede decir que máquinas tan simples como los termostatos tienen creencias, y tener creencias parece ser una característica de la mayoría de las máquinas capaces de resolver problemas". En 1980, el filósofo John Searle respondió con su famoso argumento de la habitación china, discrepando de McCarthy y adoptando la postura de que las máquinas no pueden tener creencias simplemente porque no son conscientes. Searle argumenta que las máquinas carecen de "comprensión" o "intencionalidad" (un término comúnmente utilizado en la filosofía de la mente). Se ha escrito una gran cantidad de literatura en apoyo de un lado o del otro.

Premios y distinciones

• Premio Turing de la Asociación de Máquinas de Computación (1971)
• Premio de Kyoto (1988)
• Medalla Nacional de Ciencias (US) en Ciencias Matemáticas, Estadística y Computacionales (1990)
• Inducido como miembro del Museo de Historia de la Computación "por su co-fundación de los campos de Inteligencia Artificial (AI) y sistemas de intercambio de tiempo, y por importantes contribuciones a las matemáticas y la informática" (1999)
• Benjamin Franklin Medalla en Computación y Ciencias Cognitivas del Instituto Franklin (2003)
• Inducido al Salón de la Fama de IEEE Intelligent Systems (2011), para las "contribuciones significativas al campo de la IA y sistemas inteligentes"
• Nombrado como uno de los Héroes de Ingeniería de Stanford 2012

Publicaciones principales

• McCarthy, J. 1959. "Programas con sentido común" en la máquina Wayback (archivado 4 de octubre de 2013). In Proceedings of the Teddington Conference on the Mechanization of Thought Processes756-91. Londres: Oficina de Papel de Su Majestad.
• McCarthy, J. 1960. "Recursivas funciones de expresiones simbólicas y su computación por máquina" en el Wayback Machine (archivado 4 de octubre de 2013). Comunicaciones de la ACM 3(4):184-195.
• McCarthy, J. 1963a "Una base para una teoría matemática de la computación". In Programación informática y sistemas formales. North-Holland.
• McCarthy, J. 1963b. Situaciones, acciones y leyes causales. Informe técnico, Universidad de Stanford.
• McCarthy, J. y Hayes, P. J. 1969. Algunos problemas filosóficos desde el punto de vista de la inteligencia artificial en la máquina Wayback (arquivado 25 de agosto de 2013). En Meltzer, B., y Michie, D., Eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463–502.
• McCarthy, J. 1977. "Problemas epitemológicos de inteligencia artificial". In IJCAI1038-1044.
• McCarthy, J (1980). "Circumscription: Una forma de razonamiento no monotónico". Inteligencia Artificial. 13 (1–2): 23–79. doi:10.1016/0004-3702(80)90011-9.
• McCarthy, J (1986). "Aplicaciones de la circunscripción al razonamiento del sentido común". Inteligencia Artificial. 28 (1): 89–116. CiteSeerX10.1.1.29.5268. doi:10.1016/0004-3702(86)90032-9.
• McCarthy, J. 1990. "Generalidad en inteligencia artificial". En Lifschitz, V., Ed., Formalizing Common Sense. Ablex. 226-236.
• McCarthy, J. 1993. "Notas sobre la formalización del contexto". In IJCAI, 555-562.
• McCarthy, J., and Buvac, S. 1997. "Contexto formalizador: Notas ampliadas". En Aliseda, A.; van Glabbeek, R.; y Westerstahl, D., eds., Computing Natural Language. Universidad de Stanford. También disponible como nota técnica de Stanford STAN-CS-TN-94-13.
• McCarthy, J. 1998. "Tolerancia de la colaboración". In Documentos de trabajo del Cuarto Simposio Internacional sobre formalizaciones lógicas de la racionalización del sentido común, Commonsense-1998.
• Costello, T. y McCarthy, J. 1999. "Contrafactuales útiles". Transacciones Electrónicas en Inteligencia Artificial 3(A):51-76
• McCarthy, J. 2002. "Actions and other events in situation calculus". En Fensel, D.; Giunchiglia, F.; McGuinness, D.; y Williams, M., eds., Proceedings of KR-2002615-628.