Бибель, Леонард Вольфганг (>nQyl,, Lykugj; Fkl,sigui)
Леонард Вольфганг Бибель | |
---|---|
нем. Leonhard Wolfgang Bibel | |
![]() | |
Дата рождения | 28 октября 1938 (85 лет) |
Место рождения | Нюрнберг, Германия |
Страна | |
Род деятельности | специалист в области информатики, инженер, преподаватель университета, исследователь искусственного интеллекта |
Научная сфера | искусственный интеллект |
Место работы | Дармштадтский технический университет |
Альма-матер | Мюнхенский университет |
Учёная степень | докторская степень[вд][1] |
Научный руководитель | Курт Шютте[вд][2] и Helmuth Gericke[вд][2] |
Ученики | Elmar Eder[вд][3] и Steffen Hölldobler[вд][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].
Членство и награды
[править | править код]- Первый немецкий член Ассоциации по развитию искусственного интеллекта[8], 1990 г.
- Член Канадского института перспективных исследований
- Один из десяти самых важных исследователей в истории искусственного интеллекта Германии по версии Gesellschaft für Informatik[9]
- Член Европейской ассоциации искусственного интеллекта[10]
- Член Gesellschaft für Informatik[11], 2006 г.
- Член Международной объединенной конференция по искусственному интеллекту, лауреат премии Дональда Э. Уокера за выдающиеся заслуги[12], 1999 г.
- Победитель Silver Core Международной федерации обработки информации[13], 1998 г.
- Лауреат премии Herbrand, 2006 г.
- Награда за выдающиеся заслуги Европейской ассоциации искусственного интеллекта[14], 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.
Ссылки
[править | править код]Примечания
[править | править код]- ↑ Deutsche Nationalbibliothek Record #123426294 // Gemeinsame Normdatei (нем.) — 2012—2016.
- ↑ 1 2 Mathematics Genealogy Project (англ.) — 1997.
- ↑ 1 2 Mathematics Genealogy Project (англ.) — 1997.
- ↑ Wolfgang Bibel Prof.emer. Dr. rer. nat. Technische Universität Darmstadt, Darmstadt TU Department of Computer Science (Dept.20) (англ.). ResearchGate. Дата обращения: 19 января 2021. Архивировано 28 января 2021 года.
- ↑ >Prägender Kopf der KI: Professor Wolfgang Bibel im "Wissenschaftsjahr 2019" geehrt . nachrichten.idw-online.de (4 июня 2019). Дата обращения: 19 января 2021. Архивировано 19 апреля 2021 года.
- ↑ KI: Die Dampfmaschine 4.0 fürs 21. Jahrhundert? (нем.). www.industry-of-things.de. Дата обращения: 19 января 2021. Архивировано 24 января 2021 года.
- ↑ Prägender Kopf der KI: Professor Wolfgang Bibel im "Wissenschaftsjahr 2019" geehrt . idw-online.de. Дата обращения: 19 января 2021. Архивировано 27 января 2021 года.
- ↑ Elected AAAI Fellows (англ.). aaai.org. Дата обращения: 19 января 2021. Архивировано 8 октября 2019 года.
- ↑ 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 года.
- ↑ Fellows European Association for Artificial Intelligence (англ.). eurai.org. Дата обращения: 19 января 2021. Архивировано 8 марта 2021 года.
- ↑ Informatik (GI), Gesellschaft für Fellows (нем.). Giesecke+Devrient (22 июля 2019). Дата обращения: 19 января 2021. Архивировано 27 января 2021 года.
- ↑ IJCAI Awards IJCAI (англ.). ijcai.org. Дата обращения: 19 января 2021. Архивировано 20 декабря 2020 года.
- ↑ Awards (англ.). ifip.org. Дата обращения: 19 января 2021. Архивировано 5 февраля 2007 года.
- ↑ Distinguished Service Awards | European Association for Artificial Intelligence (англ.). eurai.org. Дата обращения: 19 января 2021. Архивировано 7 января 2022 года.
- Родившиеся 28 октября
- Родившиеся в 1938 году
- Персоналии по алфавиту
- Родившиеся в Нюрнберге
- Учёные по алфавиту
- Учёные Германии
- Преподаватели Университета Британской Колумбии
- Преподаватели Дармштадтского технического университета
- Учёные в области информатики
- Учёные в области информатики Германии
- Исследователи искусственного интеллекта