Войти
| Вольфганг Бибель | |
|---|---|
 В FLoC в 2006 году | |
| Родился | 1938. Нюрнберг |
| Образование | LMU Мюнхен |
| Научная карьера | |
| Учреждения | Технический университет Дармштадта |
| Диссертация | Schnittelclusion in einem Teilsystem der einfachen Typenlogik (1968) |
| Докторант 189>Курт Шютте, Гельмут Герике | |
| Известные ученики | Хольгер Хус |
Леонард Вольфганг Бибель (родился 28 октября 1938 года в Нюрнберге ) немецкий компьютерный ученый, математик и почетный профессор на факультете компьютерных наук Технического университета Дармштадта. Он был одним из основателей области исследований искусственного интеллекта в Германии и Европе и был назван одним из десяти самых важных исследователей в Германии. история искусственного интеллекта Gesellschaft für Informatik. Бибел основал необходимые институты, конференции и научные журналы, а также продвигал необходимые исследовательские программы для создания области искусственного интеллекта.
Бибел работал в области автоматизированного вывода, представления знаний, архитектуры дедуктивных систем и вывода, планирования, обучения, синтеза программ, а также над темами, касающимися значения технологии ИИ для общества. Его наиболее выдающимся научным вкладом был его метод связи, который позволяет автоматически делать логические выводы в очень компактной форме. Бибель получил в 2006 г. Премию Herbrand за выдающийся вклад в Автоматизированное мышление.
Вольфганг Бибель родился в Нюрнберге, Германия. Перед учёбой он должен был продемонстрировать производственный опыт, поэтому прошел стажировку на крупной электростанции во Франкене. Наконец, в 1958 году он начал изучать математику и физику в Университете Эрлангена по специальности физика. Первый год учебы был для Бибеля вызовом, поскольку содержание было ему неизвестно, в отличие от его сокурсников, которые приехали из научных школ. Во время перерывов в семестре он прошел еще одну стажировку в Siemens-Schuckertwerke. Он получил свой промежуточный диплом 4 мая 1961 года. С 1962 года он закончил часть своего обучения в Гейдельбергском университете. С изменением его внимания к математике он перешел в Мюнхенский университет Людвига-Максимилиана (LMU), где проучился до 1964 года и получил диплом по математике. Его дипломная работа была посвящена доказательству иллюстративной теоремы Реммерта. С 1964 по 1966 год он был научным сотрудником в Институте физики и астрофизики им. Макса Планка в Мюнхене, затем его возглавлял Вернер Гейзенберг. В Институте Макса Планка он встретил Питера Миттельштадта, который предложил ему стипендию и руководство. Миттельштадт предложил Бибелю поработать над решением проблемы обращения в теории рассеяния для его докторской диссертации, но позже стало известно, что решение уже давно найдено. В то время Миттельштадт не знал об этом. Позже выяснилось, что Миттельштадт стал профессором Кельнского университета. Бибель переехал с Миттельштадтом в Кельнский университет, где работал научным сотрудником. Решение уже было найдено: внезапно принятая профессура Миттельштадта и удаленность от его девушки привели к его отставке через короткое время. В 1968 году он получил докторскую степень с с отличием в области математической логики под руководством Курта Шютте из LMU.
С 1969 по 1987 год он был научным сотрудником Института компьютерных наук Мюнхенского технического университета (TUM). Собственно, Бибель намеревался получить хабилитат в университете. В декабре 1974 г. он подал на рассмотрение кандидатскую диссертацию. Его руководителем был Клаус Самельсон. Однако удивительно, что Фридрих Людвиг Бауэр, который в то время возглавлял институт, наложил вето на его абилитацию, что означало, что ему было отказано в праве на участие, что было необычно с учетом достижений Бибеля. Он рекомендовал ему продолжить свои исследования еще пять лет, прежде чем рассматривать возможность абилитации. Однако за пределами TUM его достижения были признаны, поэтому он попытался инициировать процедуру абилитации без одобрения Бауэра, поскольку Бауэр яростно противился этому. В течение этого периода он был назначен преподавателем кафедры компьютерных наук в Университете Бундесвера Мюнхена с 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-м работодателем, а также последним работодателем для Бибеля. Это также была первая стабильная и подходящая рабочая среда для Bibel. В 1991/1992 учебном году он занял должность декана факультета компьютерных наук Дармштадтского технического университета. За это время он возглавил три комиссии по назначению. Среди них были Оскар фон Стрик и Карстен Вайхе. В свое время он также создал свою исследовательскую группу и сделал Дармштадский технический университет одним из ведущих университетов в области искусственного интеллекта во всем мире. Самым выдающимся научным проектом стала Национальная приоритетная программа «Отчисления», финансируемая Немецким исследовательским фондом (DFG). Проект привел к тому, что Германия заняла лидирующие позиции в области искусственного интеллекта. Он был заслуженным профессором с 2004 года.
По просьбе Бибеля Вольфганг Вальстер получил свою первую почетную докторскую степень от Технического университета Дармштадта и Джон Алан Робинсон Премией Гумбольдта в 1994 году, которая включала шесть месяцев пребывания в Техническом университете Дармштадта. К 2017 году двадцать пять его докторантов или сотрудников были профессорами. Он работал редактором раздела журнала Artificial Intelligence Journal.
Вопреки трудностям в Мюнхенском техническом университете (TUM), он продолжил свои исследования в своей области. 1975 год можно считать стартовым для искусственного интеллекта в Германии. Герд Винкер созвал встречу в Бонне, в которой также приняли участие Вольфганг Бибель и Вольфганг Вальстер. По итогам встречи был создан информационный бюллетень KI, который впоследствии стал журналом KI. Первые шесть выпусков были выпущены Гансом-Хельмутом Нагелем. Начиная с седьмого выпуска, Бибел занимал два года до 1998 года. В течение этого времени он не получал поддержки от TUM, поэтому всю работу он должен был делать. На встрече также было решено создать подкомитет по искусственному интеллекту в техническом комитете Cognitive Systems Gesellschaft für Informatik, членом которого Бибель был с 1975 года. Председателем был Ханс-Хельмут Нагель., который в то время был единственным профессором высшего уровня, признавшимся в искусственном интеллекте. Этот комитет координировал становление искусственного интеллекта как научной дисциплины в Германии. Позже роль взял на себя Бибель. Он также занимал эту должность дольше всех. В 1975 году он организовал семинар по автоматическим доказательствам, получивший международное признание в науке и бизнесе. Семинар был предшественником сегодняшней Немецкой конференции по искусственному интеллекту. В 1982 году вместе с Йоргом Зикманном он основал двухнедельную весеннюю школу KI Spring School (KIFS), так как результаты исследования еще не достигли учащихся. Это привело к созданию одной из первых книг по искусственному интеллекту в Германии, которая приблизила студентов к этой теме. Сегодня школа является постоянно действующим учреждением. В 1985 году он также предложил первый продвинутый курс по искусственному интеллекту (ACAI), эквивалент KIFS для Европы. Это также привело к созданию другой книги. Бибел хотел основать европейскую организацию по искусственному интеллекту еще в 1979 году. В 1982 году состоялась первая Европейская конференция по искусственному интеллекту и был основан Европейский координационный комитет по искусственному интеллекту в Европе, ныне Европейская ассоциация по искусственному интеллекту. Искусственный интеллект (EurAI). Он стал ее первым президентом. За все время у него не было профессуры и поддержки со стороны ТУМ, потому что они отказались.
В 1975 году Немецкий фонд исследований (DFG) одобрил Бибель заявку на исследовательский грант. Бибел также закупил несколько исследовательских проектов для Дармштадтского технического университета, в том числе национальную приоритетную программу «Дедукция», которая была утверждена осенью 1991 года. Благодаря этому проекту Германия заняла лидирующие позиции в области искусственного интеллекта.
На Международной объединенной конференции по искусственному интеллекту (IJCAI) в 1977 году он впервые представил Нагелю ситуацию с искусственным интеллектом в Германии. С 1986 по 1992 год он был членом совета директоров IJCAI, а с 1987 по 1989 год - его президентом. Влияние Бибеля в то время также привело к тому, что Япония запустила исследовательскую программу на целое десятилетие, Компьютерные системы пятого поколения (FGCS). Программа исследования вызвала большой ажиотаж, поэтому в конференции в Японии в 1979 году приняли участие деятели из мира политики. Бибель представлял Германию на конференции. За конференцией последовали другие крупные исследовательские программы, такие как Европейская стратегическая программа исследований и разработок в области информационных технологий и Программа информационных технологий, финансируемая Федеральным министерством исследований и технологий (BMFT).
В 1984 году Бибель обратился к Францу-Йозефу Штраусу, чтобы указать на растущее значение искусственного интеллекта. Это привело к созданию Баварского исследовательского центра систем, основанных на знаниях (BayWiss) в 1988 году. В то же время были основаны Немецкий исследовательский центр искусственного интеллекта и Институт прикладной обработки знаний. (IAW) была основана в Баден-Вюртемберге.
23 апреля 2018 года он инициировал события, которые привели к запуску инициативы CLAIRE (Конфедерация лабораторий исследований в области искусственного интеллекта в Европе).
Вольфганг Бибель утверждал, что изучение искусственного интеллекта следует скорее называть Интеллектикой.
Вольфганг Бибель (справа) с К. А. Р. Хоар в 2006 г.  | Викискладе есть медиафайлы, связанные с Вольфгангом Бибелем. |
