Michael M. Richter - Michael M. Richter
Michael M. Richter (21. juni 1938 - 10. juli 2020) var en tysk matematiker og datalog . Richter er kendt for sin karriere inden for matematisk logik, især ikke-standardiseret analyse og inden for kunstig intelligens , især i vidensbaserede systemer og case-baseret ræsonnement (CBR, Fallbasiertes Schließen). Han er verdensomspændende kendt som pioner inden for sagsbaseret ræsonnement .
Liv
Richter blev født i Berlin i en uddannet familie: hans far var doktor Paul Kurt Richter, litteraturforsker; hans bedstefar var Dr. Carl Greiff, en læge (i 1940 udgav Greiff en bog på 544 sider kaldet Diabetes-Probleme med forlaget Johann Ambrosius Barth ). Richter studerede matematik 1959–1965 ved universitetet i Münster og universitetet i Freiburg , hvor han afsluttede sin ph.d. i matematisk logik under tilsyn af Walter Felscher, og han opnåede sin habilitering i 1973 i matematik ved universitetet i Tübingen . Efter at have undervist ved University of Texas i Austin var han professor i matematik ved RWTH Aachen fra 1975 til 1986. I 1986 accepterede han en formand for datalogi ved University of Kaiserslautern, hvor han underviste indtil sin pensionering i 2003.
I løbet af sin akademiske karriere havde han besøgsposter i Austin , Florianópolis og Calgary ; han underviste også på University of St. Gallen fra 1994 til 2000. Endelig var han adjungeret professor ved University of Calgary og gæsteprofessor ved Universidade Federal de Santa Catarina , Florianópolis, Brasilien. Han havde 65 doktorander og 296 kandidatstuderende i løbet af sin karriere, hvoraf mange nu har fastansatte akademiske stillinger i forskellige dele af verden. Han er forfatter til ni bøger, hvoraf den seneste er Case-Based Reasoning: A Textbook udgivet med Springer Verlag . Hans søn Peter P. Richter (født 1976) er en geolog med en doktorgrad fra University of Mainz , i øjeblikket ansat ved University of Kiel .
Han døde den 10. juli 2020 i en alder af 82 år.
Aktiviteter
Fra 1981 til 1985 var Michael Richter formand for Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (DVMLG) . Fra 1987 var han i fem år medinitiativtager og medformand for en årlig serie konferencer Logic in Computer Science. I 1989 blev Michael Richter leder af forskningsgruppen Mathematical Logic (indtil 2004) fra Heidelberg Academy of Sciences ( Heidelberger Akademie der Wissenschaften ). Der fortsatte og udvidede han Omega Bibliography, en verdensomspændende unik videnskabelig samling, der indeholder alle publikationer i matematisk logik siden 1889 på klassificeret måde. I Kaiserslautern var han medlem af bestyrelsen for to på hinanden følgende særlige forskningsgrupper i Deutsche Forschungsgemeinschaft (DFG): Kunstig intelligens og udvikling af store systemer med generiske metoder . I 1988 var han en af grundlæggerne af DFKI i Kaiserslautern, det tyske forskningscenter for kunstig intelligens, den første videnskabelige direktør og senere leder af Intelligent Engineering Group . Han var en af forløberne til at omdanne statiske ekspertsystemer til fleksible assistentsystemer. Et fremragende projekt var ARC-TEC: Anskaffelse, repræsentation og kompilering af teknisk viden . Efter 1990 deltog hans universitetsgruppe i bogstaveligt talt alle større europæiske projekter om sagsbaseret begrundelse. Det mest indflydelsesrige projekt var Highlights of the European INRECA Projects (Inductive Reasoning on Cases), hvor der blev udviklet en grundlæggende metode. I 1993 iværksatte gruppen den første europæiske workshop om sagsbaseret ræsonnement i Kaiserslautern (EWCBR), som derefter var en halvårlig begivenhed og suppleret med internationale konferencer om CBR (ICCBR 2007).
Arbejde
I logik specialiserede Michael Richter sig på ikke-standardiseret analyse, hvor han skrev en monografi og skabte sammen med sin elev B. Benninghofen Theory of Superinfinitesimals . Under indflydelse af WW Bledsoe blev han interesseret i kunstig intelligens. I Aachen udviklede han det første og stadig eneste program til at anvende omskrivningsregler til gruppeteori. Inden for Software Engineering koncentrerede hans gruppe sig om procesmodellering. I hans gruppe blev MILOS -Systemet udviklet. Det var førende inden for procesmodellering og udvides nu væsentligt af Frank Maurer i Calgary til systemet MASE. Sammen med sin elev Aldo v. Wangenheim oprettede han Cyclops -gruppen, der arbejdede med billedforståelse, og udviklede nye værktøjer baseret på konfigurationssystem. Denne forskning gav nu anledning til forskellige anvendelser og fortsættes stærkt i Florianópolis, Brasilien. Omkring 1990 begyndte Michael Richter at arbejde med Case-Based Reasoning. I første omgang var det en forlængelse af arbejdet med tekniske ekspertsystemer. Han introducerede flere grundlæggende begreber og synspunkter i CBR. En meget indflydelsesrig en var begrebet viden containere. Det er grundlæggende for at bygge og vedligeholde CBR -systemer. Han leverede flere vigtige og systematiske bidrag til forestillingen om lighed. Disse omfatter lighedstiltagers relation til generelle usikkerhedsbegreber og den viden, der findes i lighedstiltag. På den grundlæggende side relaterede hans gruppe lighed med nytteværdi og Michael Richter gav en formel semantik af lighed med hensyn til forsyningsselskaber. Siden 1990 har Michael Richter været optaget af at kombinere grundforskning og nyttige applikationer. Som et eksempel grundlagde hans gruppe et tecinno -selskab (nu empolis ), som er en meget succesrig virksomhed i "salg af CBR og videnstyring".
Nogle store publikationer
Michael M. Richter har skrevet adskillige publikationer inden for matematik, generel datalogi, kunstig intelligens, medicinsk informatik og operationsforskning. Han har skrevet og/eller redigeret 25 bøger. Nogle indflydelsesrige publikationer er:
- 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: En generel teori om superinfinitesimaler. Fundamenta Mathematicae 128 (1987), s. 199–215.
- Knuth-Bendix-færdiggørelsesproceduren, vækstfunktionen og polycykliske grupper. I: Proc. Logic Colloquium '86, udg. F. Drake, J. Truss, Nordholland Publ. Co. s. 261–275.
- B. Benninghofen, S. Kemmerich, Michael M. Richter: Reduktionssystemer. SLN i datalogi 277 (1987); 265 + VII s.
- 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. udgave). Teubner Studienbücher Informatik, Stuttgart 1991, s. 355
- Michael M. Richter, S. Wess: Lighed, usikkerhed og sagbaseret begrundelse i PATDEX. I: RS Boyer (red.), Automated Reasoning, Essays in Honour of Woody Bledsoe, Kluwer Academic Publishers, 1991.
- T. Pfeifer, Michael M. Richter: Diagnose von Technischen Systemen. Deutscher Universitätsverlag 1993
- Seneste udviklinger i sagsbaseret ræsonnement: Forbedringer af lighedstiltag. I: New Approaches in Classification and Data Analysis, red. 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: Tilpasning og læring: En tværfaglig debat. Springer Verlag, 2003
- Michael M. Richter, Agnar Aamodt: Case-based reasoning foundation. Knowledge Engineering Review, 20: 3 Cambridge University Press, s. 203-207 (2006).
- Fundamenter for lighed og nytteværdi. Proc. Flairs 07, AAAI Press
- Lighed. I: Case-Based Reasoning for Signals and Imaging, red. Petra Perner, Springer Verlag 2007, s. 25–90.
- Michael M. Richter, Rosina Weber: Case-Based Reasoning. En lærebog. Springer Verlag 2013, s. 546