Hispanopedia Wiki
Articulo de referencia

Carl Hewitt

{{Cite web|url=https://www.legacy.com/us/obituaries/santacruzsentinel/name/carl-hewitt-obituary?id=38594220|title=Carl Hewitt Obituary (1944 - 2022) - Aptos, CA - Santa Cruz Sen...

Hispanopedia WikiContenido en espanolLectura gratuita
Página semiprotegida

Carl Eddie Hewitt ( / ˈ h j uː ɪ t / ; 12 de diciembre de 1944 – 7 de diciembre de 2022) [ 2 ] fue un científico informático estadounidense que diseñó el lenguaje de programación Planner para la planificación automatizada [ 3 ] y el modelo de actores de computación concurrente , [ 4 ] que han sido influyentes en el desarrollo de la programación lógica , funcional y orientada a objetos . Planner fue el primer lenguaje de programación basado en planes procedimentales invocados mediante invocación dirigida por patrones a partir de aserciones y objetivos. El modelo de actores influyó en el desarrollo del lenguaje de programación Scheme , [ 5 ] el cálculo π , [ 6 ] y sirvió de inspiración para varios otros lenguajes de programación. [ 7 ]

Educación y carrera

Hewitt obtuvo su doctorado en matemáticas en el MIT en 1971, bajo la supervisión de Seymour Papert , Marvin Minsky y Mike Paterson . Comenzó a trabajar en el MIT ese mismo año, [ 8 ] y se jubiló de la facultad del Departamento de Ingeniería Eléctrica y Ciencias de la Computación del MIT durante el año académico 1999-2000. [ 9 ] Se convirtió en profesor emérito del departamento en 2000. [ 10 ] Entre los estudiantes de doctorado que Hewitt supervisó durante su tiempo en el MIT se encuentran Gul Agha , Henry Baker , William Clinger , Irene Greif y Akinori Yonezawa . [ 11 ]

Desde septiembre de 1989 hasta agosto de 1990, Hewitt fue profesor visitante de la Cátedra IBM en el Departamento de Ciencias de la Computación de la Universidad de Keio en Japón. [ 12 ] También ha sido profesor visitante en la Universidad de Stanford .

Investigación

Hewitt era conocido principalmente por su trabajo sobre el modelo de actor de computación. Durante la última década, su trabajo se centró en la "robustez de inconsistencia", que busca proporcionar fundamentos prácticos y rigurosos para sistemas que manejan información persistentemente inconsistente. [ 13 ] Este trabajo surgió de su tesis doctoral, centrada en la incrustación procedimental (en contraposición a la lógica) del conocimiento, que se materializó en el lenguaje de programación Planner .

Sus publicaciones también incluyen contribuciones en las áreas de sistemas de información abiertos , [ 14 ] sistemas organizacionales y multiagente , [ 15 ] programación lógica , [ 3 ] programación concurrente , lógica paraconsistente [ 16 ] y computación en la nube . [ 17 ]

Planificador

El lenguaje Planner se desarrolló a finales de la década de 1960 como parte de la investigación doctoral de Hewitt en el Laboratorio de Inteligencia Artificial del MIT. El trabajo de Hewitt sobre Planner introdujo la noción de la "incrustación procedimental del conocimiento" [ 18 ] , que era una alternativa al enfoque lógico para la codificación del conocimiento para la inteligencia artificial, iniciado por John McCarthy [ 19 ] . Planner ha sido descrito como "extremadamente ambicioso" [ 20 ] . Un subconjunto de Planner llamado Micro-Planner fue implementado en el MIT por Gerry Sussman , Drew McDermott , Eugene Charniak y Terry Winograd [ 21 ] y se utilizó en el programa SHRDLU de Winograd [ 22 ] , el trabajo de Charniak sobre comprensión de historias en lenguaje natural [ 23 ] y el trabajo de L. Thorne McCarty sobre razonamiento legal [ 24 ] . Planner fue implementado casi por completo en Popler [ 25 ] por Julian Davies en Edimburgo. Planner también influyó en el desarrollo posterior de otros lenguajes de investigación de IA como Muddle y Conniver, [ 20 ] así como en el lenguaje de programación orientado a objetos Smalltalk . [ 26 ]

El trabajo de Hewitt sobre Planner continuó con Muddle (más tarde llamado MDL), desarrollado a principios de la década de 1970 por Sussman, Hewitt, Chris Reeve y David Cressey como un paso previo a la implementación completa de Planner. Muddle se implementó como una versión extendida de Lisp e introdujo varias características que posteriormente fueron adoptadas por Conniver, Lisp Machine Lisp y Common Lisp. [ 20 ] Sin embargo, a finales de 1972, Hewitt detuvo abruptamente el desarrollo del diseño de Planner en su tesis, cuando él y sus estudiantes de posgrado inventaron el modelo de actor de computación.

Actor y modelo

El trabajo de Hewitt sobre el modelo de actores para la computación abarcó más de 30 años, comenzando con la introducción del modelo en un artículo de 1973 escrito por Hewitt, Peter Bishop y Richard Steiger, [ 27 ] e incluyendo nuevos resultados sobre la semántica del modelo de actores publicados tan recientemente como en 2006. [ 28 ] Gran parte de este trabajo se llevó a cabo en colaboración con estudiantes del Grupo de Semántica de Paso de Mensajes de Hewitt en el Laboratorio de Inteligencia Artificial del MIT. [ 29 ]

Sussman y Steele desarrollaron el lenguaje de programación Scheme con el fin de comprender mejor el modelo de actores. Descubrieron que su operador para crear un actor, ALPHA, y su operador para crear una función, LAMBDA, eran idénticos, por lo que solo conservaron LAMBDA para ambos. [ 30 ] [ 31 ] Se desarrollaron otros lenguajes de programación para implementar específicamente el modelo de actores, como ACT-1, [ 32 ] SALSA , [ 33 ] Caltrop, [ 34 ] E [ 7 ] y ActorScript. [ 35 ] El modelo de actores también influyó en el desarrollo del cálculo π . [ 36 ] (Véase la historia del modelo de actores y los cálculos de procesos ).

Obras seleccionadas

  • Carl Hewitt (1969). PLANNER: Un lenguaje para demostrar teoremas en robots IJCAI'69.
  • Carl Hewitt, Peter Bishop y Richard Steiger (1973). Un formalismo de actor modular universal para la inteligencia artificial IJCAI'73.
  • Carl Hewitt y Henry Baker (1977a). Leyes para la comunicación de procesos paralelos IFIP'77.
  • Carl Hewitt y Henry Baker (1977b). Actores y funcionales continuos . Actas de la Conferencia de Trabajo de la IFIP sobre la Descripción Formal de los Conceptos de Programación. 1-5 de agosto de 1977.
  • William Kornfeld y Carl Hewitt (1981). La metáfora de la comunidad científica. IEEE Transactions on Systems, Man, and Cybernetics. Enero de 1981.
  • Henry Lieberman y Carl E. Hewitt (1983). Un recolector de basura en tiempo real basado en la vida útil de los objetos Communications of the ACM, 26(6).
  • Carl Hewitt (1985). El desafío de los sistemas abiertos . Revista Byte. Abril de 1985. (Reimpreso en Los fundamentos de la inteligencia artificial: un libro de referencia. Cambridge University Press. 1990)

Véase también

Referencias

  1. ^ "Obituario de Carl Hewitt (1944 - 2022) - Aptos, CA - Santa Cruz Sentinel" . Legacy.com .
  2. ↑ Carl Hewitt Stanford. 2022.
  3. 1 2 Carl Hewitt. PLANNER: Un lenguaje para demostrar teoremas en robots IJCAI. 1969.
  4. ↑ Filman, Robert; Daniel Friedman (1984). «Actores» . Computación coordinada: herramientas y técnicas para software distribuido . McGraw-Hill. pág . 145. ISBN  978-0-07-022439-1. Consultado el 22 de abril de 2007. Carl Hewitt y sus colegas del MIT están desarrollando el modelo Actor.
  5. ↑ Krishnamurthi, Shriram (diciembre de 1994). "Una introducción al esquema" . Crossroads . 1 (2): 19– 27. doi : 10.1145/197149.197166 . S2CID 9782289. Archivado del original el 25 de abril de 2007. Recuperado el 22 de abril de 2007 . 
  6. ↑ Milner, Robin (enero de 1993). "Conferencia del Premio Turing de la ACM: Los elementos de la interacción" . Communications of the ACM . 36 (1): 78– 89. doi : 10.1145/151233.151240 . S2CID 14586773 . 
  7. 1 2 Miller, Mark S. (2006). Composición robusta: hacia un enfoque unificado para el control de acceso y el control de concurrencia (PDF) (PhD). Universidad Johns Hopkins. Archivado del original (PDF) el 10 de agosto de 2007. Recuperado el 26 de mayo de 2007 .
  8. ↑ Oficina de Prensa del MIT (10 de abril de 1996). "El Club del Cuarto de Siglo incorpora a 73 nuevos miembros" . Consultado el 19 de junio de 2007 .
  9. ↑ John V. Guttag (2000). "Informes del MIT al Presidente 1999–2000 – Departamento de Ingeniería Eléctrica y Ciencias de la Computación" . Recuperado el 19 de junio de 2007 .
  10. ↑ "Coloquio de Sistemas Informáticos de Ingeniería Eléctrica de Stanford" . Universidad de Stanford . Consultado el 30 de julio de 2011 .
  11. ↑ Carl Hewitt (2007). "Biografía académica de Carl Hewitt" . Archivado del original el 7 de septiembre de 2009. Consultado el 22 de noviembre de 2007 .
  12. ↑ Ryuichiro Ohyama (1991). "Departamento de Ciencias de la Computación: Profesores Visitantes Recientes y Actuales" . Archivado del original el 30 de abril de 2007. Consultado el 19 de junio de 2007 .
  13. ↑ Hewitt, Carl; Woods, John, eds. (2015). Inconsistency Robustness . Studies in Logic. Vol. 52. College Publications. p. 614. ISBN   9781848901599.
  14. ↑ Carl Hewitt (1986). "Las oficinas son sistemas abiertos" . ACM Trans. Inf. Syst . 4 (3): 271– 287. doi : 10.1145/214427.214432 . S2CID 18029528 . 
  15. ↑ Jacques Ferber (1999). Sistemas multiagente: una introducción a la inteligencia artificial distribuida . Addison-Wesley.
  16. ↑ Hewitt, Carl (2008). "La computación organizacional a gran escala requiere reflexión no estratificada y fuerte paraconsistencia" . En Sichman, Jaime; Noriega, Pablo; Padget, Julian; Ossowski, Sascha (eds.). Coordinación, organizaciones, instituciones y normas en sistemas de agentes III . Springer-Verlag. ISBN 978-3-540-79002-0.
  17. ↑ Carl Hewitt (septiembre-octubre de 2008). "ORGs para computación en la nube de cliente escalable, robusta y respetuosa con la privacidad". IEEE Internet Computing . 12 (5): 96. Bibcode : 2008IIC....12e..96H . doi : 10.1109/MIC.2008.107 .
  18. ↑ Carl Hewitt. Incrustación procedimental del conocimiento en Planner IJCAI. 1971.
  19. ↑ Philippe Rouchy, Aspectos de la historia de PROLOG: Programación lógica y dinámica profesional , TeamEthno-Online Número 2, junio de 2006, 85-100.
  20. 1 2 3 Sussman, Gerald Jay; Guy L. Steele (1998). "El primer informe sobre Scheme revisado" (PDF) . Higher-Order and Symbolic Computation . 11 (4): 399– 404. doi : 10.1023/A:1010079421970 . S2CID 7704398. Archivado del original (PDF) el 15 de junio de 2006. Recuperado el 3 de enero de 2009 . 
  21. ↑ Gerry Sussman y Terry Winograd. Manual de referencia del microplanificador. Memorando de IA n.º 203, Proyecto MAC del MIT, julio de 1970.
  22. ↑ Terry Winograd. Procedimientos como representación de datos en un programa informático para la comprensión del lenguaje natural. MIT AI TR-235. Enero de 1971.
  23. ↑ Marvin Minsky y Seymour Papert. "Informe de progreso sobre inteligencia artificial" MIT AI Memo 252. 1971.
  24. ↑ L. Thorne McCarty. «Reflexiones sobre TAXMAN: Un experimento sobre inteligencia artificial y razonamiento jurídico». Harvard Law Review. Vol. 90, n.º 5, marzo de 1977.
  25. ↑ Julian Davies. Manual de referencia Popler 1.6, Universidad de Edimburgo, Informe TPU n.º 1, mayo de 1973.
  26. ↑ Kay, Alan; Stefan Ram (23-07-2003). "Correo electrónico del 23-07-2003" . El Dr. Alan Kay sobre el significado de la "programación orientada a objetos" . Recuperado el 03-01-2009 .
  27. ↑ Hewitt, Carl ; Bishop, Peter; Steiger, Richard (1973). Un formalismo de actor modular universal para la inteligencia artificial (PDF) . Conferencia Internacional Conjunta sobre Inteligencia Artificial.
  28. ↑ Carl Hewitt ¿Qué es el compromiso? Físico, organizacional y social COIN@AAMAS. 27 de abril de 2006.
  29. ↑ Mark S. Miller. "Actores: Fundamentos para sistemas abiertos" . Consultado el 20 de junio de 2007 .
  30. ↑ Hewitt, Carl (2010). "Actor Model of computation". arXiv : 1008.1459 [ cs.PL ].
  31. ↑ Sussman, Gerald Jay; Guy L. Steele (1998). "The First Report on Scheme Revisited" (PDF) . Higher-Order and Symbolic Computation . 11 (4): 399–404 . doi : 10.1023/A:1010079421970 . S2CID 7704398. Archivado del original (PDF) el 15 de junio de 2006. 
  32. ↑ Henry Lieberman, " Programación concurrente orientada a objetos en el Acto 1 ", En Programación concurrente orientada a objetos, A. Yonezawa y M. Tokoro, eds., MIT Press, 1987.
  33. ↑ C. Varela y G. Agha. Programación de sistemas abiertos dinámicamente reconfigurables con SALSA . OOPSLA 2001 Intriguing Technology Track. ACM SIGPLAN Notices, 36(12):20-34, diciembre de 2001.
  34. ↑ Eker, Johan; Janneck, Jörn W. (28 de noviembre de 2001). "Una introducción al lenguaje de actores Caltrop" (PDF) . Consultado el 20 de junio de 2007 .
  35. ↑ Hewitt, Carl (2010). "Extensión ActorScript de C#, Java y Objective C". arXiv : 1008.2748 [ cs.PL ].
  36. ↑ Robin Milner Elementos de interacción: Conferencia del premio Turing CACM. Enero de 1993.
Obtenido de " https://en.wikipedia.org/w/index.php?title=Carl_Hewitt&oldid=1352541183 "