Michael M. Richter - Michael M. Richter
Michael M. Richter (21. června 1938 - 10. července 2020) byl německý matematik a počítačový vědec . Richter je dobře známý svou kariérou v matematické logice, zejména nestandardní analýze , a v umělé inteligenci , zejména ve znalostních systémech a na základě případů (CBR, Fallbasiertes Schließen). Je celosvětově známý jako průkopník v odůvodňování případů .
Život
Richter se narodil v Berlíně do vzdělané rodiny: jeho otec byl Dr. Paul Kurt Richter, literární vědec; jeho dědečkem byl doktor Carl Greiff, lékařský vědec (v roce 1940 vydal Greiff u vydavatele Johanna Ambrosia Bartha 544stránkovou knihu Diabetes-Probleme ). Richter studoval matematiku 1959–1965 na univerzitě v Münsteru a univerzitě ve Freiburgu , kde dokončil doktorát. v matematické logice pod dohledem Waltera Felschera a habilitoval se v roce 1973 v matematice na univerzitě v Tübingenu . Poté, co učil na University of Texas v Austinu , byl v letech 1975 až 1986 profesorem matematiky na RWTH Aachen . V roce 1986 přijal katedru informatiky na univerzitě v Kaiserslauternu, kde učil až do svého odchodu do důchodu v roce 2003.
Během své akademické kariéry zastával hostující pozice v Austinu , Florianópolisu a Calgary ; v letech 1994 až 2000 také učil na univerzitě v St. Gallenu . Nakonec byl mimořádným profesorem na univerzitě v Calgary a hostujícím profesorem na Universidade Federal de Santa Catarina , Florianópolis, Brazílie. Během své kariéry měl 65 doktorandů a 296 studentů magisterského studia, z nichž mnozí nyní zastávají osvědčené akademické pozice v různých částech světa. Je autorem devíti knih, z nichž nejnovější je Case-Based Reasoning: Učebnice vydaná v nakladatelství Springer Verlag . Jeho syn Peter P. Richter (narozen 1976) je geolog s doktorským titulem na univerzitě v Mohuči , v současné době je zaměstnán na univerzitě v Kielu .
Zemřel 10. července 2020 ve věku 82 let.
Činnosti
V letech 1981 až 1985 byl Michael Richter prezidentem Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (DVMLG) . Od roku 1987 byl po dobu pěti let spoluiniciátorem a spolupředsedou výroční série konferencí Logika v informatice. V roce 1989 se Michael Richter stal vedoucím výzkumné skupiny Mathematical Logic (do roku 2004) z Heidelbergské akademie věd ( Heidelberger Akademie der Wissenschaften ). Tam pokračoval a rozšířil Omega bibliografii, celosvětově unikátní vědeckou sbírku obsahující všechny publikace v matematické logice od roku 1889 utajovaným způsobem. V Kaiserslauternu byl členem řídícího výboru dvou po sobě jdoucích speciálních výzkumných skupin Deutsche Forschungsgemeinschaft (DFG): Umělá inteligence a vývoj velkých systémů s generickými metodami . V roce 1988 byl jedním ze zakladatelů DFKI v Kaiserslauternu, německém výzkumném středisku umělé inteligence, prvním vědeckým ředitelem a později vedoucím skupiny Intelligent Engineering Group . Byl jedním z předchůdců v přeměně statických expertních systémů na flexibilní asistenční systémy. Vynikající projekt byl ARC-TEC: Akvizice, reprezentace a kompilace technických znalostí . Po roce 1990 se jeho univerzitní skupina účastnila doslova všech velkých evropských projektů týkajících se případového uvažování. Nejvlivnějším projektem byl Highlights of the European INRECA Projects (Inductive Reasoning on Cases), kde byla vyvinuta základní metodika. V roce 1993 skupina zahájila první evropský seminář o uvažování na základě případů v Kaiserslauternu (EWCBR), který byl poté jednou za dva roky a byl doplněn o mezinárodní konference o CBR (ICCBR 2007).
Práce
V logice se Michael Richter specializoval na nestandardní analýzu, kde napsal monografii a vytvořil se svým žákem B. Benninghofenem Teorii superinfinitních mimik . Pod vlivem WW Bledsoe se začal zajímat o umělou inteligenci. V Cáchách vyvinul první a stále jediný program pro aplikaci pravidel přepisování na teorii skupiny. V softwarovém inženýrství se jeho skupina soustředila na modelování procesů. V jeho skupině byl vyvinut MILOS -System. Vedl v procesním modelování a nyní jej Frank Maurer v Calgary podstatně rozšířil na systém MASE. Spolu se svým studentem Aldo v. Wangenheim vytvořil skupinu Cyclops , která pracovala na porozumění obrazu a vyvinula nové nástroje založené na konfiguračním systému. Tento výzkum dal vzniknout různým aplikacím a pokračuje ve florianópolisu v Brazílii. Kolem roku 1990 začal Michael Richter pracovat na Case-Based Reasoning. Zpočátku se jednalo o rozšíření prací na technických expertních systémech. V CBR představil několik základních konceptů a pohledů. Velmi vlivný byl kontejner znalostí pojmu. Je základní pro budování a údržbu systémů CBR. Učinil několik důležitých a systematických příspěvků k pojmu podobnosti. Mezi ně patří vztah opatření podobnosti k obecným pojmům nejistoty a znalosti obsažené v opatřeních podobnosti. Na základní stránce jeho skupina spojovala podobnost s užitkem a Michael Richter formální sémantiku podobnosti, pokud jde o nástroje. Od roku 1990 se Michael Richter zabýval kombinací základního výzkumu a užitečných aplikací. Jeho skupina například založila společnost tecinno (nyní empolis ), což je velmi úspěšná společnost v „prodeji CBR a řízení znalostí“.
Některé významné publikace
Michael M. Richter napsal řadu publikací z oblasti matematiky, obecné informatiky, umělé inteligence, lékařské informatiky a operačního výzkumu. Napsal a/nebo upravil 25 knih. Některé vlivné publikace jsou:
- Michael M. Richter: Logikkalküle. Teubner Studienbücher Informatik (Leitfäden der angewandten Mathematik und Mechanik). Stuttgart 1978, s. 232
- Michael M. Richter: Ideale Punkte, Monaden und Nichtstandardmethoden. Vieweg-Verlag, Wiesbaden 1982, s. 269
- B. Benninghofen, Michael M. Richter: Obecná teorie superinfinitimaleb. Fundamenta Mathematicae 128 (1987), s. 199–215.
- Postup dokončení Knuth-Bendix, růstová funkce a polycyklické skupiny. In: Proč. Logic Colloquium '86, ed. F. Drake, J. Truss, North-Holland Publ. Co. s. 261–275.
- B. Benninghofen, S. Kemmerich, Michael M. Richter: Systems of Reductions. SLN in Computer Science 277 (1987); 265 + VII str.
- Michael M. Richter: Prinzipen der Künstlichen Intelligenz. Teubner Studienbücher Informatik, Stuttgart 1989, s. 355
- Michael M. Richter: Prinzipen der Künstlichen Intelligenz (2. vydání). Teubner Studienbücher Informatik, Stuttgart 1991, s. 355
- Michael M. Richter, S. Wess: Podobnost, nejistota a odůvodňování případů v PATDEXu. In: RS Boyer (Ed.), Automated Reasoning, Esays in Honor of Woody Bledsoe, Kluwer Academic Publishers, 1991.
- T. Pfeifer, Michael M. Richter: Diagnose von Technischen Systemen. Deutscher Universitätsverlag 1993
- Nedávný vývoj v odůvodnění na základě případů: Vylepšení opatření podobnosti. In: Nové přístupy v klasifikaci a analýze dat, ed. E. Diday, Y. Lechevallier, M. Schader, P. Bertrand, B. Burtschy, Springer Verlag 1994, S. 594-601.
- R. Kühn, R. Menzel, W. Menzel, U. Ratsch, Michael M. Richter, IO Stamatescu: Adaptivity and Learning: An Interdisciplinary Debate. Springer Verlag, 2003
- Michael M. Richter, Agnar Aamodt: Základy uvažování na základě případů. Knowledge Engineering Review, 20: 3 Cambridge University Press, s. 203-207 (2006).
- Základy podobnosti a užitečnosti. Proc. Flairs 07, AAAI Press
- Podobnost. In: Case-Based Reasoning for Signals and Imaging, ed. Petra Perner, Springer Verlag 2007, s. 25–90.
- Michael M. Richter, Rosina Weber: Případy založené na důvodech. Učebnice. Springer Verlag 2013, s. 546