Douglas Lenat

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

Lenat recibió el premio bienal 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 organizaciones científicas de EE. UU. 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 exploraban la naturaleza de las reglas heurísticas.

Lenat fue uno de los miembros fundadores 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 , la AAAI y la Cognitive Science Society , y editor de las revistas 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 Wired 25. ^{[ 14 ]}

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 él tenía 13 años y la familia regresó a Pensilvania, donde asistió a la escuela secundaria Cheltenham . ^{[ 15 ]} Su trabajo después de la escuela consistía en limpiar jaulas de ratas y corrales de gansos en Beaver College , lo que lo motivó a aprender programación como una mejor profesión. ^{[ 15 ]}

Asistió a la Universidad de Pensilvania , donde se costeó sus estudios trabajando en programación, incluyendo 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ó en 1972 con una licenciatura en Matemáticas y Física, y una maestría en Matemáticas Aplicadas. ^{[ 15 ]}

Lenat era estudiante de doctorado en Ciencias de la Computación en la Universidad de Stanford, donde su investigación publicada incluía la síntesis automática de programas a partir de pares de entrada/salida y de diálogos de aclaración en lenguaje natural. ^{[ 16 ]}

En 1976, Lenat recibió su doctorado en Ciencias de la Computación de la Universidad de Stanford , "AM: Descubrimiento en matemáticas como búsqueda heurística", patrocinado por ARPA . ^{[ 17 ]} Fue republicado como Sistemas basados ​​en el conocimiento en inteligencia artificial , ^{[ 18 ]} junto con la tesis doctoral de Randall Davis, McGraw-Hill, 1982. 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ó realizar descubrimientos, es decir, proponer teoremas en lugar de demostrarlos . La experimentación con el programa impulsó un ciclo de críticas y mejoras. Hubo que abordar muchas cuestiones al construir un programa de este tipo: cómo representar el conocimiento de forma 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 determinar 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 realizar descubrimientos novedosos y creativos. ^{[ 19 ]}

En 1976, Lenat comenzó a impartir clases como profesor asistente de informática en Carnegie Mellon y empezó a trabajar en el programa de IA Eurisko . La limitación de AM era que estaba obligado a seguir un conjunto fijo de heurísticas de interés; Eurisko, en cambio, representaba sus reglas heurísticas como objetos de primera clase y, por lo tanto, podía explorar, manipular y descubrir nuevas heurísticas, al igual que AM exploraba, manipulaba y descubría nuevos conceptos de dominio.

Lenat regresó a Stanford como profesor asistente de ciencias de la computación en 1978 y continuó su investigación desarrollando el programa de descubrimiento automatizado y heurístico Eurisko. Eurisko realizó muchos descubrimientos interesantes y gozó de un reconocimiento significativo, y el artículo de Lenat "Heuretics: Theoretical and Experimental Study of Heuristic Rules" ^{[ 20 ]} ganó el premio al mejor artículo en la conferencia AAAI de 1982 .

Lenat (en colaboración con John Seely Brown en Xerox PARC) publicó en 1984 un análisis de las limitaciones de sus líneas de investigación AM y Eurisko. ^{[ 21 ]} Concluía que el progreso hacia una IA simbólica general y real requeriría una vasta base de conocimientos de "sentido común", debidamente formalizada y representada, y un motor de inferencia capaz de encontrar conclusiones y argumentos de decenas o cientos de niveles de profundidad derivados de la aplicación de dicha base de conocimientos a preguntas y aplicaciones específicas. ^{[ 22 ]}

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 requeriría un esfuerzo masivo de I+D (de miles de personas al año y durante décadas) para superar ese cuello de botella para la IA, llevaron a que en 1982 el almirante Bob Inman y el entonces formado consorcio de investigación MCC en Austin, Texas , se interesaran en el proyecto. Esto culminó con el nombramiento de Lenat como científico principal del MCC entre 1984 y 1994, aunque continuó regresando a Stanford para impartir aproximadamente un curso al año. En el MCC, que contaba con 400 personas, Lenat pudo contar con varias docenas de investigadores trabajando en esa base de conocimiento de sentido común , en lugar de solo unos pocos estudiantes de posgrado.

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

Lenat continuó trabajando en Cyc como director ejecutivo de Cycorp hasta su muerte. Si bien la primera década de trabajo en Cyc (1984-1994) fue financiada por grandes empresas estadounidenses que aunaron 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) fue financiada por contratos de investigación de agencias gubernamentales estadounidenses, la tercera década hasta la actualidad (2007-2023) ha sido financiada en gran medida por aplicaciones comerciales de Cyc, incluyendo en los sectores de servicios financieros, energía y salud. ^{[ 25 ]} Uno de estos últimos proyectos fue una aplicación de aprendizaje mediante la enseñanza llamada Mathcraft. ^{[ 26 ]}

Lenat estuvo casado con Merle Baruch, con quien tuvo una hija; ^{[ 27 ]} se divorciaron y él posteriormente se casó con Mary Shepherd, gerente comercial de Cycorp. ^{[ 28 ]} Falleció de cáncer de las vías biliares el 31 de agosto de 2023, a la edad de 72 años. ^{[ 29 ] [ 15 ]}

• "La inteligencia son diez millones de reglas." ^{[ 30 ]} Esto se refiere al conocimiento previo y tácito que los autores presumen que poseen todos sus lectores (como "si la persona x conoce a la persona y, entonces la fecha de muerte de x no puede ser anterior a la fecha de nacimiento de y") sin contar la enorme cantidad de "hechos" como los que uno podría encontrar en Wikipedia o al buscar en Google.
• "Puede que llegue el momento en que un Cyc enormemente ampliado sea la base de innumerables aplicaciones de software. Pero alcanzar ese objetivo podría llevar fácilmente otras dos décadas." ^{[ 31 ]}
• "Una vez que se tiene una cantidad verdaderamente masiva de información integrada como conocimiento, entonces el sistema humano-software será sobrehumano, en el mismo sentido que la humanidad con la escritura es sobrehumana en comparación con la humanidad antes de la escritura." ^{[ 32 ]}
• "A veces, la apariencia de inteligencia no es suficiente." ^{[ 33 ]}
• “Si las computadoras fueran humanas, se presentarían como autistas, esquizofrénicas o con alguna otra condición frágil. Sería imprudente o peligroso que esa persona cuidara niños y cocinara, pero es algo que se vislumbra en el horizonte para los robots domésticos. Es como decir: ‘Tenemos un trabajo importante que hacer, pero vamos a contratar perros y gatos para que lo hagan’”. ^{[ 34 ]}
• «Lo que necesitábamos, dice, no era menos que un “ Proyecto Manhattan de IA ”, un ataque frontal contra el sentido común: el desafío es crear una Enciclopedia del Sentido Común », Michio Kaku citando a Lenat. ^{[ 35 ]}

• Brown, John Seely; Lenat, Douglas (agosto de 1983). "Por qué AM y Eurisko parecen funcionar" . Actas de la Conferencia Nacional sobre IA (AAAI–83) . Libro uno (Actas de la Conferencia AAAI sobre Inteligencia Artificial, 3): 236–240 . Recuperado el 3 de mayo de 2024 .
• Davis, Randall; Lenat, Douglas B. (1982). Sistemas basados ​​en el conocimiento en inteligencia artificial . Nueva York: McGraw-Hill International Book Co. ISBN 978-0-07-015557-2.
• Hayes-Roth, Frederick; Waterman, Donald Arthur; Lenat, Douglas B., eds. (1983). Building Expert Systems . Reading, Mass: Addison-Wesley Pub. Co. ISBN 978-0-201-10686-2.
• Lenat, Douglas B. "Software informático para sistemas inteligentes: una visión general de la IA", en Scientific American, septiembre de 1984.
• Lenat, Douglas B.; Clarkson, Albert; Kircmidjian, Garo (1983). "Un sistema experto para el análisis de indicaciones y advertencias". Actas de la Octava Conferencia Internacional Conjunta sobre Inteligencia Artificial - Volumen 1. IJCAI'83. San Francisco, CA, EE. UU.: Morgan Kaufmann Publishers Inc.: 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 (1990-01-01). Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project . Reading, Mass.: Addison-Wesley. ISBN 9780201517521. ^{[ 38 ]}
• Lenat, Douglas B. De 2001 a 2001: El sentido común y la mente de HAL ^{[ 39 ]}
• Lenat, Douglas B. (10 de julio de 2008). "La voz de la tortuga: ¿Qué pasó con la IA?". Revista de IA . 29 (2). doi : 10.1609/aimag.v29i2.2106. ISSN  0738-4602 ^{[ 40 ]}
• Blackstone EH, Lenat, DB e Ishwaran H. Infraestructura necesaria para aprender qué atención es la mejor: métodos que deben desarrollarse , en (Olsen L., Grossman, C. y McGinnis, M., eds.) Aprender qué funciona: infraestructura necesaria para la investigación de la efectividad comparativa . Serie del Sistema de Salud de Aprendizaje del Instituto de Medicina, The National Academies Press, págs.  123–144, 2011.
• Lenat DB, Durlach P. “Reforzando el conocimiento matemático mediante la inmersión de los estudiantes en una experiencia simulada de aprendizaje por enseñanza”. Revista Internacional de Inteligencia Artificial en la Educación , 2014 .
• Lenat, Douglas B. (2016-04-13). "WWTS (¿Qué diría Turing?)". AI Magazine . 37 (1): 97–101. doi :10.1609/aimag.v37i1.2644. ISSN  0738-4602 ^{[ 41 ]}
• Véanse también muchas de las referencias que aparecen a continuación.

• Wolfram, Stephen (5 de septiembre de 2023). "Recordando a Doug Lenat (1950–2023) y su búsqueda por capturar el mundo con lógica" . Escritos de Stephen Wolfram . Recuperado el 7 de septiembre de 2023 .

• Página biográfica de Douglas Lenat en Cyc.com. Archivada el 23 de mayo de 2015 en Wayback Machine.
• Vídeoconferencia "Más allá de la Web Semántica" en NIPS 2008.
• Artículo titulado "Cómo David vence a Goliat" en The New Yorker.
• "Douglas Lenat: Cyc y la búsqueda para resolver el razonamiento de sentido común en la IA." Podcast de Lex Fridman n.° 221, 2021.