Vikipedio

Michael M. Richter

Michael M. RICHTER (naskiĝis la 21-an de junio 1938 en Berlin, mortis la 10-an de julio 2020) estis germana matematikisto kaj komputila sciencisto. Richter estis konata pro sia kariero en matematika logiko, speciale ne-standarda analizo kaj en artefarita intelekto kaj kiel pioniro en kazo-bazita konkludado (CBR, germane Fallbasiertes Schließen).

Michael M. Richter
Persona informo
Naskiĝo 21-an de junio 1938 (1938-06-21)
en Berlino
Morto 10-an de julio 2020 (2020-07-10) (82-jaraĝa)
Lingvoj germana
Ŝtataneco Germanio
Okupo
Okupo matematikisto • komputosciencisto
v • d • r

Vivo redakti

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. Poste li estis "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 redakti

  • 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.

Eksteraj ligiloj redakti

Bibliotekoj
Elŝutita el "https://eo.wikipedia.org/w/index.php?title=Michael_M._Richter&oldid=7847340"