Майкл М.Рихтер - Michael M. Richter

Mm.richter.JPG

Майкл М.Рихтер (21 маусым 1938 - 10 шілде 2020) а Неміс математик және информатик. Рихтер, әсіресе, математикалық логикадағы мансабымен танымал стандартты емес талдау және жасанды интеллект, атап айтқанда білімге негізделген жүйелер және жағдайға негізделген дәлелдеу (CBR, Fallbasiertes Schließen). Ол бүкіл әлемде пионер ретінде танымал жағдайға негізделген дәлелдеу.

Өмір

Рихтер туған Берлин білімді отбасында: оның әкесі - әдебиетші ғалым доктор Пол Курт Рихтер; оның атасы медицина ғылымдарының докторы Карл Грейф болды (1940 жылы Греиф 544 беттік кітап басып шығарды) Қант диабеті-проблема баспагермен Иоганн Амбросиус Барт ). Рихтер 1959–1965 жылдары математиканы оқыды Мюнстер университеті және Фрайбург университеті докторлық диссертациясын аяқтаған жерде жылы Математикалық логика басшылығымен Вальтер Фельшер және ол оны алды Хабилитация 1973 ж. математика Тюбинген университеті. Оқытқаннан кейін Остиндегі Техас университеті ол математика профессоры болған Ахен 1975 жылдан 1986 жылға дейін. 1986 жылы ол Информатика кафедрасын қабылдады Кайзерслаутерн университеті ол 2003 жылы зейнеткерлікке шыққанға дейін сабақ берді.

Оқу мансабында ол жұмыс сапарларын атқарды Остин, Флорианополис және Калгари; ол сонымен бірге сабақ берді Сент-Галлен университеті 1994 жылдан 2000 жылға дейін. Ақырында ол профессор Калгари университеті және шақырылған профессор Санта-Катарина Федералды Универсиадасы, Флорианополис, Бразилия. Мансап барысында оның 65 докторанты мен 296 магистранты болған,[1] олардың көпшілігі қазір әлемнің әр түкпірінде академиялық лауазымдарға ие. Ол ең соңғы тоғыз кітаптың авторы Іс бойынша дәлелдеу: оқулық бірге жарияланған Springer Verlag.Оның ұлы Питер П. Рихтер (1976 ж.т.) - геолог, докторантура дәрежесі бар Майнц университеті, қазіргі уақытта жұмыс істейді Киль университеті.

Ол 2020 жылы 10 шілдеде 82 жасында қайтыс болды.[2]

Қызметі

1981 жылдан 1985 жылға дейін Майкл Рихтер президент болды Wisenschaften (DVMLG) математикалық логикасы және Grundlagenforschung der exakten үшін математикалық Deutsche Vereinigung für. 1987 жылдан бастап ол бес жыл бойы «Информатикадағы логика» конференцияларының жыл сайынғы бастамашысы және тең төрағасы болды. 1989 жылы Майкл Рихтер зерттеу тобының жетекшісі болды Математикалық логика бастап (2004 жылға дейін) Гейдельберг Ғылым академиясы (Heidelberger Akademie der Wissenschaften ). Ол 1889 жылдан бастап математикалық логика бойынша барлық жарияланымдарды қамтитын дүниежүзілік бірегей ғылыми жинақ болып табылатын Омега библиографиясын жалғастырды және кеңейтті. Қайзерслаутернде ол екі қатарлы арнайы зерттеу топтарының басқару комитетінің мүшесі болды. Deutsche Forschungsgemeinschaft (DFG): Жасанды интеллект және Жалпы әдістермен үлкен жүйелерді жасау. 1988 жылы ол негізін қалаушылардың бірі болды DFKI Кайзерслаутернде, Германияның Жасанды Интеллект Зерттеу Орталығында, алғашқы ғылыми жетекші, кейіннен жетекшісі Интеллектуалды инженерлік топ. Ол статикалық сараптамалық жүйелерді икемді ассистенттік жүйеге айналдыруға мұрындық болғандардың бірі болды. Көрнекті жоба болды ARC-TEC: Техникалық білімді жинау, ұсыну және жинақтау.1990 жылдан кейін оның университеттік тобы іс жүзіндегі дәлелдеу бойынша барлық еуропалық жобаларға қатысты. Ең ықпалды жоба болды Еуропалық INRECA жобаларының маңызды сәттері (Істер бойынша индуктивті пайымдау), мұнда негізгі әдістеме жасалған. 1993 жылы топ Кайзерслаутерндегі (EWCBR) алғашқы европалық семинарды бастады, содан кейін екі жылда бір рет болатын және CBR (ICCBR 2007) Халықаралық Конференцияларымен толықтырылды.

Жұмыс

Логика бойынша Майкл Рихтер стандартты емес талдауға маманданған, ол монография жазып, шәкірті Б.Беннингхофенмен бірге Суперинфиниттер теориясы. В.В.-нің әсерімен. Bledsoe ол жасанды интеллектке қызығушылық танытты. Ахенде топ теориясына қайта жазу ережелерін қолдануға арналған алғашқы және әлі күнге дейін жалғыз бағдарлама жасады. Бағдарламалық жасақтамада оның тобы процестерді модельдеуге ден қойды. Оның тобында MILOS-Жүйе жасалды. Ол процестерді модельдеуде жетекші болды және қазір Фрэнк Маурер Калгариде MASE жүйесіне айтарлықтай кеңейтілген. Ол өзінің шәкірті Альдо мен Вангенгеймге бірлесіп оны құрды Циклоптар топ, суретті түсіну бойынша жұмыс істеді және конфигурация жүйесіне негізделген жаңа құралдарды жасады. Бұл зерттеу әртүрлі қосымшалардың пайда болуына әкелді және Флорианополис, Бразилияда қатты жалғасты. Шамамен 1990 жылы Майкл Рихтер Кейстерге негізделген пайымдаулармен жұмыс істей бастады. Бастапқыда бұл техникалық сараптамалық жүйелердегі жұмыстың жалғасы болды. Ол CBR-ге бірнеше негізгі ұғымдар мен көзқарастарды енгізді. Білімнің контейнерлері өте әсерлі болды. Бұл CBR жүйелерін құру және қолдау үшін өте маңызды. Ол ұқсастық ұғымына бірнеше маңызды және жүйелі үлес қосты. Оларға ұқсастық өлшемдерінің жалпы белгісіздік тұжырымдамаларына қатынасы және ұқсастық өлшемдеріндегі білім жатады. Іргетас жағынан оның тобы утилитаға ұқсастыққа қатысты және Майкл Рихтер утилиталар жағынан ұқсастықтың ресми семантикасын берді. 1990 жылдан бастап Майкл Рихтер негізгі зерттеулер мен пайдалы қосымшаларды біріктірумен айналысады. Мысал ретінде оның тобы tecinno компаниясын құрды (қазір эмполис ) бұл «CBR сату және білімді басқару» бойынша өте табысты компания.

Кейбір ірі басылымдар

Майкл Рихтер математика, жалпы информатика, жасанды интеллект, медициналық информатика және операцияларды зерттеу бойынша көптеген жарияланымдар жазды. Ол 25 кітап жазды және / немесе редакциялады. Кейбір ықпалды басылымдар:

  • Майкл М.Рихтер: Логиккалкүле. Teubner Studienbücher Informatik (Leitfäden der angewandten Mathematik und Mechanik). Штутгарт 1978, б. 232
  • Майкл М. Рихтер: Идеал Панкте, Монаден и Никстстандартметоден. Визег-Верлаг, Висбаден, 1982, б. 269
  • Беннингхофен, Майкл М.Рихтер: Суперинфиниттердің жалпы теориясы. Fundamenta Mathematicae 128 (1987), 199–215 бб.
  • Кнут-Бендиксті аяқтау процедурасы, өсу функциясы және полициклдік топтар. In: Proc. Логикалық коллоквиум ’86, ред. Ф. Дрейк, Дж. Трусс, Солтүстік-Голландия баспасы. 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-тағы ұқсастық, белгісіздік және жағдайға негізделген пайымдау. In: R. S. Boyer (Ред.), Автоматтандырылған пайымдау, Вуди Бледсоның құрметіне арналған очерктер, Kluwer Academic Publishers, 1991.
  • Т. Пфайфер, Майкл М. Рихтер: диагноз қою фон Технишен Системен. Deutscher Universitätsverlag 1993 ж
  • Жағдайға негізделген ақыл-ойдың соңғы дамуы: ұқсастық шараларын жақсарту. In: Жіктеу және деректерді талдау саласындағы жаңа тәсілдер, ред. Э. Дидай, Ю. Лехевальье, М. Шадер, П.Бертран, Б.Буртщи, Спрингер Верлаг 1994, С. 594-601.
  • Р.Кюн, Р.Мензель, В.Мензель, У.Ратч, Майкл М.Рихтер, И.О.Стаматеску: Бейімделу және оқыту: пәнаралық пікірсайыс. Springer Verlag, 2003 ж
  • Майкл М.Рихтер, Агнар Аамодт: Кейстерге негізделген пайымдау негіздері. Инженерлік шолу, 20: 3 Кембридж университетінің баспасы, б. 203-207 (2006).
  • Ұқсастық пен пайдалылық негіздері. Proc. Flairs 07, AAAI Press
  • Ұқсастық. In: Сигналдар мен кескіндерді кейстерге негізделген дәлелдеу, ред. Петра Пернер, Springer Verlag 2007, 25–90 бб.
  • Майкл М. Рихтер, Розина Вебер: Іске негізделген пайымдау. Оқулық. Springer Verlag 2013, б. 546

Әдебиеттер тізімі

Сыртқы сілтемелер