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 en inteligencia artificial estadounidense [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, el ejército, la inteligencia y las organizaciones científicas de los Estados Unidos. En 1980, publicó una crítica del darwinismo convencional de mutaciones aleatorias. [7] [8] Es 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 la única persona que ha formado parte de los consejos asesores científicos de Microsoft y Apple. Fue miembro de la AAAS , AAAI y 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 Archivado el 12 de octubre de 2017 en Wayback Machine . Fue nombrado uno de los 25 de Wired. [13]

Antecedentes y educación

Lenat nació en Filadelfia , Estados Unidos, el 13 de septiembre de 1950. [14] 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 . [14] Su padre murió cuando él tenía 13 años y la familia luego regresó a Pensilvania, donde asistió a Cheltenham High School . [14] Su trabajo después de la escuela era limpiar jaulas de ratas y corrales de gansos en Beaver College , lo que lo motivó a aprender programación como una mejor ocupación. [14]

Asistió a la Universidad de Pensilvania , apoyándose en la programación, incluido el diseño y desarrollo de una interfaz en lenguaje natural para un manual de operaciones en línea de la Marina de los Estados Unidos . Se graduó de bachiller en Matemáticas y Física, y de maestría en Matemática Aplicada, todo en 1972. [14]

Su tesis, asesorada en parte por Dennis Gabor , consistió en hacer rebotar ondas acústicas en el rango de 40 mHz en objetos del mundo real, registrar sus patrones de interferencia en un gráfico de 2 metros cuadrados y fotorreducirlos a un cuadrado de 10 mm. imagen de la película, hacer brillar un láser a través de la película y así proyectar el objeto fotografiado tridimensional, es decir, el primer holograma acústico conocido . [ cita necesaria ] Para resolver una discusión con el Dr. Gabor, Lenat generó por computadora un holograma de cinco dimensiones, mediante una impresión por computadora fotorreductora del patrón de interferencia de un globo que gira y se expande con el tiempo, reduciendo la gran copia impresa en 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 podía proyectar una imagen tridimensional, que cambiaba de dos maneras independientes (girando y cambiando de tamaño) a medida que la película se movía hacia arriba, hacia abajo o hacia la izquierda. -bien. [ cita necesaria ]

Lenat tenía un doctorado. estudiante de Ciencias de la Computación en la Universidad de Stanford, donde su investigación publicada incluyó síntesis automática de programas a partir de pares de entrada/salida y diálogos de clarificación del lenguaje natural. [15]

Investigación

Lenat recibió su doctorado. en Ciencias de la Computación de la Universidad de Stanford , "AM: Discovery in math as heuristic search" (publicado como Sistemas basados ​​en el conocimiento en inteligencia artificial , [16] junto con la tesis doctoral de Randall Davis, McGraw-Hill, 1982) en 1976. [ cita necesaria ] Su director 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 . Experimentar con el programa impulsó un ciclo de críticas y mejoras. Se tuvieron que abordar muchas cuestiones al construir tal programa: cómo representar el conocimiento formal, expresiva y concretamente, cómo programar cientos de reglas heurísticas de "interés" para juzgar el valor de nuevos descubrimientos, heurísticas para saber cuándo razonar simbólica e inductivamente. versus cuándo razonar estadísticamente a partir de datos de frecuencia, cuál podría ser la arquitectura (las limitaciones de diseño) de tales 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 realizar descubrimientos novedosos y creativos. [17]

En 1976, Lenat comenzó a enseñar como profesor asistente de Ciencias de la Computación en Carnegie Mellon y comenzó su trabajo en el programa de inteligencia artificial Eurisko . La limitación de la AM era que estaba obligada 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 tanto, podía explorar, manipular y descubrir nuevas heurísticas tal como AM exploraba, manipulaba y descubriera nuevos conceptos de dominio. [ cita necesaria ]

Lenat regresó a Stanford como profesor asistente de Ciencias de la Computación en 1978 y continuó su investigación construyendo el programa de descubrimiento heurístico y de descubrimiento automatizado Eurisko. Eurisko hizo muchos descubrimientos interesantes y gozó de importantes elogios, con el artículo de Lenat "Heurética: estudio teórico y experimental de reglas heurísticas" [18] ganando el premio al Mejor artículo [ cita necesaria ] en la conferencia AAAI de 1982 .

Un llamado al "sentido común"

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

Los éxitos y el análisis de las limitaciones de este enfoque de AM y Eurisko hacia la IA, y el alegato final a favor de un esfuerzo masivo (de varios miles de años de personas y de décadas de duración) en I+D serían necesarios para romper ese cuello de botella para la IA. llamó la atención en 1982 del almirante Bob Inman y el entonces formado consorcio de investigación MCC en Austin, Texas , culminando con el nombramiento de Lenat como científico principal de MCC de 1984 a 1994, aunque continuó incluso después de este período regresando a Stanford para enseñar aproximadamente un curso por año. En el MCC de 400 personas, Lenat pudo hacer que varias docenas de investigadores trabajaran en esa base de conocimiento de sentido común , en lugar de solo unos pocos estudiantes de posgrado. [ cita necesaria ]

cycorp

Los frutos de la primera década de I+D en Cyc [21] se derivaron 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 personas. años de esfuerzo, [22] probablemente el doble, y para 2017, él y su equipo habían dedicado alrededor de 2000 años-persona de esfuerzo a construir Cyc, creando aproximadamente 24 millones de reglas y afirmaciones (sin contar los "hechos"). [ cita necesaria ]

Lenat continuó trabajando en Cyc como director ejecutivo de Cycorp hasta su muerte. Mientras que la primera década de trabajo sobre Cyc (1984-1994) fue financiada por grandes empresas estadounidenses que reunieron fondos de investigación a largo plazo para competir con el Proyecto informático japonés de quinta generación , y la segunda década (1995-2006) de trabajo sobre Cyc fue financiada Según los contratos de investigación de las agencias gubernamentales de EE. UU., desde la tercera década hasta el presente (2007-2023) se ha apoyado en gran medida a través de aplicaciones comerciales de Cyc, incluso en las áreas de servicios financieros, energía y atención médica. [23] Uno de estos proyectos posteriores fue una aplicación de aprendizaje mediante la enseñanza llamada Mathcraft. [24]

Vida personal y muerte.

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

Citas

Doug Lenat en su oficina de Cycorp

Escritos

Referencias

  1. ^ Fuera de sus mentes: las vidas y los descubrimientos de 15 grandes informáticos | Dennis Shasha | Saltador. Copérnico. Copérnico. 1998.ISBN​ 9780387982694.
  2. ^ Lenat, Douglas B. (1995). "Inteligencia artificial". Científico americano . 273 (3): 80–82. JSTOR  24981725.
  3. ^ Lenat, Douglas; Greiner, Russell (1980). "RLL: un lenguaje de representación". Actas de la Primera Conferencia AAAI . 1 .
  4. ^ Lenat, Douglas B.; Hayes-Roth, Federico; Klahr, Philip (1979). "Economía cognitiva en sistemas de inteligencia artificial". Actas de la VI Conferencia Internacional Conjunta 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". Transacciones IEEE sobre conocimiento e ingeniería de datos . 1 (1): 84–88. doi : 10.1109/69.43405. ISSN  1041-4347.
  6. ^ Lenat, DB; Fishwick, Pensilvania; Modjeski, RB; Oresky, CM; Clarkson, A; Kaisler, S (1991). "STRADS: un sistema de descubrimiento automático estratégico". Simulación basada en el conocimiento: metodología y aplicación .
  7. ^ Lenat, Douglas. "La heurística de la naturaleza: la mutación plausible del ADN". Proyecto de programación heurística de Stanford, 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. ^ Personal cableado. "El cableado 25". CABLEADO . Consultado el 29 de noviembre de 2017 .
  14. ^ 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". Los New York Times . Consultado el 4 de septiembre de 2023 .
  15. ^ "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. Memo 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
  16. ^ Davis, Randall; Lenat, Douglas B. (1982). Sistemas basados ​​en el conocimiento en inteligencia artificial: 2 estudios de caso. Nueva York, NY, EE. UU.: McGraw-Hill, Inc. ISBN 978-0070155572.
  17. ^ Lenat, Douglas B.; Gregorio, Harris (1977). "Diseñar un sistema de reglas que busque descubrimientos científicos".
  18. ^ "Heurética: estudio teórico y experimental de reglas heurísticas". www.aaai.org . Consultado el 6 de noviembre de 2017 .
  19. ^ 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. 
  20. ^ Lenat, Douglas B.; Borning, Alan; McDonald, David; Taylor, Craig; Weyer, Steven (1983). "Knoesfera: construcción de sistemas expertos con conocimiento enciclopédico". Actas de la Octava Conferencia Internacional Conjunta sobre Inteligencia Artificial - Volumen 1 . IJCAI'83: 167–169.
  21. ^ 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 .
  22. ^ Comprensión de las computadoras: inteligencia artificial . Ámsterdam: Libros Time-Life . 1986. pág. 84.ISBN​ 978-0-7054-0915-5.
  23. ^ Lenat, Douglas; Witbrock, Michael; Baxter, David; Blackstone, Eugenio; Deaton, Chris; Schneider, Dave; Scott, Jerry; Shepard, Blake (28 de julio de 2010). "Aprovechar Cyc para responder a las consultas ad hoc de los investigadores clínicos". Revista AI . 31 (3): 13–32. doi : 10.1609/aimag.v31i3.2299 . ISSN  0738-4602.
  24. ^ Lenat, Douglas B.; Durlach, Paula J. (1 de septiembre de 2014). "Reforzar el conocimiento matemático sumergiendo a 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.
  25. ^ Kali Shiloh (16 de noviembre de 2023), "Le enseñó a la IA los hechos de la vida", Revista Stanford
  26. ^ "La cruzada solitaria de un genio para enseñar sentido común a la informática". Cableado . 24 de marzo de 2016 . Consultado el 2 de septiembre de 2023 .
  27. ^ Obituario de Douglas Lenat
  28. ^ Lenat, Douglas (1988). "El caso de la inelegancia". Actas del Taller internacional sobre inteligencia artificial para aplicaciones industriales, Tokio, mayo de 1988 .
  29. ^ Madera, Lamont. Cycorp: El costo del sentido común, Technology Review , marzo de 2005
  30. ^ Michael A. Hiltzik (21 de junio de 2001), "El nacimiento de una máquina pensante", Los Angeles Times
  31. ^ "A veces el barniz de inteligencia no es suficiente | CogWorld". cognitivoworld.com . Consultado el 29 de noviembre de 2017 .
  32. ^ Con amor, 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 .
  33. ^ Kaku, Michio (4 de marzo de 1999). Visiones: cómo la ciencia revolucionará el siglo XXI. OUP Oxford. pag. 64.ISBN​ 978-0-19-288018-5.
  34. ^ Lenat, Douglas B.; Clarkson, Alberto; Kircmidjian, Garo (1983). "Un sistema experto para análisis de indicaciones y advertencias". Actas de la Octava Conferencia Internacional Conjunta sobre Inteligencia Artificial - Volumen 1 . IJCAI'83: 259–262.
  35. ^ 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.
  36. ^ Lenat, Douglas B.; Guha, RV (1 de enero de 1990). Construcción de grandes sistemas basados ​​en el conocimiento: representación e inferencia en el proyecto Cyc . Lectura, Massachusetts: Addison-Wesley. ISBN 9780201517521.
  37. ^ Clarke, Arthur C. (6 de febrero de 1998). Cigüeña, David G. (ed.). El legado de HAL: la computadora de 2001 como sueño y realidad (Reimpresión ed.). Cambridge, Massachusetts: The MIT Press. ISBN 9780262692113.
  38. ^ Lenat, Douglas B. (10 de julio de 2008). "La Voz de la Tortuga: ¿Qué pasó con la IA?". Revista AI . 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 .
  39. ^ Lenat, Douglas B. (13 de abril de 2016). "WWTS (¿Qué diría Turing?)". Revista AI . 37 (1): 97-101. doi : 10.1609/aimag.v37i1.2644 . ISSN  0738-4602.

Otras lecturas

enlaces externos