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

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

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

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

Биография

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

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

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

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

Несмотря на трудности, возникшие в Мюнхенском техническом университете он продолжил исследования в своей области. 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 (Конфедерация лабораторий исследований искусственного интеллекта в Европе)^[5][6].

Членство и награды

• Первый немецкий член Ассоциации по развитию искусственного интеллекта^[7], 1990 г.
• Член Канадского института перспективных исследований
• Один из десяти самых важных исследователей в истории искусственного интеллекта Германии по версии Gesellschaft für Informatik^[8]
• Член Европейской ассоциации искусственного интеллекта^[9]
• Член Gesellschaft für Informatik^[10], 2006 г.
• Член Международной объединенной конференция по искусственному интеллекту, лауреат премии Дональда Э. Уокера за выдающиеся заслуги^[11], 1999 г.
• Победитель Silver Core Международной федерации обработки информации^[12], 1998 г.
• Лауреат премии Herbrand, 2006 г.
• Награда за выдающиеся заслуги Европейской ассоциации искусственного интеллекта^[13], 2018 г.

Публикации

• 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.

Ссылки

• Wolfgang Bibel домашняя страница
• Wolfgang Bibel на сайте Математическая генеалогия

Примечания

1. Deutsche Nationalbibliothek Record #123426294 // Gemeinsame Normdatei (нем.) — 2012—2016.
2. Mathematics Genealogy Project (англ.) — 1997.
3. Wolfgang Bibel Prof.emer. Dr. rer. nat. Technische Universität Darmstadt, Darmstadt TU Department of Computer Science (Dept.20) (англ.). ResearchGate. Дата обращения: 19 января 2021. Архивировано 28 января 2021 года.
4. >Prägender Kopf der KI: Professor Wolfgang Bibel im "Wissenschaftsjahr 2019" geehrt  (неопр.). nachrichten.idw-online.de (4 июня 2019). Дата обращения: 19 января 2021. Архивировано 19 апреля 2021 года.
5. KI: Die Dampfmaschine 4.0 fürs 21. Jahrhundert? (нем.). www.industry-of-things.de. Дата обращения: 19 января 2021. Архивировано 24 января 2021 года.
6. Prägender Kopf der KI: Professor Wolfgang Bibel im "Wissenschaftsjahr 2019" geehrt  (неопр.). idw-online.de. Дата обращения: 19 января 2021. Архивировано 27 января 2021 года.
7. Elected AAAI Fellows (англ.). aaai.org. Дата обращения: 19 января 2021. Архивировано 8 октября 2019 года.
8. 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 года.
9. Fellows European Association for Artificial Intelligence (англ.). eurai.org. Дата обращения: 19 января 2021. Архивировано 8 марта 2021 года.
10. Informatik (GI), Gesellschaft für. Fellows (нем.). Giesecke+Devrient (22 июля 2019). Дата обращения: 19 января 2021. Архивировано 27 января 2021 года.
11. IJCAI Awards IJCAI (англ.). ijcai.org. Дата обращения: 19 января 2021. Архивировано 20 декабря 2020 года.
12. Awards (англ.). ifip.org. Дата обращения: 19 января 2021. Архивировано 5 февраля 2007 года.
13. Distinguished Service Awards | European Association for Artificial Intelligence (англ.). eurai.org. Дата обращения: 19 января 2021. Архивировано 7 января 2022 года.