stringtranslate.com

Douglas Lenat

Douglas Bruce Lenat (13 de septiembre de 1950 - 31 de agosto de 2023) fue un científico informático e investigador estadounidense en inteligencia artificial [1] [2] que fue el fundador y director ejecutivo de Cycorp, Inc. en Austin, Texas .

Lenat recibió el premio bianual IJCAI Computers and Thought Award en 1976 por crear el programa de aprendizaje automático AM . Ha trabajado en aprendizaje automático (simbólico, no estadístico) (con sus programas AM y Eurisko ), representación del conocimiento, [3] "economía cognitiva", [4] sistemas de pizarra y lo que denominó en 1984 " ingeniería ontológica " [5] (con su programa Cyc en MCC y, desde 1994, en Cycorp ). También ha trabajado en simulaciones militares, [6] y numerosos proyectos para el gobierno de los EE. UU., el ejército, la inteligencia y organizaciones científicas. En 1980, publicó una crítica del darwinismo convencional de mutación aleatoria. [7] [8] Fue autor de una serie de artículos [9] [10] [11] [12] en el Journal of Artificial Intelligence que exploran la naturaleza de las reglas heurísticas.

Lenat fue uno de los miembros originales de la AAAI y es el único individuo que ha formado parte de los consejos asesores científicos de Microsoft y Apple. Fue miembro de la AAAS , la AAAI y la Cognitive Science Society , y editor de J. Automated Reasoning , J. Learning Sciences y J. Applied Ontology . Fue uno de los fundadores de TTI/Vanguard en 1991 y miembro de su consejo asesor. [13] Fue nombrado uno de los 25 de Wired. [14]

Antecedentes y educación

Lenat nació en Filadelfia , Estados Unidos, el 13 de septiembre de 1950. [15] Cuando tenía 5 años, la familia se mudó a Wilmington, Delaware , donde su padre, Nathan Lenat, era dueño de una planta embotelladora . [15] Su padre murió cuando tenía 13 años y la familia regresó a Pensilvania, donde asistió a Cheltenham High School . [15] Su trabajo después de la escuela era limpiar jaulas para ratas y corrales de gansos en Beaver College, lo que lo motivó a aprender programación como una mejor ocupación. [15]

Asistió a la Universidad de Pensilvania , donde se ganó la vida programando, lo que incluyó el diseño y desarrollo de una interfaz de lenguaje natural para un manual de operaciones en línea de la Armada de los Estados Unidos . Se graduó con una licenciatura en Matemáticas y Física, y una maestría en Matemáticas Aplicadas, todo ello en 1972. [15]

Para su tesis de grado, asesorado en parte por Dennis Gabor , se trataba de rebotar ondas acústicas en el rango de 40 mHz en objetos del mundo real, registrar sus patrones de interferencia en un terreno de 2 metros cuadrados, fotorreducirlas a una imagen de película de 10 mm cuadrados, hacer brillar un láser a través de la película y así proyectar el objeto tridimensional fotografiado, es decir, el primer holograma acústico conocido . [ cita requerida ] Para resolver una discusión con el Dr. Gabor, Lenat generó por computadora un holograma de cinco dimensiones, fotorreduciendo la impresión de computadora del patrón de interferencia de un globo que giraba y se expandía con el tiempo, reduciendo la gran impresión de papel bidimensional a una superficie de película cuadrada moderadamente grande de 5 cm a través de la cual un rayo láser convencional pudo luego proyectar una imagen tridimensional, que cambiaba de dos maneras independientes (rotando y cambiando de tamaño) a medida que la película se movía hacia arriba-abajo o de izquierda-derecha. [ cita requerida ]

Lenat era estudiante de doctorado en Ciencias de la Computación en la Universidad de Stanford, donde sus investigaciones publicadas incluían la síntesis automática de programas a partir de pares de entrada/salida y de diálogos de aclaración del lenguaje natural. [16]

Investigación

Lenat recibió su doctorado en Ciencias de la Computación de la Universidad de Stanford , "AM: Discovery in mathematics as heuristic search" (publicado como Knowledge-based systems in artificial intelligence , [17] junto con la tesis de doctorado de Randall Davis, McGraw-Hill, 1982) en 1976. [ cita requerida ] Su asesor de tesis fue el profesor Cordell Green .

Su tesis, AM (Matemático Automatizado), fue uno de los primeros programas informáticos que intentó hacer descubrimientos, es decir, ser un proponente de teoremas en lugar de un demostrador de teoremas . La experimentación con el programa alimentó un ciclo de críticas y mejoras. Se tuvieron que abordar muchas cuestiones para construir un programa de este tipo: cómo representar el conocimiento de manera formal, expresiva y concreta, cómo programar cientos de reglas heurísticas de "interés" para juzgar el valor de los nuevos descubrimientos, heurísticas para saber cuándo razonar simbólica e inductivamente frente a cuándo razonar estadísticamente a partir de datos de frecuencia, cuál podría ser la arquitectura (las restricciones de diseño) de dichos programas de razonamiento, por qué funcionan las heurísticas y cuál podría ser su "estructura interna". AM fue uno de los primeros pasos para demostrar que los programas informáticos pueden hacer descubrimientos novedosos y creativos. [18]

En 1976, Lenat comenzó a enseñar como profesor adjunto de Ciencias de la Computación en Carnegie Mellon y comenzó a trabajar en el programa de IA Eurisko . La limitación de la IA era que estaba limitada a seguir un conjunto fijo de heurísticas de interés; Eurisko, por el contrario, representaba sus reglas heurísticas como objetos de primera clase y, por lo tanto, podía explorar, manipular y descubrir nuevas heurísticas de la misma manera que la IA exploraba, manipulaba y descubría nuevos conceptos de dominio. [ cita requerida ]

Lenat regresó a Stanford como profesor adjunto de Ciencias de la Computación en 1978 y continuó su investigación desarrollando el programa de descubrimiento automatizado y descubrimiento heurístico Eurisko. Eurisko hizo muchos descubrimientos interesantes y gozó de un gran reconocimiento, y el artículo de Lenat "Heurética: estudio teórico y experimental de reglas heurísticas" [19] ganó el premio al mejor artículo [ cita requerida ] en la conferencia AAAI de 1982 .

Un llamado al “sentido común”

En 1984, Lenat (que trabajaba con John Seely Brown en Xerox PARC) publicó un análisis de las limitaciones de sus líneas de investigación AM y Eurisko. [20] Concluía que el progreso hacia una IA simbólica general y real requeriría una vasta base de conocimiento de "sentido común", adecuadamente formalizada y representada, y un motor de inferencia capaz de encontrar conclusiones y argumentos de decenas o cientos de profundidad que se derivaran de la aplicación de esa base de conocimiento a preguntas y aplicaciones específicas. [21]

Los éxitos y el análisis de las limitaciones de este enfoque de AM y Eurisko para la IA, y la petición final de que se necesitara un esfuerzo masivo de I+D (de varios miles de personas por año y durante décadas) para romper ese cuello de botella en la IA, atrajeron la atención en 1982 del almirante Bob Inman y del consorcio de investigación MCC que se estaba formando en Austin, Texas , lo que culminó con el nombramiento de Lenat como científico principal del MCC entre 1984 y 1994, aunque continuó incluso después de este período volviendo a Stanford para enseñar aproximadamente un curso por año. En el MCC de 400 personas, Lenat pudo tener a varias docenas de investigadores trabajando en esa base de conocimiento de sentido común , en lugar de solo unos pocos estudiantes de posgrado. [ cita requerida ]

Cicorp

Los frutos de la primera década de I+D en Cyc [22] se separaron de MCC y se convirtieron en una empresa, Cycorp, a finales de 1994. En 1986, estimó que el esfuerzo para completar Cyc sería de al menos 250.000 reglas y 1.000 años-persona de esfuerzo, [23] probablemente el doble de eso, y para 2017, él y su equipo habían dedicado unos 2.000 años-persona de esfuerzo a la creación de Cyc, creando aproximadamente 24 millones de reglas y afirmaciones (sin contar los "hechos"). [ cita requerida ]

Lenat continuó trabajando en Cyc como director ejecutivo de Cycorp hasta su muerte. Mientras que la primera década de trabajo en Cyc (1984-1994) fue financiada por grandes empresas estadounidenses que juntaron fondos de investigación a largo plazo para competir con el Proyecto Japonés de Computadoras de Quinta Generación , y la segunda década (1995-2006) de trabajo en Cyc fue financiada por contratos de investigación de agencias del gobierno de los EE. UU., la tercera década hasta el presente (2007-2023) ha sido financiada en gran medida por aplicaciones comerciales de Cyc, incluidas las áreas de servicios financieros, energía y atención médica. [24] Uno de estos proyectos posteriores fue una aplicación de aprendizaje mediante la enseñanza llamada Mathcraft. [25]

Vida personal y muerte

Lenat estaba casado con Merle Baruch, con quien tuvo una hija; [26] se divorciaron y luego se casó con la gerente comercial de Cycorp, Mary Shepherd. [27] Murió de cáncer de vías biliares el 31 de agosto de 2023, a la edad de 72 años. [28] [15]

Citas

Doug Lenat en su oficina de Cycorp

Escritos

Referencias

  1. ^ Fuera de sí - Las vidas y descubrimientos de 15 grandes científicos informáticos | Dennis Shasha | Springer. Copérnico. Copérnico. 1998. ISBN 9780387982694.
  2. ^ Lenat, Douglas B. (1995). "Inteligencia artificial". Scientific American . 273 (3): 80–82. JSTOR  24981725.
  3. ^ Lenat, Douglas; Greiner, Russell (1980). "RLL: A Representation Language Language". Actas de la Primera Conferencia AAAI . 1 .
  4. ^ Lenat, Douglas B.; Hayes-Roth, Frederick; Klahr, Philip (1979). "Economía cognitiva en sistemas de inteligencia artificial". Actas de la 6.ª Conferencia conjunta internacional sobre inteligencia artificial, volumen 1. IJCAI'79. San Francisco, CA, EE. UU.: Morgan Kaufmann Publishers Inc.: 531–536. ISBN 978-0934613477.
  5. ^ Lenat, DB (marzo de 1989). "Ingeniería ontológica versus ingeniería del conocimiento". IEEE Transactions on Knowledge and Data Engineering . 1 (1): 84–88. doi :10.1109/69.43405. ISSN  1041-4347.
  6. ^ Lenat, DB; Fishwick, PA; Modjeski, RB; Oresky, CM; Clarkson, A; Kaisler, S (1991). "STRADS: Un sistema de descubrimiento automático estratégico". Simulación basada en conocimiento: metodología y aplicación .
  7. ^ Lenat, Douglas. "La heurística de la naturaleza: la mutación plausible del ADN". Stanford Heuristic Programming Project, 1980, informe técnico HPP-80-27.
  8. ^ Lenat, Douglas B. (1983). "El papel de la heurística en el aprendizaje por descubrimiento: tres estudios de caso". Aprendizaje automático . Computación simbólica. Springer, Berlín, Heidelberg. págs. 243–306. doi :10.1007/978-3-662-12405-5_9. ISBN 9783662124079.
  9. ^ Lenat, Douglas (1982). "La naturaleza de la heurística". Revista de inteligencia artificial . 19 .
  10. ^ Lenat, Douglas (1983). "La naturaleza de la heurística II: Formación de teorías mediante búsqueda heurística". Revista de inteligencia artificial . 20 .
  11. ^ Lenat, Douglas (1983). "La naturaleza de la heurística III: Eurisko". Revista de inteligencia artificial . 20 .
  12. ^ Lenat, Douglas (1984). "La naturaleza de la heurística IV: por qué AM y Eurisko parecen funcionar". Revista de inteligencia artificial . 23 .
  13. ^ Archivado el 12 de octubre de 2017 en Wayback Machine.
  14. ^ Personal de Wired. "The Wired 25". WIRED . Consultado el 29 de noviembre de 2017 .
  15. ^ abcdef Metz, Cade (4 de septiembre de 2023). «Douglas Lenat, que intentó hacer que la IA fuera más humana, muere a los 72 años». The New York Times . Consultado el 4 de septiembre de 2023 .
  16. ^ “Informe de progreso sobre sistemas de comprensión de programas”. C. Cordell Green , Richard J. Waldinger, David R. Barstow, Robert Elschlager, Douglas B. Lenat, Brian P. McCune, David E. Shaw y Louis I. Steinberg. Memorándum AIM-240, Informe STAN-CS-74-444, Laboratorio de Inteligencia Artificial, Departamento de Ciencias de la Computación, Universidad de Stanford, Stanford, California, agosto de 1974
  17. ^ Davis, Randall; Lenat, Douglas B. (1982). Sistemas basados ​​en el conocimiento en inteligencia artificial: dos estudios de caso. Nueva York, NY, EE. UU.: McGraw-Hill, Inc. ISBN 978-0070155572.
  18. ^ Lenat, Douglas B.; Gregory, Harris (1977). "Diseño de un sistema de reglas que busque descubrimientos científicos".
  19. ^ "Heurética: estudio teórico y experimental de reglas heurísticas". www.aaai.org . Consultado el 6 de noviembre de 2017 .
  20. ^ Lenat, Douglas B.; Brown, John Seely (1 de agosto de 1984). "Por qué am y eurisko parecen funcionar". Inteligencia artificial . 23 (3): 269–294. CiteSeerX 10.1.1.565.8830 . doi :10.1016/0004-3702(84)90016-X. 
  21. ^ Lenat, Douglas B.; Borning, Alan; McDonald, David; Taylor, Craig; Weyer, Steven (1983). "Knoesphere: Building Expert Systems with Encyclopedic Knowledge". Actas de la Octava Conferencia Conjunta Internacional sobre Inteligencia Artificial - Volumen 1 . IJCAI'83: 167–169.
  22. ^ Lenat, Douglas. "El legado de Hal: la computadora de 2001 como sueño y realidad. De 2001 a 2001: el sentido común y la mente de HAL". Cycorp, Inc. Archivado desde el original el 6 de octubre de 2006. Consultado el 26 de septiembre de 2006 .
  23. ^ Entendiendo las computadoras: Inteligencia artificial . Ámsterdam: Time-Life Books . 1986. pág. 84. ISBN 978-0-7054-0915-5.
  24. ^ Lenat, Douglas; Witbrock, Michael; Baxter, David; Blackstone, Eugene; Deaton, Chris; Schneider, Dave; Scott, Jerry; Shepard, Blake (28 de julio de 2010). "Aprovechamiento de Cyc para responder a las consultas ad hoc de los investigadores clínicos". AI Magazine . 31 (3): 13–32. doi : 10.1609/aimag.v31i3.2299 . ISSN  0738-4602.
  25. ^ Lenat, Douglas B.; Durlach, Paula J. (1 de septiembre de 2014). "Reforzar el conocimiento matemático mediante la inmersión de los estudiantes en una experiencia simulada de aprendizaje mediante la enseñanza". Revista internacional de inteligencia artificial en educación . 24 (3): 216–250. doi : 10.1007/s40593-014-0016-x . ISSN  1560-4292. S2CID  72571.
  26. ^ Kali Shiloh (16 de noviembre de 2023), "Le enseñó a la IA los hechos de la vida", Stanford Magazine
  27. ^ "La solitaria cruzada de un genio para enseñarle sentido común a una computadora". Wired . 24 de marzo de 2016 . Consultado el 2 de septiembre de 2023 .
  28. ^ Obituario de Douglas Lenat
  29. ^ Lenat, Douglas (1988). "El caso de la inelegancia". Actas del Taller Internacional sobre Inteligencia Artificial para Aplicaciones Industriales, Tokio, mayo de 1988 .
  30. ^ Wood, Lamont. Cycorp: El costo del sentido común, Technology Review , marzo de 2005
  31. ^ Michael A. Hiltzik (21 de junio de 2001), "El nacimiento de una máquina pensante", Los Angeles Times
  32. ^ "A veces la apariencia de inteligencia no es suficiente | CogWorld". cognitiveworld.com . Consultado el 29 de noviembre de 2017 .
  33. ^ Love, Dylan (2 de julio de 2014). "El proyecto de inteligencia artificial más ambicioso del mundo ha estado funcionando casi en secreto durante 30 años". Business Insider . Consultado el 7 de octubre de 2020 .
  34. ^ Kaku, Michio (4 de marzo de 1999). Visiones: cómo la ciencia revolucionará el siglo XXI. OUP Oxford. pág. 64. ISBN 978-0-19-288018-5.
  35. ^ Lenat, Douglas B.; Clarkson, Albert; Kircmidjian, Garo (1983). "Un sistema experto para el análisis de indicaciones y advertencias". Actas de la Octava Conferencia Conjunta Internacional sobre Inteligencia Artificial - Volumen 1 . IJCAI'83: 259–262.
  36. ^ Lenat, Douglas B.; Feigenbaum, Edward A. (febrero de 1991). "Sobre los umbrales del conocimiento". Artif. Intel . 47 (1–3): 185–250. doi :10.1016/0004-3702(91)90055-O. ISSN  0004-3702.
  37. ^ Lenat, Douglas B.; Guha, RV (1 de enero de 1990). Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project (Construcción de grandes sistemas basados ​​en el conocimiento: representación e inferencia en el proyecto Cyc ). Reading, Mass.: Addison-Wesley. ISBN 9780201517521.
  38. ^ Clarke, Arthur C. (6 de febrero de 1998). Stork, David G. (ed.). HAL's Legacy: 2001's Computer as Dream and Reality (edición reimpresa). Cambridge, Mass.: The MIT Press. ISBN 9780262692113.
  39. ^ Lenat, Douglas B. (10 de julio de 2008). "La voz de la tortuga: ¿qué pasó con la IA?". AI Magazine . 29 (2). doi :10.1609/aimag.v29i2.2106. ISSN  0738-4602. Archivado desde el original el 7 de noviembre de 2017 . Consultado el 7 de noviembre de 2017 .
  40. ^ Lenat, Douglas B. (13 de abril de 2016). "WWTS (What Would Turing Say?)". AI Magazine . 37 (1): 97–101. doi : 10.1609/aimag.v37i1.2644 . ISSN  0738-4602.

Lectura adicional

Enlaces externos