Математическая логика и искусственный интеллект были основными областями деятельности Михаэля М. Рихтера (Michael M. Richter), исследователя, чья карьера объединила абстрактную теорию и практические вычислительные системы. В период с 1959 по 2003 год его академический путь прошел от учебы на бакалавриате в Мюнстерском университете до получения бессрочной кафедры информатики в Университете Кайзерслаутерна, формируя педагогические подходы для сотен студентов.
Академическая база и ранние исследования
Родившийся в Берлине в 1938 году, Рихтер изучал математику в Мюнстерском и Фрайбургском университетах. Он завершил работу над докторской диссертацией по математической логике под руководством Вальтера Фельшера (Walter Felscher), а затем в 1973 году получил степень хабилитированного доктора в Тюбингенском университете. Его ранний интерес к нестандартному анализу завершился разработкой теории суперинфинитезималей совместно с Б. Беннингхофеном (B. Benninghofen). В этот период он также преподавал в Техасском университете в Остине, что положило начало его международной академической карьере.
Переход к искусственному интеллекту
Под влиянием В.В. Бледсо (W.W. Bledsoe) Рихтер обратился к искусственному интеллекту, в конечном итоге став в 1988 году одним из членов-основателей Германского исследовательского центра искусственного интеллекта (DFKI) в Кайзерслаутерне. Он переключил свое внимание со статических экспертных систем на гибких, интеллектуальных ассистентов. Его команда в Кайзерслаутерне возглавила проект ARC-TEC, направленный на сбор, представление и компиляцию технических знаний. В этот период также велась разработка системы MILOS для моделирования процессов и группы Cyclops, которая исследовала применения в области понимания изображений.
Пионер в области рассуждений на основе прецедентов
Рихтер получил международное признание за свою работу в области рассуждений на основе прецедентов (Case-Based Reasoning, CBR). После 1990 года его исследовательская группа участвовала в крупных европейских инициативах, в частности в проектах INRECA, которые стандартизировали методологии CBR. Он ввел концепцию контейнеров знаний (knowledge containers) и формализовал семантику сходства с использованием теории полезности. Эти фундаментальные вклады способствовали коммерческому применению управления знаниями, что привело к тому, что его группа помогла основать компанию tecinno, которая позже стала empolis.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Институциональное руководство и наследие
Помимо исследований, Рихтер занимал важные административные должности, включая пост президента Германского общества математической логики и фундаментальных исследований точных наук с 1981 по 1985 год. Он руководил исследовательской группой по математической логике в Гейдельбергской академии наук, где расширил Омега-библиографию (Omega Bibliography) — исчерпывающий указатель публикаций по логике, восходящий к 1889 году. За время своей работы он руководил 65 аспирантами и 296 студентами магистратуры.
Краткие факты
- Рождение: 1938 год, Берлин, Германия - Смерть: 10 июля 2020 года - Научный руководитель PhD: Вальтер Фельшер (Walter Felscher) - Основные области: Логика и основания, Искусственный интеллект - Ключевой вклад: Контейнеры знаний в рассуждениях на основе прецедентов - Академические должности: Аахенский университет RWTH, Университет Кайзерслаутерна - Всего под руководством аспирантов: 65 - Всего написанных или отредактированных книг: 25
Вопросы, которые задают читатели
### Что такое Омега-библиография?
Это всеобъемлющее научное собрание, курируемое Рихтером в Гейдельбергской академии наук, в котором классифицируются все публикации по математической логике, начиная с 1889 года.
### Что такое контейнеры знаний в CBR?
Эта концепция, введенная Рихтером, относится к фундаментальным компонентам, используемым для построения и поддержки систем рассуждений на основе прецедентов.
