John McCarthy (4 de septiembre de 1927 - 24 de octubre de 2011) fue un informático y científico cognitivo estadounidense . McCarthy fue uno de los fundadores de la disciplina de la inteligencia artificial . [1] Fue coautor del documento que acuñó el término " inteligencia artificial " (IA), desarrolló la familia de lenguajes de programación Lisp , influyó significativamente en el diseño del lenguaje de programación ALGOL , popularizó el tiempo compartido , inventó la recolección de basura y fue muy influyente en el desarrollo temprano de la IA.
John McCarthy | |
---|---|
Nació | Boston, Massachusetts , Estados Unidos | 4 de septiembre de 1927
Fallecido | 24 de octubre de 2011 Stanford, California , Estados Unidos | (84 años)
alma mater | Universidad de Princeton , Instituto de Tecnología de California |
Conocido por | Inteligencia artificial , Lisp , circunscripción , cálculo de situaciones |
Premios | Premio Turing (1971) Premio al pionero de la informática (1985) Premio IJCAI a la excelencia en la investigación (1985) Premio Kyoto (1988) Medalla nacional de la ciencia (1990) Medalla Benjamin Franklin (2003) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Stanford , Instituto de Tecnología de Massachusetts , Dartmouth College , Universidad de Princeton |
Asesor de doctorado | Solomon Lefschetz |
Estudiantes de doctorado | Ruzena Bajcsy Ramanathan V. Guha Barbara Liskov Raj Reddy |
McCarthy pasó la mayor parte de su carrera en la Universidad de Stanford . [2] Recibió muchos elogios y honores, como el Premio Turing de 1971 por sus contribuciones al tema de la IA, [3] la Medalla Nacional de Ciencia de los Estados Unidos y el Premio de Kioto .
Temprana edad 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 , [4] 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 la Asociación de Trabajadores de la Ropa en Los Ángeles, California . Su padre procedía del pueblo pesquero de Cromane en el condado de Kerry , Irlanda. [5] Su madre murió en 1957. [6]
McCarthy se graduó de Belmont High School dos años antes. [7] McCarthy fue aceptado en Caltech en 1944.
McCarthy mostró una aptitud temprana para las matemáticas ; durante su adolescencia se enseñó a sí mismo matemáticas universitarias mediante el estudio de los libros de texto utilizados en el cercano Instituto de Tecnología de California (Caltech). Como resultado, pudo saltarse los dos primeros años de matemáticas en Caltech. [8] McCarthy fue suspendido de Caltech por no asistir a cursos de educación física . [9] Luego sirvió en el ejército de los Estados Unidos y fue readmitido, recibiendo una licenciatura en matemáticas en 1948. [10]
Fue en Caltech donde asistió a una conferencia de John von Neumann que inspiró sus esfuerzos futuros.
McCarthy inicialmente completó estudios de posgrado en Caltech antes de mudarse a la Universidad de Princeton . Recibió un doctorado. en matemáticas de Princeton en 1951 después de completar una tesis doctoral, titulada " Operadores de proyección y ecuaciones diferenciales parciales ", bajo la supervisión de Donald C. Spencer . [11]
Carrera académica
Después de nombramientos a corto plazo en la Universidad de Princeton y Stanford , McCarthy se convirtió en profesor asistente en Dartmouth en 1955.
Un año más tarde, se trasladó a McCarthy MIT como una investigación de su compañero en el otoño de 1956. Al final de sus años en el MIT que ya se refiere cariñosamente como "Uncle John" por sus alumnos. [12]
En 1962, McCarthy se convirtió en profesor titular en Stanford, donde permaneció hasta su jubilación en 2000.
McCarthy defendió la lógica matemática para la inteligencia artificial.
Contribuciones en informática
John McCarthy es uno de los "padres fundadores" de la 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. [7] [13] (Minsky se unió más tarde a McCarthy en el MIT en 1959).
En 1958, propuso al tomador de consejos , que inspiró un trabajo posterior sobre la programación lógica y la respuesta a preguntas .
McCarthy inventó Lisp a fines de la década de 1950. Basado en el cálculo lambda , Lisp pronto se convirtió en el lenguaje de programación preferido para aplicaciones de IA después de su publicación en 1960. [14]
En 1958, McCarthy formó parte de un Comité Ad hoc de Idiomas de ACM que se convirtió en parte del comité que diseñó ALGOL 60 . En agosto de 1959 propuso el uso de expresiones recursivas y condicionales, que pasaron a formar parte de ALGOL. [15] Luego se involucró con el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo IFIP 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [16] que especifica , mantiene y apoya ALGOL 60 y ALGOL 68 . [17]
Alrededor de 1959, inventó los llamados métodos de " recolección de basura ", una especie de gestión automática de la memoria , para resolver problemas en Lisp. [18] [19]
Ayudó a motivar la creación del Proyecto MAC en el MIT cuando trabajaba 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 más primitivos sistemas de tiempo compartido ( sistema compatible de Tiempo Compartido , BBN Sistema de Tiempo Compartido , y Dartmouth Time Sharing System ). Su colega Lester Earnest le dijo a Los Angeles Times: "Internet no habría sucedido tan pronto como lo hizo, excepto por el hecho de que John inició el desarrollo de sistemas de tiempo compartido. Seguimos inventando nuevos nombres para el tiempo compartido. Llegó ser llamados servidores ... Ahora lo llamamos computación en la nube. Eso sigue siendo solo tiempo compartido. John lo inició ". [7]
En 1961, fue quizás el primero en sugerir públicamente la idea de la informática de utilidad , 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 la potencia informática e incluso aplicaciones específicas podrían venderse a través del modelo de negocio de servicios públicos (como agua o electricidad ). [20] Esta idea de una computadora o utilidad de información fue muy popular a fines de la década de 1960, pero se había desvanecido a mediados de la década de 1990. Sin embargo, desde 2000, la idea ha resurgido en nuevas formas (consulte proveedor de servicios de aplicaciones , computación en red y computación en la nube ).
En 1966, McCarthy y su equipo en Stanford escribieron un programa de computadora utilizado 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 del 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 pellets propulsados desde la Tierra a lo largo de una especie de cinta transportadora que devuelve los pellets a la Tierra. Las cargas útiles subirían por la cinta transportadora. [21]
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 sostenibilidad, [22] que está "dirigida a mostrar que el progreso material humano es deseable y sostenible". McCarthy era un lector de libros serio, optimista y un firme partidario de la libertad de expresión. Su mejor interacción con Usenet es visible en los archivos de rec.arts.books. Y McCarthy asistió activamente a las cenas de SF Bay Area en Palo Alto de lectores de rab llamadas rab-fests. Continuó defendiendo las críticas a la libertad de expresión que involucraban 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 estarás condenado a decir tonterías". [23] [24] Asesoró a 30 graduados de doctorado. [25]
Su cuento de 2001 "El robot y el bebé" [26] 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. [27]
Vida personal
McCarthy se casó tres veces. Su segunda esposa fue Vera Watson , una programadora y montañista que murió en 1978 intentando escalar el Annapurna I Central como parte de una expedición de mujeres . Más tarde se casó con Carolyn Talcott , una científica informática en Stanford y más tarde SRI International . [28] [29]
McCarthy se consideraba ateo. [30] [31] Criado como comunista , se convirtió en un republicano conservador después de una visita de dos días a Checoslovaquia en 1968 después de la invasión soviética . [32] McCarthy murió en su casa en Stanford el 24 de octubre de 2011. [33]
Filosofía de la inteligencia artificial
En 1979 McCarthy escribió un artículo [34] titulado "Ascribiendo 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 , [35] [13] en desacuerdo con McCarthy y adoptando la postura de que las máquinas no pueden tener creencias simplemente porque no son conscientes. Searle sostiene 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 honores
- Premio Turing de la Asociación de Maquinaria de Computación (1971).
- Premio de Kyoto (1988).
- Medalla Nacional de Ciencias (EE.UU.) en Ciencias Matemáticas, Estadística y Computacional (1990). [36]
- Fue nombrado miembro del Museo de Historia de la Computación "por su cofundador de los campos de la Inteligencia Artificial (IA) y los sistemas de tiempo compartido, y por sus importantes contribuciones a las matemáticas y la informática". (1999) [37]
- Medalla Benjamin Franklin en Computación y Ciencias Cognitivas del Instituto Franklin (2003).
- Incluido en el Salón de la Fama de la IA de IEEE Intelligent Systems (2011), por las "contribuciones significativas al campo de la IA y los sistemas inteligentes". [38] [39]
- Nombrado como uno de los héroes de la ingeniería de Stanford 2012 . [40]
Publicaciones importantes
- McCarthy, J. 1959. "Programas con sentido común" en la Wayback Machine (archivado el 4 de octubre de 2013). En Proceedings of the Teddington Conference on the Mechanization of Thought Processes , 756-91. Londres: Oficina de papelería de Su Majestad.
- McCarthy, J. 1960. "Funciones recursivas de expresiones simbólicas y su cálculo por máquina" en Wayback Machine (archivado el 4 de octubre de 2013). Comunicaciones del ACM 3 (4): 184-195.
- McCarthy, J. 1963a "Una base para una teoría matemática de la computación". En Programación Informática y Sistemas Formales . Holanda Septentrional.
- McCarthy, J. 1963b. Situaciones, acciones y leyes causales. Informe técnico, Universidad de Stanford.
- McCarthy, J. y Hayes, PJ 1969. Algunos problemas filosóficos desde el punto de vista de la inteligencia artificial en Wayback Machine (archivado el 25 de agosto de 2013). En Meltzer, B. y Michie, D., eds., Machine Intelligence 4. Edimburgo: Edinburgh University Press. 463-502.
- McCarthy, J. 1977. "Problemas epistemológicos de la inteligencia artificial". En IJCAI , 1038-1044.
- McCarthy, J (1980). "Circunscripción: una forma de razonamiento no monótono". 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 de sentido común". Inteligencia artificial . 28 (1): 89-116. CiteSeerX 10.1.1.29.5268 . doi : 10.1016 / 0004-3702 (86) 90032-9 .
- McCarthy, J. 1990. "Generalidad en inteligencia artificial". En Lifschitz, V., ed., Formalizar el sentido común . Ablex. 226-236.
- McCarthy, J. 1993. "Notas sobre la formalización del contexto". En IJCAI , 555-562.
- McCarthy, J. y Buvac, S. 1997. "Formalizing context: Expanded notes". En Aliseda, A .; van Glabbeek, R .; y Westerstahl, D., eds., Computing Natural Language . Universidad Stanford. También disponible como Nota técnica de Stanford STAN-CS-TN-94-13.
- McCarthy, J. 1998. "Tolerancia de elaboración". En Documentos de trabajo del IV Simposio internacional sobre formalizaciones lógicas del razonamiento con sentido común, Commonsense-1998.
- Costello, T. y McCarthy, J. 1999. "Contrafactuales útiles". Transacciones electrónicas sobre inteligencia artificial 3 (A): 51-76
- McCarthy, J. 2002. "Acciones y otros eventos en el cálculo de situaciones". En Fensel, D .; Giunchiglia, F .; McGuinness, D .; y Williams, M., eds., Proceedings of KR-2002 , 615-628.
Ver también
- Christopher Strachey , presentó una patente de tiempo compartido a principios de 1959
- Cornucopian
- Problema de marco
- Lista de pioneros en informática
- Kotok-McCarthy
- Función McCarthy 91
- Formalismo McCarthy
- Watson (computadora)
Referencias
- ^ Conversaciones sobre la vanguardia del conocimiento y el descubrimiento , con Jeffrey Mishlove
- ^ McCarthy, John. "Profesor John McCarthy" . jmc.stanford.edu .
- ^ "John McCarthy - ganador del premio AM Turing" . amturing.acm.org .
- ^ Shasha, Dennis; Lazere, Cathy (1998). Fuera de sus mentes: las vidas y los descubrimientos de 15 grandes científicos informáticos . Springer . pag. 23. ISBN 9780387982694. Consultado el 27 de febrero de 2016 .
- ^ "Académico líder que acuñó el término 'inteligencia artificial ' " . The Irish Times . Consultado el 28 de enero de 2016 .
- ^ "Historia de las computadoras y la informática, nacimiento de la computadora moderna, historia del software, LISP de John McCarthy" . history-computer.com . Consultado el 28 de enero de 2016 .
- ^ a b c Woo, Elaine (28 de octubre de 2011). "John McCarthy muere a los 84; el padre de la inteligencia artificial" . Los Angeles Times .
- ^ Hayes, Patrick J .; Morgenstern, Leora (2007). "En el 80 cumpleaños de John McCarthy, en honor a sus contribuciones" . Revista AI . Asociación para el Avance de la Inteligencia Artificial . 28 (4): 93-102 . Consultado el 24 de noviembre de 2010 .
- ^ Williams, Sam (5 de marzo de 2002). Argumentando la IA: La batalla por la ciencia del siglo XXI . Al azar. ISBN 978-0812991802.
- ^ Lester Earnest. "Premio AM Turing: John McCarthy, Estados Unidos - 1971" . ACM . Consultado el 5 de septiembre de 2012 .
- ^ McCarthy, John (1951). Operadores de proyección y ecuaciones diferenciales parciales .
- ^ Steven Levy, Hackers, Heroes of the Computer Revolution , Gutenberg.org, p. 34
- ^ a b Roberts, Jacob (2016). "Máquinas pensantes: la búsqueda de la inteligencia artificial" . Destilaciones . 2 (2): 14-23. Archivado desde el original el 19 de agosto de 2018 . Consultado el 20 de marzo de 2018 .
- ^ McCarthy, John (1960). "Funciones recursivas de expresiones simbólicas y su cálculo por máquina". Comunicaciones de la ACM . 3 (4): 184-195. CiteSeerX 10.1.1.422.5235 . doi : 10.1145 / 367177.367199 . S2CID 1489409 .
- ^ McCarthy, John (agosto de 1959). "Carta al editor". Comunicaciones de la ACM . 2 (8): 2-3. doi : 10.1145 / 368405.1773349 . S2CID 7196706 .
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 4 de octubre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 4 de octubre de 2020 .
- ^ "Funciones recursivas de expresiones simbólicas y su computación por máquina" . Comunicaciones de la ACM. Abril de 1960 . Consultado el 29 de marzo de 2009 .
- ^ "Funciones recursivas de expresiones simbólicas y su computación por máquina, Parte I" . Archivado desde el original el 4 de octubre de 2013 . Consultado el 24 de noviembre de 2013 .
- ^ Garfinkel, Simson (1999). Abelson, Hal (ed.). Arquitectos de la Sociedad de la Información, Treinta y cinco años del Laboratorio de Informática del MIT . Cambridge: MIT Press. pag. 1. ISBN 978-0-262-07196-3.
- ^ McCarthy, John (31 de julio de 1994). "Puente espacial corto" . sci.space.tech grupo de noticias Usenet mensajes . Grupos de Google.
- ^ McCarthy, John (4 de febrero de 1995). "El progreso y su sostenibilidad" . formal.stanford.edu. Archivado desde el original el 4 de octubre de 2013 . Consultado el 24 de noviembre de 2013 .
- ^ "El que se niega a hacer aritmética está condenado a decir tonterías" (búsqueda de sci.environment del grupo de noticias de Usenet).
- ^ "John McCarthy, 84, muere; pionero del diseño de computadoras" . The New York Times . 26 de octubre de 2011.
- ^ "Árbol de los estudiantes de John McCarthy para las exhibiciones de historia de la computadora" . infolab.Stanford.edu. 21 de abril de 2012. Archivado desde el original el 2 de diciembre de 2013 . Consultado el 24 de noviembre de 2013 .
- ^ McCarthy, John (28 de junio de 2001). "El robot y el bebé" . formal.stanford.edu. Archivado desde el original el 4 de octubre de 2013 . Consultado el 24 de noviembre de 2013 .
- ^ Thomson, Cask J. (26 de octubre de 2011). "La muerte de los verdaderos innovadores de tecnología D. Ritchie y J. McCarthy - sin embargo, la muerte de Steve Jobs eclipsa a todos" . Blog WordsWithMeaning .
- ^ Markoff, John (25 de octubre de 2011). "John McCarthy, 84, muere; pionero del diseño de computadoras" . The New York Times .
- ^ "Biografía de Carolyn Talcott" . Universidad de Stanford . Archivado desde el original el 2 de diciembre de 2013.
- ^ "Acerca de John McCarthy" . Universidad Stanford. Archivado desde el original el 4 de octubre de 2013 . Consultado el 1 de febrero de 2013 .
- ^ McCarthy, John (7 de marzo de 2003). "Comentario sobre el mundo, los Estados Unidos y los asuntos científicos" . Universidad Stanford. Archivado desde el original el 4 de octubre de 2013 . Consultado el 1 de febrero de 2013 .
Por cierto, soy ateo.
- ^ En serio, Les. "Biografías de John McCarthy" . Universidad de Stanford . Consultado el 14 de febrero de 2016 .
- ^ Myers, Andrew (25 de octubre de 2011). "John McCarthy de Stanford, figura fundamental de la inteligencia artificial, muere a los 84" . Noticias de la Universidad de Stanford . Consultado el 26 de octubre de 2011 .
- ^ McCarthy, J. (1979) atribuir cualidades mentales a las máquinas. En: Perspectivas filosóficas en inteligencia artificial, ed. M. Ringle. Atlantic Highlands, Nueva Jersey: Humanities Press.
- ^ Searle, John R. (1980). "Mentes, cerebros y programas" (PDF) . Ciencias del comportamiento y del cerebro . 3 (3): 417–457. doi : 10.1017 / s0140525x00005756 .
- ^ "Medalla nacional de ciencia del presidente: detalles del destinatario 1990" . Fundación Nacional de Ciencia. 14 de febrero de 2006 . Consultado el 27 de septiembre de 2012 .
- ^ CHM. "John McCarthy - ganador del premio CHM Fellow" . Archivado desde el original el 3 de abril de 2015 . Consultado el 30 de marzo de 2015 .[1]
- ^ "Salón de la fama de AI" (PDF) . Sistemas inteligentes IEEE . 26 (4): 5–15. 2011. doi : 10.1109 / MIS.2011.64 .
- ^ "La revista IEEE Computer Society honra a los líderes en inteligencia artificial" . DigitalJournal.com . 24 de agosto de 2011 . Consultado el 18 de septiembre de 2011 .Fuente del comunicado de prensa: PRWeb ( Vocus ).
- ^ Beckett, Jamie (2 de diciembre de 2012). "La Escuela de Ingeniería de Stanford nombra nuevos héroes de la ingeniería" . Noticias de Stanford . Consultado el 2 de diciembre de 2012 .
Otras lecturas
- Philip J. Hilts, Temperamentos científicos: tres vidas en la ciencia contemporánea , Simon y Schuster, 1982. Perfiles extensos de John McCarthy, el físico Robert R. Wilson y el genetista Mark Ptashne.
- Pamela McCorduck , Machines Who Think: una investigación personal sobre la historia y las perspectivas de la inteligencia artificial , 1979, segunda edición de 2004.
- Pamela Weintraub, ed., The Omni Interviews , Nueva York: Ticknor y Fields, 1984. Entrevistas recopiladas publicadas originalmente en la revista Omni ; contiene una entrevista con McCarthy.
enlaces externos
- Página de inicio de McCarthy en Stanford en Wayback Machine (archivada el 11 de octubre de 2013).
- John McCarthy en el servidor de bibliografía DBLP
- John McCarthy en el Proyecto de genealogía matemática
- John McCarthy en el AI Genealogy Project.
- Celebración de los logros de John McCarthy en la Universidad de Stanford .
- Entrevista con Guy Steele realizada en OOPSLA 2008; Conjunto de entrevistas:
- Entrevista de historia oral con John McCarthy en el Instituto Charles Babbage , Universidad de Minnesota, Minneapolis. McCarthy analiza su papel en el desarrollo del tiempo compartido en el Instituto de Tecnología de Massachusetts. También describe su trabajo en inteligencia artificial (IA) financiado por la Agencia de Proyectos de Investigación Avanzada, incluida la IA basada en lógica (Lisp) y la robótica.
- Entrevista de historia oral con Marvin Minsky en el Instituto Charles Babbage, Universidad de Minnesota, Minneapolis. Minsky describe la investigación de inteligencia artificial (IA) en el Instituto de Tecnología de Massachusetts (MIT), incluido el trabajo de John McCarthy.
- Entrevista de historia oral con Jack B. Dennis en el Instituto Charles Babbage, Universidad de Minnesota, Minneapolis. Dennis analiza el trabajo de John McCarthy sobre el tiempo compartido y la influencia de la Oficina de Técnicas de Procesamiento de Información de DARPA en el desarrollo del tiempo compartido.
- Entrevista de historia oral con Fernando J. Corbató en Charles Babbage Institute, Universidad de Minnesota, Minneapolis. Corbató analiza la investigación en ciencias de la computación, especialmente el tiempo compartido, en el Instituto de Tecnología de Massachusetts (MIT), incluyendo a John McCarthy y la investigación sobre el tiempo compartido.
- John McCarthy en Find a Grave
- Memoria biográfica de la Academia Nacional de Ciencias
Precedido por Lucy Suchman | Medalla Benjamin Franklin en Computación y Ciencias Cognitivas 2003 | Sucedido por Richard M. Karp |