Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Вольфганг Бибель
Вольфганг Бибель FLoC 2006 (обрезано) .jpg
В FLoC в 2006 году
Родившийся1938 г.
Нюрнберг
ОбразованиеLMU Мюнхен
Научная карьера
УчрежденияТехнический университет Дармштадта
ТезисУдаление шниттеля в einem Teilsystem der einfachen Typenlogik  (1968)
ДокторантКурт Шютте , Хельмут Герике
Известные студентыХольгер Х. Хус

Leonhard Вольфганг Bibel (родился 28 октября 1938 года [1] в Нюрнберге ) является немецкий ученый , математик и почетный профессор на факультете компьютерных наук в Technische Universität Дармштадта . Он был одним из основателей области исследований искусственного интеллекта в Германии и Европе и был назван одним из десяти самых важных исследователей в истории искусственного интеллекта Германии по версии журнала Gesellschaft für Informatik.. Бибел основал необходимые институты, конференции и научные журналы и продвигал необходимые исследовательские программы для создания области искусственного интеллекта.

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

Жизнь [ править ]

Вольфганг Бибель родился в Нюрнберге , Германия . Перед учёбой он должен был продемонстрировать производственный опыт, поэтому прошел стажировку на крупной электростанции во Франкене. Наконец, в 1958 году он начал изучать математику и физику в Университете Эрлангена по специальности физика. Первый год учебы был для Бибеля вызовом, поскольку содержание было ему неизвестно, в отличие от его сокурсников, пришедших из научных школ. Во время перерывов в семестре он прошел еще одну стажировку в Siemens-Schuckertwerke. Он получил свой промежуточный диплом 4 мая 1961 года. С 1962 года он закончил часть своего обучения в Гейдельбергском университете. После того, как он сосредоточился на математике, он перешел в Мюнхенский университет Людвига-Максимилиана.(LMU), где он проучился до 1964 года и получил диплом математика. Его дипломная работа была посвящена доказательству теоремы Реммерта об иллюстрации. С 1964 по 1966 год он был научным сотрудником Института физики и астрофизики Макса Планка в Мюнхене, который затем возглавлял Вернер Гейзенберг . В Институте Макса Планка он встретил Питера Миттельштадта, который предложил ему стипендию и руководство. Миттельштадт предложил Бибелю поработать над решением проблемы обращения в теории рассеяния для его докторской диссертации.но позже стало известно, что решение уже давно найдено. В то время Миттельштадт не знал об этом. Позже выяснилось, что Миттельштадт стал профессором Кельнского университета . Бибель переехал с Миттельштадтом в Кельнский университет , где работал научным сотрудником. Решение уже было найдено: внезапно принятая профессура Миттельштадта и удаленность от его девушки привели к его отставке через короткое время. В 1968 году он получил докторскую степень с отличием по математической логике под руководством Курта Шютте из LMU.

Процедура абилитации в Мюнхенском техническом университете [ править ]

С 1969 по 1987 год он был научным сотрудником Института компьютерных наук Мюнхенского технического университета (ТУМ). Собственно, Бибель намеревался получить хабилитат в университете. В декабре 1974 года он подал на рассмотрение кандидатскую диссертацию. Его руководителем был Клаус Самельсон . Однако удивительно, что Фридрих Людвиг Бауэр, который в то время возглавлял институт, наложил вето на его хабилитацию, что означало, что ему было отказано в праве на участие, что было необычно с учетом достижений Бибеля. Он порекомендовал ему продолжить свои исследования еще пять лет, прежде чем рассматривать возможность абилитации. Однако за пределами TUM его достижения были признаны, поэтому он попытался инициировать процедуру абилитации без одобрения Бауэра, поскольку Бауэр яростно противился этому. В течение этого периода с 1975 по 1976 год он был назначен лектором факультета компьютерных наук Мюнхенского университета Бундесвера . Кроме того, в летнем семестре 1975 года он представлял кафедру Жака Лёкса в Саарландском университете и был вызван декан факультета математики / информатикиПадерборнский университет, чтобы подать заявку на профессуру. Председателем комиссии по абилитации был Карл Хайнц Хельвиг, назначивший рецензентов, не знавших его предмета Автоматическое доказательство теорем . Затем он обратился к тогдашнему президенту Мюнхенского технического университета Ульриху Григуллу , но безуспешно. По впечатлению Бибеля, Григулл сказал, что традиция не нуждается в объяснении и что ему следовало прислушаться к Бауэру. За это время Бибель занимал другие позиции и получил дополнительные положительные отзывы. К ним относятся оценки Бруно Бухбергера и Вуди Бледсо., но в 1977 году его заявление было отклонено 31 голосом против при 3 воздержавшихся. В отчаянии он попытался отозвать ходатайство. Он знал лишь несколько причин своего отказа от нескромных дискуссий. Однако причины отказа он так и не понял. Заявление о проверке документов также не прошло, поэтому он подал иск, в котором доказал ошибки в содержании отчетов. Жалобы были отклонены в 1982 году, поскольку процедура была формально правильной, так что процедура его абилитации завершилась после семи разбирательств. За это время отношение коллег к нему изменилось, которое он описывает как «враждебное». В 1978 году он подал прошение о другой абилитации, поскольку в закон были внесены изменения, позволившие старшим ассистентам занимать должности профессора. Тем не мение,это также было отклонено в 1980 году на том основании, что в его области нет необходимости. Все это Бибель охарактеризовал как попытку «[...] академической ликвидации». Он и он объяснили это тем, что Бауэр, по его мнению, был одержим властью и был против Бибеля по личным причинам. Бауэр и его коллеги отвергли эту тему и не смогли идентифицировать себя с научным подходом Бибеля. Бауэр был сторонником императивного программирования сБауэр был сторонником императивного программирования сБауэр был сторонником императивного программирования сALGOL , а Бибель полагался на логическое программирование с помощью PROLOG . Только позже Бауэр признал функциональное и объектно-ориентированное программирование с помощью LISP , который был представлен Уолстером. Бауэр, в частности, не верил в будущее отрасли. В то время отказ от искусственного интеллекта базировался не только в Мюнхене, но и выходил за его пределы. Уолстер также описал подход Бауэра как движимый идеологией. В том же году, когда не удалось получить абилитацию, Немецкий исследовательский фонд(DFG) по просьбе Bibel поддержала проект «Использование доказательных процедур в программировании». В этой теме доминировала тема неудавшейся абилитации, поэтому Бауэр был возмущен финансированием, так что доступ к компьютерам ТУМ был заблокирован. Проблема могла быть решена только при вмешательстве тогдашнего президента DFG. Например, Эйкель, который был одним из рецензентов и входил в группу Бауэра, получил хабилитат, хотя в то время у него была только одна публикация с тремя другими авторами. Такой подход привел к тому, что крупные ИТ-компании, такие как SAP , Software AG и Scheer AG, не вышли из TUM. Андреас фон Бехтольшейм тоже скучал и злился от учебы, поэтому он переехал вУниверситет Карнеги-Меллона . История распространилась и осложнила его жизнь. В то время Бауэр оказал большое влияние на информатику в Германии. Бибель написал 26 неудачных заявок. В последующие годы Бибель старался по минимуму проводить в Мюнхене. Это событие сформировало Бибеля, и оценка Бауэра и его коллег оказалась ошибочной. [2] [3]

В 1970/1971 учебном году он был доцентом информатики в секции информатики математического факультета Государственного университета Уэйна в Детройте . В 1985 году он был приглашенным адъюнкт-профессором в Университете Дьюка . Он отклонил предложения Технического университета Берлина , Университета Амстердама , Технического университета Вены и Университета Ульма .

Время после Мюнхенского технического университета [ править ]

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

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

По просьбе Бибеля Вольфганг Вальстер получил свою первую почетную докторскую степень от Технического университета Дармштадта, а Джон Алан Робинсон - премию Гумбольдта в 1994 году, которая включала шесть месяцев пребывания в Техническом университете Дармштадта. К 2017 году двадцать пять его докторантов или сотрудников были профессорами. Он работал редактором секции журнала « Искусственный интеллект» . [3]

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

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

В 1975 году Немецкий фонд исследований (DFG) одобрил Бибель заявку на исследовательский грант. Бибел также закупил несколько исследовательских проектов для Дармштадтского технического университета, в том числе национальную приоритетную программу «Дедукция», которая была одобрена осенью 1991 года. Благодаря этому проекту Германия заняла лидирующие позиции в области искусственного интеллекта.

На Международной совместной конференции по искусственному интеллекту (IJCAI) в 1977 году он впервые представил Нагелю ситуацию с искусственным интеллектом в Германии. С 1986 по 1992 год он был членом совета директоров IJCAI, а с 1987 по 1989 год - его президентом. Влияние Бибеля в то время также побудило Японию запустить исследовательскую программу на целое десятилетие - Компьютерные системы пятого поколения (FGCS). [3] Программа исследования вызвала большой ажиотаж, поэтому в конференции в Японии в 1979 году присутствовали деятели из мира политики. Бибель представлял Германию на конференции. За конференцией последовали другие крупные исследовательские программы, такие какЕвропейская стратегическая программа исследований и разработок в области информационных технологий и программа информационных технологий, финансируемая Федеральным министерством исследований и технологий (BMFT).

В 1984 году Бибель обратился к Францу-Йозефу Штраусу, чтобы указать на растущее значение искусственного интеллекта. Это привело к созданию Баварского исследовательского центра систем, основанных на знаниях (BayWiss) в 1988 году. В то же время был основан Немецкий исследовательский центр искусственного интеллекта и Институт прикладной обработки знаний (IAW). Баден-Вюртемберг .

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

Должности [ править ]

Вольфганг Бибель утверждал, что изучение искусственного интеллекта следует скорее называть Интеллектикой. [8]

Вольфганг Бибель (справа) с CAR Hoare в 2006 году.

Почести и награды [ править ]

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

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

  • Вольфганг Бибель: Автоматическое доказательство теорем . Издатель Vieweg + Teubner Verlag, Wiesbaden 1987, ISBN  978-3-528-18520-6
  • Вольфганг Бибель: Reflexionen vor Reflexen - Memoiren eines Forschers . Издатель Cuvillier Verlag, Геттинген, 2017 г., ISBN 978-3-7369-9524-6 
  • Оттен, Йенс и Бибель, Вольфганг. (2003). LeanCoP: Доказательство теорем на основе Lean Connection-Based. Журнал символических вычислений. 36. 139-161. 10.1016 / S0747-7171 (03) 00037-3.
  • Оттен, Йенс и Бибель, Вольфганг. (2017). Успехи в автоматизированном доказательстве теорем на основе соединений. 10.1007 / 978-3-319-48628-4.

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

  1. ^ a b Биографические данные с веб-сайта Вольфганга Бибеля
  2. ^ Леонард Вольфганг Бибель (2017), Reflexionen vor Reflexen - Memoiren eines Forschers (на немецком языке) (1 изд.), Геттинген: Cuvillier Verlag, ISBN 9783736995246
  3. ^ a b c Комментарии EurAI по случаю 80-летия Вольфганга Бибеля
  4. ^ "Вольфганг Бибель | Профессор. Доктор естественных наук | Технический университет Дармштадта, Дармштадт | Технический университет | Департамент компьютерных наук (отдел 20)" . ResearchGate . Проверено 10 сентября 2019 .
  5. ^ "Prägender Kopf der KI: профессор Вольфганг Бибель им" Wissenschaftsjahr 2019 "geehrt" . nachrichten.idw-online.de . 4 июня 2019 . Проверено 9 сентября 2019 .
  6. ^ "KI: Die Dampfmaschine 4.0 fürs 21. Jahrhundert?" . www.industry-of-things.de (на немецком языке) . Проверено 10 сентября 2019 .
  7. ^ "Prägender Kopf der KI: профессор Вольфганг Бибель им" Wissenschaftsjahr 2019 "geehrt" . idw-online.de . Проверено 10 сентября 2019 .
  8. ^ Bibel, Wolfgang (декабрь 1980). " " Intellektik "Statt "КИ " ". Rundbrief der Fachgruppe Künstliche Intelligenz in der Gesellschaft für Informatik : 15–16.
  9. ^ "Избранные стипендиаты AAAI" . www.aaai.org . Проверено 10 сентября 2019 .
  10. ^ Informatik (GI), Gesellschaft für (2019-07-31). "GI kürt zehn prägende Köpfe und Technologien der deutschen KI-Forschung im Wissenschaftsjahr 2019" . Веб-портал - LIVE (на немецком языке) . Проверено 9 сентября 2019 .
  11. ^ «Стипендиаты | Европейская ассоциация искусственного интеллекта» . www.eurai.org . Проверено 10 сентября 2019 .
  12. ^ Informatik (GI), Gesellschaft für (2019-07-22). «Товарищи» . Веб-портал - LIVE (на немецком языке) . Проверено 10 сентября 2019 .
  13. ^ "Награды IJCAI | IJCAI" . www.ijcai.org . Проверено 10 сентября 2019 .
  14. ^ "Награды" . www.ifip.org . Проверено 10 сентября 2019 .
  15. ^ «Выдающиеся награды за службу | Европейская ассоциация искусственного интеллекта» . www.eurai.org . Проверено 10 сентября 2019 .

Внешние ссылки [ править ]

  • Домашняя страница Вольфганга Бибеля