Майкл М. Рихтер - Michael M. Richter
Майкл М. Рихтер (21 июня 1938 г. - 10 июля 2020 г.) Немецкий математик и специалист в области информатики. Рихтер хорошо известен своей карьерой в математической логике, в частности нестандартный анализ, И в искусственный интеллект, в частности в системы, основанные на знаниях и аргументация по делу (CBR, Fallbasiertes Schließen). Он всемирно известен как пионер в аргументация по делу.
Жизнь
Рихтер родился в Берлин в образованную семью: его отцом был доктор Пол Курт Рихтер, литературовед; его дедом был доктор Карл Грайфф, ученый-медик (в 1940 году Грейфф опубликовал книгу на 544 страницах под названием Проблемы с диабетом с издателем Иоганн Амвросий Барт ). Рихтер изучал математику в 1959–1965 гг. Университет Мюнстера и Фрайбургский университет, где он защитил кандидатскую диссертацию. в Математическая логика под присмотром Вальтер Фельшер и он получил свой Абилитация в 1973 г. по математике в Тюбингенский университет. После обучения в Техасский университет в Остине, он был профессором математики в RWTH Ахен с 1975 по 1986 год. В 1986 году он принял кафедру компьютерных наук в Кайзерслаутернский университет где он преподавал до выхода на пенсию в 2003 году.
Во время своей академической карьеры он занимал должности в Остин, Флорианополис и Калгари; он также преподавал в Университет Санкт-Галлена с 1994 по 2000 год. Наконец, он был адъюнкт-профессором в Университет Калгари и приглашенный профессор Федеральный университет Санта-Катарины, Флорианополис, Бразилия. За свою карьеру у него было 65 докторантов и 296 магистров.[1] многие из них в настоящее время занимают постоянные академические должности в различных частях мира. Он является автором девяти книг, последняя из которых Рассуждение на основе прецедентов: учебник опубликовано с Springer Verlag Его сын Питер П. Рихтер (1976 г.р.) - геолог с докторской степенью Университет Майнца, в настоящее время работает в Кильский университет.
Он умер 10 июля 2020 года в возрасте 82 лет.[2]
Деятельность
С 1981 по 1985 год Майкл Рихтер был президентом Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (DVMLG). С 1987 года он в течение пяти лет был со-инициатором и сопредседателем ежегодной серии конференций «Логика в компьютерных науках». В 1989 году Майкл Рихтер возглавил исследовательскую группу. Математическая логика (до 2004 г.) из Гейдельбергская академия наук (Heidelberger Akademie der Wissenschaften ). Там он продолжил и расширил Omega Bibliography, уникальное во всем мире научное собрание, содержащее все публикации по математической логике с 1889 года в секретной форме. В Кайзерслаутерне он был членом руководящего комитета двух последовательных специальных исследовательских групп Deutsche Forschungsgemeinschaft (DFG): Искусственный интеллект и Разработка больших систем с помощью общих методов. В 1988 году он был одним из основателей DFKI в Кайзерслаутерне, Немецком исследовательском центре искусственного интеллекта, первым научным директором, а затем и руководителем Интеллектуальная инженерная группа. Он был одним из первых, кто превратил статические экспертные системы в гибкие вспомогательные системы. Выдающийся проект был ARC-TEC: получение, представление и обобщение технических знанийПосле 1990 года его университетская группа принимала участие буквально во всех крупных европейских проектах по аргументированию. Самый влиятельный проект был Основные моменты европейских проектов INRECA (Индуктивное рассуждение по делам), где была разработана базовая методология. В 1993 году группа инициировала в Кайзерслаутерне первый Европейский семинар по аргументации на основе прецедентов (EWCBR), который после этого проводился раз в два года и дополнялся международными конференциями по РУО (ICCBR 2007).
Работа
В области логики Майкл Рихтер специализировался на нестандартном анализе, где он написал монографию и вместе со своим учеником Б. Беннингхофеном создал Теория суперинфинитезимальных. Под влиянием W.W. Бледсо заинтересовался искусственным интеллектом. В Аахене он разработал первую и до сих пор единственную программу, применяющую правила перезаписи к теории групп. В программной инженерии его группа сосредоточилась на моделировании процессов. В его группе MILOS-Система разработана. Он был лидером в области моделирования процессов и теперь был существенно расширен Фрэнком Маурером в Калгари до системы MASE. Вместе со своим учеником Альдо против Вангенхайма он создал Циклоп группа, которая работала над пониманием изображений, и разработала новые инструменты на основе системы конфигурации. Это исследование привело к различным приложениям и активно продолжается во Флорианополисе, Бразилия. Примерно в 1990 году Майкл Рихтер начал работать над рассуждением на основе случая. Изначально это было продолжением работы над техническими экспертными системами. Он представил несколько основных концепций и представлений в CBR. Очень влиятельной была концепция контейнеров знаний. Он является основным для построения и обслуживания систем CBR. Он внес несколько важных и систематических вкладов в понятие сходства. Они включают отношение мер подобия к общим концепциям неопределенности и знаниям, содержащимся в показателях подобия. С фундаментальной стороны его группа связала сходство с полезностью, а Майкл Рихтер придал формальную семантику подобия с точки зрения полезности. С 1990 года Майкл Рихтер занимался объединением фундаментальных исследований и полезных приложений. Например, его группа основала компанию tecinno (сейчас Empolis ), которая является очень успешной компанией в «продажах ЦБ РФ и управлении знаниями».
Некоторые основные публикации
Майкл М. Рихтер написал множество публикаций по математике, компьютерным наукам, искусственному интеллекту, медицинской информатике и исследованиям операций. Он написал и / или отредактировал 25 книг. Некоторые влиятельные публикации:
- Майкл М. Рихтер: Logikkalküle. Teubner Studienbücher Informatik (Leitfäden der angewandten Mathematik und Mechanik). Штутгарт 1978, стр. 232
- Майкл М. Рихтер: Ideale Punkte, Monaden und Nichtstandardmethoden. Vieweg-Verlag, Wiesbaden 1982, p. 269
- Б. Беннингхофен, Майкл М. Рихтер: Общая теория суперинфинитезимальных. Fundamenta Mathematicae 128 (1987), стр. 199–215.
- Процедура завершения Кнута-Бендикса, функция роста и полициклические группы. В: Proc. Коллоквиум по логике '86, изд. F. Drake, J. Truss, North-Holland Publ. Co., стр. 261–275.
- Б. Беннингхофен, С. Кеммерих, Майкл М. Рихтер: Системы редукций. SLN в области компьютерных наук 277 (1987); 265 + VII п.
- Майкл М. Рихтер: Prinzipen der Künstlichen Intelligenz. Teubner Studienbücher Informatik, Штутгарт, 1989, стр. 355
- Майкл М. Рихтер: Prinzipen der Künstlichen Intelligenz (2-е издание). Teubner Studienbücher Informatik, Штутгарт, 1991, стр. 355
- Майкл М. Рихтер, С. Весс: Сходство, неопределенность и рассуждения на основе случаев в PATDEX. В: R. S. Boyer (Ed.), Automated Reasoning, Essays in Honor of Woody Bledsoe, Kluwer Academic Publishers, 1991.
- Т. Пфайфер, Майкл М. Рихтер: диагностика фон технических систем. Deutscher Universitätsverlag 1993
- Последние достижения в основанной на прецедентах аргументации: улучшения показателей сходства. В кн .: Новые подходы в классификации и анализе данных, под ред. Э. Дидей, Ю. Лешевалье, М. Шадер, П. Бертран, Б. Бурчи, Springer Verlag 1994, S. 594-601.
- Р. Кюн, Р. Мензель, В. Мензель, У. Ратч, Майкл М. Рихтер, И. О. Стаматеску: Адаптивность и обучение: междисциплинарный спор. Springer Verlag, 2003 г.
- Майкл М. Рихтер, Агнар Амодт: Основы рассуждений на основе конкретных случаев. Обзор инженерии знаний, 20: 3 Cambridge University Press, p. 203-207 (2006).
- Основы подобия и полезности. Proc. Flairs 07, AAAI Press
- Сходство. В: Case-Based Reasoning for Signals and Imaging, ed. Петра Пернер, Springer Verlag 2007, стр. 25–90.
- Майкл М. Рихтер, Розина Вебер: аргументация на основе конкретных случаев. Учебник. Springer Verlag 2013, стр. 546
