Библия Вольфганга

Библия Вольфганга
На конференции Federated Logic Conference 2006 г.
Рожденный	1938 Нюрнберг
Образование	ЛМУ Мюнхен
Научная карьера
Учреждения	Технический университет Дармштадта
Диссертация	Исключение разреза в подсистеме логики простого типа   (1968)
Докторантура	Курт Шютте , Хельмут Герике
Известные студенты	Хольгер Х. Хоос

Леонхард Вольфганг Бибель (родился 28 октября 1938 г.) в Нюрнберге ) — немецкий учёный-компьютерщик , математик и почётный профессор кафедры компьютерных наук Технического университета Дармштадта . Он был одним из основателей области исследований искусственного интеллекта в Германии и Европе и был назван Gesellschaft für Informatik одним из десяти наиболее важных исследователей в истории немецкого искусственного интеллекта . Бибель основал необходимые учреждения, конференции и научные журналы, а также продвигал необходимые исследовательские программы для развития области искусственного интеллекта.

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

Жизнь

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

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

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

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

Время после ТУ в Мюнхене

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

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

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

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

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

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

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

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

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

Позиции

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

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

Почести и награды

• Первый немецкий член Ассоциации развития искусственного интеллекта , 1990 г.
• Сотрудник Канадского института перспективных исследований
• Один из десяти самых важных исследователей в истории немецкого искусственного интеллекта по версии Gesellschaft für Informatik.
• Член Европейской ассоциации искусственного интеллекта
• Член Общества компьютерных наук , 2006 г.
• Международной совместной конференции по искусственному интеллекту , 1 999 г. Лауреат премии Дональда Э. Уокера за выдающиеся заслуги на
• Победитель Международной федерации обработки информации Silver Core, 1998 г.
• Лауреат премии Эрбрана , 2006 г.
• Премия Европейской ассоциации искусственного интеллекта за выдающиеся заслуги, 2018 г.

Публикации

• Библия, Вольфганг (1987). Автоматизированное доказательство теорем . Брауншвейг: Ф. Видег. ISBN  3-528-18520-1 . OCLC   16641802 .
• ——; Компания Эрика Кювилье (2017). Размышления до рефлексов Мемуары исследователя (на немецком языке). Геттинген. ISBN  978-3-7369-9524-6 . OCLC   987574903 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
• Оттен, Йенс; —— (2003). «leanCoP: доказательство теорем на основе бережливого соединения» . Журнал символических вычислений . 36 (1–2). Эльзевир Б.В.: 139–161. дои : 10.1016/s0747-7171(03)00037-3 . ISSN   0747-7171 .
• Оттен, Йенс; —— (2017). «Доказуемо правильные системы». Монографии НАСА по системной и программной инженерии . Чам: Международное издательство Springer. дои : 10.1007/978-3-319-48628-4 . ISBN  978-3-319-48627-7 . ISSN   1860-0131 . S2CID   7091220 .

Внешние ссылки

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