Michael M. Richter
Michael M. RICHTER (naskiĝis la 21-an de junio 1938 en Berlin) estas germana matematikisto kaj komputila sciencisto. Richter estas konata pro sia kariero en matematika logiko, speciale ne-standarda analizo kaj en artefarita inteligenteco kaj kiel pioniro en kazo-bazita konkludado (CBR, germane Fallbasiertes Schließen).
Vivo
Richter studis matematikon inter 1959 kaj 1965 en la germanaj universitatoj de Münster kaj Freiburg, kie li doktoriĝis en matematika logiko. En 1973 li habilitiĝis pri matematiko en la universitato de Tübingen. Post prelegado en la universitato de Austin, Teksaso, li estis profesoro pri matematiko ĉe RWTH Aachen de 1975 ĝis 1986. En 1986 li fariĝis profesoro pri komputila scienco en la universitato de Kaiserslautern, kie li prelegis ĝis sia emeritiĝo en 2003. Plurfoje li prelegis en Austin, Florianopolis, Calgary kaj St. Gallen. Nun li estas "Adjunct Professor" en la universitato de Calgary kaj "Visiting Professor" en la universitato de Santa Catarina, Florianopolis, Brazilo. Sub lia gvidado 64 studentoj doktoriĝis. Multaj de ili nun estas profesoroj en multaj partoj de la mondo.
Dum sia libertempo li partoprenis en multaj maratonoj.
Kelkaj publikaĵoj
- Michael M. Richter: Logikkalküle. Teubner Studienbücher Informatik(Leitfäden der angewandten Mathematik und Mechanik). Stuttgart 1978, p. 232
- Michael M. Richter: Ideale Punkte, Monaden und Nichtstandardmethoden. Viewweg-Verlag, Wiesbaden 1982, p. 269
- Richter, Michael M.: Fallbasiertes Schließen. En: Görz, Günther; Rollinger, Claus-Rainer; Schneeberger, Josef (eld.): Handbuch der Künstlichen Intelligenz. 4-a eld. München/Wien 2003, S. 407-430. ISBN 3-486-27212-8.
- B. Benninghofen, Michael M. Richter: A general theory of superinfinitesimals. Fundamenta Mathematicae 128 (1987), p. 199-215. Ĝenerala teorio de superinfinitesimaloj.
- The Knuth-Bendix Completion Procedure, the Growth Function and Polycyclic Groups. In: Proc. Logic Colloquium ’86, ed. F. Drake, J. Truss, North-Holland Publ. Co. p. 261-275.
- B. Benninghofen, S. Kemmerich, Michael M. Richter: Systems of Reductions. SLN in Computer Science 277 (1987); 265 + VII p.
- Michael M. Richter: Prinzipen der Künstlichen Intelligenz. Teubner Studienbücher Informatik, Stuttgart 1989, 355 p.
- Michael M. Richter: Prinzipen der Künstlichen Intelligenz (2nd Edition). Teubner Studienbücher Informatik, Stuttgart 1991, p. 355
- Michael M. Richter, S. Wess: Similarity, Uncertainty and Case-Based Reasoning in PATDEX. En: R. S. Boyer (Ed.), Automated Reasoning, Essays in Honor of Woody Bledsoe, Kluwer Academic Publishers, 1991.
- T. Pfeifer, Michael M. Richter: Diagnose von Technischen Systemen (diagnozo de teknikaj sistemoj). Deutscher Universitätsverlag 1993
- Recent Developments in Case-Based Reasoning: Improvements of Similarity Measures. In: New Approaches in Classification and Data Analysis, ed. E. Diday, Y. Lechevallier, M. Schader, P. Bertrand, B. Burtschy, eld. Springer 1994, S. 594-601.
- R. Kühn, R. Menzel, W. Menzel, U. Ratsch, Michael M. Richter, I. O. Stamatescu: Adaptivity and Learning: An Interdisciplinary Debate. eld. Springer 2003
- Michael M. Richter, Agnar Aamodt: Case-based reasoning foundations. Knowledge Engineering Review,20:3 Cambridge University Press, p. 203-207 (2006).
- Foundations of Similarity and Utility. Proc. Flairs 07, AAAI Press
- Similarity. En: Case-Based Reasoning for Signals and Imaging, ed. Petra Perner, eld. Springer 2007, p. 25-90.
- Michael M. Richter, Rosina Weber: Case-Based Reasoning. A Textbook. Springer Verlag 2013, 520 p.