Бибель, Леонард Вольфганг

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Леонард Вольфганг Бибель
нем. Leonhard Wolfgang Bibel
Дата рождения 28 октября 1938(1938-10-28) (85 лет)
Место рождения Нюрнберг, Германия
Страна
Научная сфера искусственный интеллект
Место работы Дармштадтский технический университет
Альма-матер Мюнхенский университет
Учёная степень докторская степень[d][1]
Научный руководитель Курт Шютте[d][2] и Helmuth Gericke[d][2]
Ученики Elmar Eder[d][3] и Steffen Hölldobler[d][3]
Награды и премии
Логотип Викисклада Медиафайлы на Викискладе

Леона́рд Во́льфганг Би́бель (нем. Leonhard Wolfgang Bibel, родился 28 октября 1938 года в Нюрнберге) — немецкий ученый, математик и почетный профессор факультета компьютерных технологий в Дармштадтском техническом университете. Он один из первых исследователей искусственного интеллекта в Германии и Европе. Бибель основал необходимые институты, конференции и научные журналы, а также продвигал необходимые исследовательские программы для создания исследовательской области искусственного интеллекта как научной дисциплины.

Бибель работал в областях автоматизированного вывода, представления знаний, архитектуры дедуктивных систем и вывода, планирования, обучения, синтеза программ, а также над темами, касающимися влияния технологии искусственного интеллекта на общество. Его наиболее выдающимся научным вкладом был метод связи, который позволяет автоматически делать логические выводы в очень компактной форме. Бибель получил в 2006 году премию Herbrand Award за выдающийся вклад в развитие автоматизированного мышления.

Биография[править | править код]

Вольфганг Бибель родился в Нюрнберге, в семье Ганса и Йоханны Марии Бибель, там же окончил среднюю школу. В период с 1944 по 1947 год ему пришлось переехать в Георгенсгмюнд из-за эвакуации, связанной с войной. В 1964 году закончил Мюнхенский университет Людвига-Максимилиана, где получил диплом математика. Дипломная работа была посвящена доказательству теоремы Реммерта. С 1964 по 1966 год он был научным сотрудником в Институте физики и астрофизики Макса Планка в Мюнхене. Позже Бибель перешел в Кельнский университет, где работал научным сотрудником. Там же в 1968 году получил докторскую степень с отличием по математической логике. Его диссертация была на тему «Устранение срезов в подсистеме логики простых типов».

С 1969 по 1987 год он был научным сотрудником Института компьютерных наук Мюнхенского технического университета. В 1987 году стал профессором компьютерных наук в Университете Британской Колумбии в Ванкувере, а через год стал адъюнкт-профессором, получив почетное звание, присвоенное ему университетом, поскольку затем перешел в Дармштадтский технический университет[4].

В 1988 году он стал профессором кафедры интеллекта тогдашнего факультета компьютерных наук Технического университета Дармштадта. В то время Бибелю было уже 50 лет. Дармштадтский технический университет был 16-м работодателем, а также последним для Бибеля. Это также была первая стабильная и подходящая рабочая среда для него. В 1991 учебном году он занял должность декана факультета компьютерных наук Дармштадтского технического университета. К этому времени он возглавил три комиссии по назначению. В свое время он также создал свою исследовательскую группу и сделал Дармштадтский технический университет одним из ведущих университетов в области искусственного интеллекта во всем мире. Самым выдающимся научным проектом стала Национальная приоритетная программа отчислений, финансируемая Немецким исследовательским фондом (DFG). Проект привел к тому, что Германия заняла лидирующие позиции в области искусственного интеллекта. Является заслуженным профессором с 2004 года[5].

Вклад в искусственный интеллект в Германии и Европе[править | править код]

Несмотря на трудности, возникшие в Мюнхенском техническом университете он продолжил исследования в своей области. 1975 год можно считать стартовым для искусственного интеллекта в Германии. Герд Винкер созвал встречу в Бонне, в которой также приняли участие Вольфганг Бибель и Вольфганг Вальстер. По итогам встречи был создан информационный бюллетень KI, который впоследствии стал журналом KI. Первые шесть выпусков были выпущены Гансом-Хельмутом Нагелем. Начиная с седьмого выпуска, выпуском занимался Бибель до 1998 года. В течение этого времени он не получал поддержки от TUM, поэтому всю работу он должен был делать. На встрече также было принято решение создать подкомитет по искусственному интеллекту в техническом комитете Cognitive Systems в Gesellschaft für Informatik., членом которой Бибель был с 1975 года. Председателем был Ханс-Хельмут Нагель, который в то время был единственным профессором самого высокого уровня, признавшимся в искусственном интеллекте. Этот комитет координировал становление искусственного интеллекта как научной дисциплины в Германии. Позже роль взял на себя Бибель. Он также занимал эту должность дольше всех. В 1975 году он организовал семинар по автоматическим доказательствам, получивший международное признание в науке и бизнесе. Семинар был предшественником сегодняшней Немецкой конференции по искусственному интеллекту. В 1982 году вместе с Йоргом Зикманном он основал двухнедельную весеннюю школу KI Spring School (KIFS), так как результаты исследования еще не дошли до студентов. Это привело к созданию одной из первых книг по искусственному интеллекту в Германии, которая приблизила студентов к этой теме. Сегодня школа является постоянно действующим учреждением. В 1985 году он также предложил первый продвинутый курс по искусственному интеллекту (ACAI), эквивалент KIFS для Европы. Бибель хотел основать европейскую организацию по искусственному интеллекту еще в 1979 году. В 1982 году была проведена первая Европейская конференция по искусственному интеллекту и был основан Европейский координационный комитет по искусственному интеллекту, нынешняя Европейская ассоциация искусственного интеллекта (EurAI). Он стал ее первым президентом. За все время у него не было профессуры и поддержки со стороны Мюнхенского технического университета, потому что они отказались.

23 апреля 2018 года инициировал мероприятия, которые привели к созданию CLAIRE (Конфедерация лабораторий исследований искусственного интеллекта в Европе)[6][7].

Членство и награды[править | править код]

Публикации[править | править код]

  • Wolfgang Bibel: Automated Theorem Proving. Publisher Vieweg+Teubner Verlag, Wiesbaden 1987, ISBN 978-3-528-18520-6
  • Wolfgang Bibel: Reflexionen vor Reflexen — Memoiren eines Forschers. Publisher Cuvillier Verlag, Göttingen 2017, ISBN 978-3-7369-9524-6
  • Otten, Jens & Bibel, Wolfgang. (2003). leanCoP: Lean Connection-Based Theorem Proving. Journal of Symbolic Computation. 36. 139—161. 10.1016/S0747-7171(03)00037-3.
  • Otten, Jens & Bibel, Wolfgang. (2017). Advances in Connection-Based Automated Theorem Proving. 10.1007/978-3-319-48628-4.

Ссылки[править | править код]

Примечания[править | править код]

  1. ↑ Deutsche Nationalbibliothek Record #123426294 // Gemeinsame Normdatei (нем.) — 2012—2016.
  2. ↑ 1 2 Mathematics Genealogy Project (англ.) — 1997.
  3. ↑ 1 2 Mathematics Genealogy Project (англ.) — 1997.
  4. ↑ Wolfgang Bibel Prof.emer. Dr. rer. nat. Technische Universität Darmstadt, Darmstadt TU Department of Computer Science (Dept.20) (англ.). ResearchGate. Дата обращения: 19 января 2021. Архивировано 28 января 2021 года.
  5. ↑ >Prägender Kopf der KI: Professor Wolfgang Bibel im "Wissenschaftsjahr 2019" geehrt. nachrichten.idw-online.de (4 июня 2019). Дата обращения: 19 января 2021. Архивировано 19 апреля 2021 года.
  6. ↑ KI: Die Dampfmaschine 4.0 fürs 21. Jahrhundert? (нем.). www.industry-of-things.de. Дата обращения: 19 января 2021. Архивировано 24 января 2021 года.
  7. ↑ Prägender Kopf der KI: Professor Wolfgang Bibel im "Wissenschaftsjahr 2019" geehrt. idw-online.de. Дата обращения: 19 января 2021. Архивировано 27 января 2021 года.
  8. ↑ Elected AAAI Fellows (англ.). aaai.org. Дата обращения: 19 января 2021. Архивировано 8 октября 2019 года.
  9. ↑ Informatik (GI), Gesellschaft für GI kürt zehn prägende Köpfe und Technologien der deutschen KI-Forschung im Wissenschaftsjahr 2019 (нем.). Giesecke+Devrient (31 июля 2019). Дата обращения: 19 января 2021. Архивировано 29 мая 2019 года.
  10. ↑ Fellows European Association for Artificial Intelligence (англ.). eurai.org. Дата обращения: 19 января 2021. Архивировано 8 марта 2021 года.
  11. ↑ Informatik (GI), Gesellschaft für Fellows (нем.). Giesecke+Devrient (22 июля 2019). Дата обращения: 19 января 2021. Архивировано 27 января 2021 года.
  12. ↑ IJCAI Awards IJCAI (англ.). ijcai.org. Дата обращения: 19 января 2021. Архивировано 20 декабря 2020 года.
  13. ↑ Awards (англ.). ifip.org. Дата обращения: 19 января 2021. Архивировано 5 февраля 2007 года.
  14. ↑ Distinguished Service Awards | European Association for Artificial Intelligence (англ.). eurai.org. Дата обращения: 19 января 2021. Архивировано 7 января 2022 года.
Источник — https://ru.wikipedia.org/w/index.php?title=Бибель,_Леонард_Вольфганг&oldid=133022754