Bart Selman

Científico informático estadounidense

Bart Selman es un profesor de informática holandés-estadounidense en la Universidad de Cornell . ^[1] También es cofundador e investigador principal ^[2] del Centro de Inteligencia Artificial Compatible con Humanos (CHAI) en la Universidad de California, Berkeley , dirigido por Stuart J. Russell , ^[3] y copresidente de la hoja de ruta de 20 años del Consorcio de la Comunidad Informática para la investigación en IA. ^[4]

Educación

Selman asistió a la Universidad Técnica de Delft , donde recibió una maestría en física, graduándose en 1983. ^[5] Recibió su maestría y doctorado en ciencias de la computación de la Universidad de Toronto en 1985 y 1991 respectivamente. ^[6]

Carrera

Selman trabajó en AT&T Bell Laboratories antes de convertirse en profesor de informática en la Universidad de Cornell. ^[7]

Sus áreas de investigación incluyen inferencia manejable, representación de conocimiento , métodos de búsqueda estocástica, aproximación de teoría, compilación de conocimiento , planificación, razonamiento predeterminado , solucionadores de satisfacibilidad como WalkSAT y conexiones entre la informática y la física estadística , a saber, los fenómenos de transición de fase .

En 2016, Selman cofundó una organización de investigación sobre alineación de IA llamada Centro para la IA compatible con los humanos (CHAI, por sus siglas en inglés) y se convirtió en uno de sus principales investigadores. ^[2] Su papel en el CHAI y algunas de sus conferencias recientes se centran en la seguridad y los aspectos éticos de la inteligencia artificial avanzada. ^{[8] [9]}

Honores y premios

Selman ha recibido seis premios al mejor artículo por su trabajo. También recibió el premio a la excelencia en la enseñanza Stephen Miles de Cornell, el premio al educador destacado de Cornell, un premio a la carrera de la National Science Foundation y una beca de investigación Alfred P. Sloan . ^{[10] [11]} Es miembro de la AAAI , ^[12] la AAAS , ^[13] y la ACM . ^[14]

Artículos de investigación destacados

Selman es autor o coautor de más de 100 publicaciones, ^[10] entre ellas:

• Regímenes estadísticos en regiones con restricciones , Carla P. Gomes , Cesar Fernandez, Bart Selman y Christian Bessiere. Actas de la 10.ª Conferencia Internacional sobre Principios y Práctica de la Programación con Restricciones (CP-04), Toronto, Ontario, 2005. Premio al mejor trabajo académico.
• Hacia un muestreo eficiente: Explotación de estrategias de recorrido aleatorio , Wei Wei, Jordan Erenrich y Bart Selman. Proc. AAAI-04. San José, CA, 2004.
• Seguimiento de comunidades en evolución en grandes redes vinculadas , John Hopcroft, Brian Kulis, Omar Khan y Bart Selman. Proc. Natl. Acad. of Sci. (PNAS), febrero de 2004.
• Comunidades naturales en grandes redes vinculadas , John Hopcroft , Brian Kulis, Omar Khan y Bart Selman. Proc. KDD, agosto de 2003.
• Puertas traseras a casos típicos de complejidad , Ryan Williams , Carla Gomes y Bart Selman. Proc. IJCAI-03 Acapulco, México, 2003.
• Políticas de reinicio dinámico , Kautz, Henry , Horvitz, Eric , Ruan, Yongshao, Gomes, Carla y Selman, Bart. Actas de la Decimoctava Conferencia Nacional sobre Inteligencia Artificial (AAAI-02) Edmonton, Alberta, Canadá, 2002, 674–682.
• Generación de problemas de satisfacibilidad difíciles , Bart Selman, David G Mitchell, Hector J Levesque, Inteligencia artificial, 1996
• Estrategias de ruido para mejorar la búsqueda local , Bart Selman, Henry A Kautz, Bram Cohen, AAAI, 1994

Referencias

1. "Conferencia de Ada Lovelace: El teléfono móvil de 2035 será tan potente como nuestro cerebro". Universidad de Leiden . 15 de mayo de 2017.
2. "Selman y Halpern cofundan un nuevo Centro para la IA compatible con los humanos". Universidad de Cornell . 7 de septiembre de 2016 . Consultado el 29 de agosto de 2019 .
3. "UC Berkeley — Centro para la IA compatible con los humanos". Proyecto de filantropía abierta . 23 de mayo de 2016. Consultado el 29 de agosto de 2019 .
4. "La hoja de ruta de investigación en IA a 20 años exige asistentes de por vida y laboratorios nacionales". Venture Beat . 14 de marzo de 2019 . Consultado el 29 de agosto de 2019 .
5. "Bart Selman" (PDF) . Universidad de Cornell . Consultado el 29 de agosto de 2019 .
6. "Perfil del profesor: Bart Selman". Ingeniería de Cornell .
7. Stix, Gary (1 de marzo de 2007). "Graph Theory and Teatime" (Teoría de grafos y la hora del té). Scientific American . 296 (3): 37–40. Bibcode :2007SciAm.296c..37S. doi :10.1038/scientificamerican0307-37.
8. "Cómo el nuevo centro de UC Berkeley podría prevenir un apocalipsis de la IA". Inverse . 30 de agosto de 2016 . Consultado el 11 de marzo de 2024 .
9. "El teléfono móvil de 2035 será tan potente como nuestro cerebro". Universidad de Leiden . 15 de mayo de 2017. Consultado el 13 de septiembre de 2019 .
10. Innovación en tecnología de la información: resurgimiento, confluencia e impacto continuo. 2020. pág. 108.
11. "Colaboración en investigación". Instituto Santa Fe . 16 de febrero de 2017. Consultado el 11 de marzo de 2024 .
12. "Actuales becarios de la AAAI". Asociación para el Avance de la Inteligencia Artificial .
13. Brand, David (28 de octubre de 2002). "Seis profesores de Cornell nombrados miembros de la AAAS, el grupo científico más grande del mundo | Cornell Chronicle". news.cornell.edu .
14. "Bart Selman". Association for Computing Machinery . 2012. Consultado el 31 de octubre de 2024 .

Enlaces externos

• Sitio web de Selman.
• Sus proyectos de investigación actuales.