Leonhard Wolfgang Bibel (nacido el 28 de octubre de 1938 [1] en Nuremberg ) es un informático alemán , matemático y profesor emérito del Departamento de Ciencias de la Computación de la Technische Universität Darmstadt . Fue uno de los fundadores del área de investigación de la inteligencia artificial en Alemania y Europa y ha sido nombrado como uno de los diez investigadores más importantes de la historia de la inteligencia artificial alemana por la Gesellschaft für Informatik.. Bibel estableció las instituciones, conferencias y revistas científicas necesarias y promovió los programas de investigación necesarios para establecer el campo de la inteligencia artificial.
Wolfgang Bibel | |
---|---|
Nació | 1938 |
Educación | LMU Múnich |
Carrera científica | |
Instituciones | Technische Universität Darmstadt |
Tesis | Schnittelimination en einem Teilsystem der einfachen Typenlogik (1968) |
Asesor de doctorado | Kurt Schütte , Helmuth Gericke |
Estudiantes notables | Holger H. Hoos |
Bibel ha trabajado en los campos de deducción automatizada, representación del conocimiento, arquitectura de sistemas deductivos e inferencia, planificación, aprendizaje, síntesis de programas, así como en temas relacionados con las implicaciones de la tecnología de IA para la sociedad. Su aportación científica más destacada fue su método de conexión, que permite extraer conclusiones lógicas de forma automática y muy compacta. Bibel recibió el premio Herbrand 2006 por sus contribuciones distinguidas al razonamiento automatizado .
La vida
Wolfgang Bibel nació en Nuremberg , Alemania . Antes de sus estudios, tuvo que demostrar experiencia industrial, por lo que realizó una pasantía en una gran central eléctrica en Franken. Finalmente, en 1958, comenzó a estudiar matemáticas y física en la Universidad de Erlangen, con especialización en física. El primer año de sus estudios fue un desafío para Bibel, ya que el contenido le era desconocido, a diferencia de sus compañeros de estudios que venían de escuelas de ciencias. Durante sus descansos semestrales, realizó otra pasantía en Siemens-Schuckertwerke. Recibió su diploma intermedio el 4 de mayo de 1961. A partir de 1962 completó parte de sus estudios en la Universidad de Heidelberg. Con el cambio de su enfoque a las matemáticas, se trasladó a la Universidad Ludwig Maximilian de Munich (LMU), donde estudió hasta 1964 y obtuvo su diploma en matemáticas. Su tesis de diploma versó sobre la demostración del teorema de la ilustración de Remmert . De 1964 a 1966, fue entonces asistente científico en el Instituto Max Planck de Física y Astrofísica en Munich, entonces dirigido por Werner Heisenberg . En el Instituto Max Planck conoció a Peter Mittelstaedt, quien le ofreció beca y supervisión. Mittelstaedt propuso a Bibel trabajar en la solución al problema de la inversión en la teoría de la dispersión para su tesis doctoral, pero más tarde se supo que la solución se había encontrado hacía mucho tiempo. En ese momento, Mittelstaedt no estaba al tanto de esto. Más tarde resultó que Mittelstaedt había aceptado una cátedra en la Universidad de Colonia . Bibel se trasladó con Mittelstaedt a la Universidad de Colonia , donde trabajó como asistente científico. La solución ya encontrada, la cátedra repentinamente aceptada de Mittelstaedt y la distancia con su novia llevaron a su renuncia al poco tiempo. En 1968 recibió su doctorado con cum laude en lógica matemática bajo la supervisión de Kurt Schütte de LMU.
Procedimiento de habilitación en la Universidad Técnica de Munich
De 1969 a 1987 fue asistente científico en el Instituto de Ciencias de la Computación de la Universidad Técnica de Munich (TUM). En realidad, Bibel tenía la intención de habilitarse en la universidad. En diciembre de 1974 presentó a examen su tesis de habilitación. Su supervisor fue Klaus Samelson . Sorprendentemente, sin embargo, Friedrich Ludwig Bauer , quien dirigía el instituto en ese momento, vetó su habilitación, lo que significó que se le negó la elegibilidad, lo cual era inusual dados los logros de Bibel. Recomendó que continuara su investigación durante otros cinco años antes de considerar una habilitación. Fuera de TUM, sin embargo, sus logros fueron reconocidos, por lo que intentó iniciar un procedimiento de habilitación sin la aprobación de Bauer, ya que Bauer se opuso con vehemencia. Durante este período, fue nombrado profesor por el Departamento de Ciencias de la Computación de la Universidad Bundeswehr de Múnich de 1975 a 1976. Además, en el semestre de verano de 1975 representó al presidente de Jacques Loeckx en la Universidad de Saarland y fue convocado por el Decano del Departamento de Matemáticas / Ciencias de la Computación de la Universidad de Paderborn para solicitar una cátedra. El presidente de la comisión de habilitación fue Karl Heinz Helwig, quien nombró revisores que no tenían conocimiento de su tema Demostración automatizada de teoremas . Luego se dirigió al entonces presidente de la Universidad Técnica de Munich, Ulrich Grigull , pero sin éxito. Según la impresión de Bibel, Grigull dijo que la tradición no necesitaba explicación y que debería haber escuchado a Bauer. Durante este tiempo, Bibel ocupó nuevos cargos y obtuvo opiniones adicionales, que fueron positivas. Estos incluyeron evaluaciones de Bruno Buchberger y Woody Bledsoe , pero en 1977 su solicitud fue rechazada con 31 votos en contra y 3 abstenciones. Desesperado, intentó retirar el movimiento. Solo conocía algunas razones de su rechazo a las discusiones indiscretas. Sin embargo, no pudo comprender las razones del rechazo. También falló una solicitud de inspección de documentos, por lo que presentó una demanda, en la que demostró errores en el contenido de los informes. Las denuncias fueron desestimadas en 1982, ya que el procedimiento había sido formalmente correcto, por lo que su procedimiento de habilitación finalizó después de siete procedimientos. Durante este tiempo cambió la actitud de sus compañeros hacia él, lo que califica de "hostil". En 1978, solicitó otra habilitación, ya que hubo un cambio en la ley que permitió a los asistentes superiores ocupar una cátedra. Sin embargo, esto también fue rechazado en 1980 sobre la base de que no había necesidad en su campo. Todo lo que Bibel describió como un intento de "[...] liquidarlo de forma también conocida", y lo explicó diciendo que Bauer, en su opinión, estaba obsesionado con el poder y estaba en contra de Bibel por razones personales. Bauer y sus colegas rechazaron el tema y no pudieron identificarse con el enfoque científico de Bibel. Bauer fue un defensor de la programación imperativa con ALGOL , mientras que Bibel se basó en la programación lógica con PROLOG . No fue hasta más tarde que Bauer reconoció la programación funcional y orientada a objetos con LISP , que fue representada por Wahlster. Bauer, en particular, no creía en el futuro del campo. En ese momento, el rechazo a la inteligencia artificial no solo se basó en Munich, sino que se extendió más allá de ella. Wahlster también describió el enfoque de Bauer como impulsado por la ideología. En el mismo año en que falló la habilitación, la Fundación Alemana de Investigación (DFG), a pedido de la Bibel, apoyó el proyecto "Uso de Procedimientos de Evidencia en Programación". El tema estuvo dominado por el tema de la habilitación fallida, razón por la cual Bauer también se indignó por la financiación, por lo que se había bloqueado el acceso a las computadoras de TUM. El problema solo pudo resolverse con la intervención del entonces presidente de la DFG. Por ejemplo, Eickel, quien era uno de los revisores y parte del grupo de Bauer, fue habilitado, aunque en ese momento solo tenía una publicación con otros tres autores. Este enfoque había llevado al hecho de que grandes empresas de TI como SAP , Software AG y Scheer AG no surgieron de TUM. Andreas von Bechtolsheim también estaba aburrido y enojado por sus estudios, razón por la cual se mudó a la Universidad Carnegie Mellon . La historia se extendió y le hizo la vida más difícil. Bauer tuvo una gran influencia en la informática en Alemania en ese momento. Bibel escribió 26 solicitudes fallidas. En los años siguientes Bibel intentó reducir al mínimo su tiempo en Munich. El hecho dio forma a Bibel y la valoración de Bauer y sus compañeros resultó ser errónea.[2] [3]
En el año académico 1970/1971, fue profesor asistente de informática en la sección de informática del Departamento de Matemáticas de la Wayne State University en Detroit . En 1985, fue profesor asociado visitante en la Universidad de Duke . Rechazó ofertas de la Universidad Técnica de Berlín , Vrije Universiteit Amsterdam , Technische Universität Wien y la Universidad de Ulm .
Tiempo después de TU Munich
En 1987, se convirtió en profesor de Ciencias de la Computación en la Universidad de British Columbia en Vancouver y un año más tarde en Profesor Adjunto, título honorífico que le otorgó la universidad, porque luego se trasladó a la Technische Universität Darmstadt. [4]
En el semestre de invierno 1985/1986, Bibel representó por primera vez a la cátedra para la que fue posteriormente designado. El 1 de octubre de 1988 se convirtió en profesor de intelectualidad en el entonces Departamento de Ciencias de la Computación de la Technische Universität Darmstadt. En ese momento Bibel ya tenía 50 años. La TU Darmstadt era el decimosexto empleador y también el último de Bibel. También fue el primer entorno de trabajo estable y apropiado para Bibel. Para el año académico 1991/1992 asumió el cargo de Decano del Departamento de Informática de la TU Darmstadt. Durante este tiempo dirigió tres comisiones de nombramiento. Entre ellos se encontraban Oskar von Stryk y Karsten Weihe. En su tiempo, también formó su grupo de investigación e hizo de la TU Darmstadt una de las universidades líderes en inteligencia artificial en todo el mundo. El proyecto científico más destacado fue el Programa Nacional Prioritario Deducción, financiado por la Fundación Alemana de Investigación (DFG). El proyecto llevó a Alemania a asumir una posición de liderazgo en inteligencia artificial. Es profesor emérito desde 2004. [1] [5]
A petición de Bibel, Wolfgang Wahlster recibió su primer doctorado honoris causa de la TU Darmstadt y John Alan Robinson el Premio Humboldt en 1994, que incluyó una estancia de seis meses en la Universidad Técnica de Darmstadt. Para 2017, veinticinco de sus estudiantes de doctorado o personal eran profesores. Trabajó como Editor de Sección de la Revista de Inteligencia Artificial . [3]
Contribución a la inteligencia artificial en Alemania y Europa
Contrariamente a las dificultades de la Universidad Técnica de Munich (TUM), continuó investigando en su campo. El año 1975 puede considerarse como el inicio de la inteligencia artificial en Alemania. Gerd Veenker convocó una reunión en Bonn en la que también participaron Wolfgang Bibel y Wolfgang Wahlster . Como resultado de la reunión, establecieron el boletín KI, que luego se convirtió en la revista KI. Los primeros seis números fueron publicados por Hans-Hellmut Nagel. Desde el séptimo número en adelante, Bibel se hizo cargo durante dos años hasta 1998. Durante este tiempo no recibió ningún apoyo de TUM, por lo que tuvo que hacer todo el trabajo. En la reunión también se decidió la creación de un subcomité de inteligencia artificial en el comité técnico de Sistemas Cognitivos de la Gesellschaft für Informatik , al que Bibel pertenecía como miembro desde 1975. El presidente era Hans-Hellmut Nagel, quien en ese momento era el único profesor del más alto nivel que confesó tener inteligencia artificial. Este comité coordinó el establecimiento de la inteligencia artificial como disciplina científica en Alemania. Más tarde, Bibel asumió el papel. También ocupó este puesto durante más tiempo. En 1975, organizó un taller sobre evidencia automática, que fue aclamado internacionalmente en ciencia y negocios. El taller fue un precursor de la actual Conferencia Alemana sobre Inteligencia Artificial. En 1982, junto con Jörg Siekmann, fundó la KI Spring School (KIFS) de dos semanas, ya que los resultados de la investigación aún no habían llegado a los estudiantes. Esto resultó en uno de los primeros libros sobre inteligencia artificial en Alemania, que acercó a los estudiantes al tema. Hoy la escuela es una institución permanente. En 1985 también ofreció el primer curso avanzado en IA (ACAI), el equivalente al KIFS para Europa. Esto también resultó en otro libro. Bibel quería fundar una organización europea para la inteligencia artificial ya en 1979. En 1982 se celebró la primera Conferencia Europea sobre Inteligencia Artificial y se fundó el Comité Europeo de Coordinación de Inteligencia Artificial , la actual Asociación Europea de Inteligencia Artificial (EurAI). Se convirtió en su primer presidente. Durante todo el tiempo no tuvo cátedra ni apoyo de TUM, porque la rechazaron.
En 1975, la Fundación Alemana de Investigación (DFG) aprobó a Bibel una solicitud para una beca de investigación. Bibel también adquirió varios proyectos de investigación para TU Darmstadt, incluido el programa prioritario nacional Deduction, que fue aprobado en otoño de 1991. El proyecto llevó a Alemania a asumir una posición de liderazgo en inteligencia artificial.
En las Conferencias Internacionales Conjuntas sobre Inteligencia Artificial (IJCAI) de 1977, presentó con Nagel por primera vez la situación de la inteligencia artificial en Alemania. De 1986 a 1992 fue miembro de la junta directiva del IJCAI y de 1987 a 1989 su presidente. La influencia de Bibel en ese momento también llevó a Japón a lanzar un programa de investigación durante toda una década, los Sistemas Informáticos de Quinta Generación (FGCS). [3] El programa de investigación causó un gran revuelo, por lo que personalidades del mundo de la política asistieron a la conferencia en Japón en 1979. Bibel representó a Alemania en la conferencia. La conferencia fue seguida por otros importantes programas de investigación, como el Programa Estratégico Europeo de Investigación y Desarrollo en Tecnología de la Información y el Programa de Tecnología de la Información financiado por el Ministerio Federal de Investigación y Tecnología (BMFT).
En 1984 Bibel se dirigió a Franz-Josef Strauss para señalar la creciente importancia de la inteligencia artificial. Esto llevó a la fundación de un Centro de Investigación Bávaro para Sistemas Basados en el Conocimiento (BayWiss) en 1988. Al mismo tiempo, se fundó el Centro Alemán de Investigación para la Inteligencia Artificial y se estableció el Instituto para el Procesamiento del Conocimiento Orientado a la Aplicación (IAW) en Baden-Wuerttemberg .
El 23 de abril de 2018 inició los eventos que llevaron al lanzamiento de la iniciativa CLAIRE (Confederación de Laboratorios de Investigación en Inteligencia Artificial en Europa). [6] [7]
Posiciones
Wolfgang Bibel argumentó que el estudio de la inteligencia artificial debería llamarse más bien Intellectics. [8]
Honores y premios
- Primer miembro alemán de la Asociación para el Avance de la Inteligencia Artificial , 1990 [9]
- Miembro de los Institutos Canadienses de Investigación Avanzada
- Uno de los diez investigadores más importantes de la historia de la inteligencia artificial alemana por la Gesellschaft für Informatik [10]
- Miembro de la Asociación Europea de Inteligencia Artificial [11]
- Miembro de la Gesellschaft für Informatik , 2006 [12]
- Premio al Servicio Distinguido de la Conferencia Internacional Conjunta sobre Inteligencia Artificial Donald E. Walker, 1999 [13]
- Ganador del Silver Core de la Federación Internacional de Procesamiento de la Información , 1998 [14]
- Ganador del premio Herbrand , 2006
- Premio al Servicio Distinguido de la Asociación Europea de Inteligencia Artificial, 2018 [15]
Publicaciones
- Wolfgang Bibel: Demostración automatizada de teoremas . Editorial Vieweg + Teubner Verlag, Wiesbaden 1987, ISBN 978-3-528-18520-6
- Wolfgang Bibel: Reflexionen vor Reflexen - Memoiren eines Forschers . Editor Cuvillier Verlag, Göttingen 2017, ISBN 978-3-7369-9524-6
- Otten, Jens y Bibel, Wolfgang. (2003). leanCoP: Demostración de teoremas ajustados basados en conexiones. Revista de Computación Simbólica. 36. 139-161. 10.1016 / S0747-7171 (03) 00037-3.
- Otten, Jens y Bibel, Wolfgang. (2017). Avances en la demostración automatizada de teoremas basada en conexiones. 10.1007 / 978-3-319-48628-4.
Referencias
- ^ a b Curriculum Vitae del sitio web de Wolfgang Bibel
- ^ Leonhard Wolfgang Bibel (2017), Reflexionen vor Reflexen - Memoiren eines Forschers (en alemán) (1 ed.), Gotinga: Cuvillier Verlag, ISBN 9783736995246
- ^ a b c Comentarios de EurAI con motivo del 80 cumpleaños de Wolfgang Bibel
- ^ "Wolfgang Bibel | Prof.emer. Dr. rer. Nat. | Technische Universität Darmstadt, Darmstadt | TU | Departamento de Ciencias de la Computación (Departamento 20)" . ResearchGate . Consultado el 10 de septiembre de 2019 .
- ^ "Prägender Kopf der KI: Profesor Wolfgang Bibel im" Wissenschaftsjahr 2019 "geehrt" . nachrichten.idw-online.de . 4 de junio de 2019 . Consultado el 9 de septiembre de 2019 .
- ^ "KI: Die Dampfmaschine 4.0 fürs 21. ¿Jahrhundert?" . www.industry-of-things.de (en alemán) . Consultado el 10 de septiembre de 2019 .
- ^ "Prägender Kopf der KI: Profesor Wolfgang Bibel im" Wissenschaftsjahr 2019 "geehrt" . idw-online.de . Consultado el 10 de septiembre de 2019 .
- ^ Bibel, Wolfgang (diciembre de 1980). " " Intellektik "statt" KI " ". Rundbrief der Fachgruppe Künstliche Intelligenz in der Gesellschaft für Informatik : 15–16.
- ^ "Becarios electos de AAAI" . www.aaai.org . Consultado el 10 de septiembre de 2019 .
- ^ Informatik (GI), Gesellschaft für (31 de julio de 2019). "GI kürt zehn prägende Köpfe und Technologien der deutschen KI-Forschung im Wissenschaftsjahr 2019" . Portal web - EN VIVO (en alemán) . Consultado el 9 de septiembre de 2019 .
- ^ "Becarios | Asociación Europea de Inteligencia Artificial" . www.eurai.org . Consultado el 10 de septiembre de 2019 .
- ^ Informatik (GI), Gesellschaft für (22 de julio de 2019). "Becarios" . Portal web - EN VIVO (en alemán) . Consultado el 10 de septiembre de 2019 .
- ^ "Premios IJCAI | IJCAI" . www.ijcai.org . Consultado el 10 de septiembre de 2019 .
- ^ "Premios" . www.ifip.org . Consultado el 10 de septiembre de 2019 .
- ^ "Premios al Servicio Distinguido | Asociación Europea de Inteligencia Artificial" . www.eurai.org . Consultado el 10 de septiembre de 2019 .
enlaces externos
- Página de inicio de Wolfgang Bibel