マイケル・M・リヒター

ミヒャエル・M・リヒター（1938年6月21日 - 2020年7月10日）は、ドイツの数学者、コンピューター科学者である。リヒターは、数理論理学、特に非標準解析、人工知能、特に知識ベースシステムと事例ベース推論（CBR、Fallbasiertes Schließen）の分野での経歴でよく知られている。彼は事例ベース推論の先駆者として世界的に知られている。

リヒターはベルリンの教育を受けた家庭に生まれた。父は文学者のパウル・クルト・リヒター博士、祖父は医学者のカール・グライフ博士（1940年、グライフはヨハン・アンブロジウス・バルト出版社から544ページの『糖尿病問題』を出版した）。リヒターは1959年から1965年までミュンスター大学とフライブルク大学で数学を学び、そこでヴァルター・フェルシャーの指導の下で数理論理学の博士号を取得し、1973年にはテュービンゲン大学で数学の学士号を取得した。テキサス大学オースティン校で教鞭を執った後、1975年から1986年までアーヘン工科大学の数学教授を務めた。 1986年、カイザースラウテルン大学のコンピューターサイエンス学科長に就任し、2003年に退職するまで教鞭を執った。

研究者としてキャリアを積む間、オースティン、フロリアノーポリス、カルガリーで客員教授を務め、1994年から2000年まではザンクトガレン大学でも教鞭を執った。最終的にはカルガリー大学の非常勤教授、ブラジルのフロリアノーポリスにあるサンタカタリーナ連邦大学の客員教授を務めた。キャリアを通じて65人の博士課程の学生と296人の修士課程の学生を指導し^[1]、その多くが現在世界各地で終身在職権を持つ学術的地位に就いている。9冊の著書があり、最新作はSpringer Verlagから出版されたCase-Based Reasoning: A Textbookである。息子のPeter P. Richter（1976年生まれ）は地質学者で、マインツ大学で博士号を取得し、現在はキール大学に勤務している。

彼は2020年7月10日に82歳で亡くなった。^[2]

1981 年から 1985 年まで、ミヒャエル リヒターは数学論理ドイツ試験協会 (DVMLG) の会長を務めました。 1987 年から 5 年間、年次カンファレンス「Logic in Computer Science」シリーズの共同主催者および共同議長を務めました。 1989 年に、ミヒャエル リヒターは ハイデルベルク科学アカデミー (ハイデルベルク科学アカデミー) の研究グループ数理論理の責任者になりました (2004 年まで)。そこで彼は、1889 年以降の数理論理学のすべての出版物を機密扱いで含む世界的にユニークな科学コレクションであるオメガ参考文献を継続および拡張しました。カイザースラウテルンでは、ドイツ研究振興協会（DFG）の2つの特別研究グループ（人工知能と汎用手法による大規模システムの開発）の管理委員会のメンバーを務めた。1988年には、ドイツのカイザースラウテルンにあるDFKIの創設者の1人となった。人工知能研究センターの初代科学ディレクターであり、後にインテリジェントエンジニアリンググループの責任者となった。彼は静的なエキスパートシステムを柔軟なアシスタントシステムに変える先駆者の一人であった。傑出したプロジェクトはARC-TEC: 人工知能の取得、表現、コンパイルである。技術的知識。1990 年以降、彼の大学のグループは、文字通り、事例ベース推論に関するすべての主要なヨーロッパ プロジェクトに参加しました。最も影響力のあるプロジェクトは、ヨーロッパの INRECA プロジェクト (事例に基づく帰納的推論) のハイライトであり、ここで基本的な方法論が開発されました。 1993 年に、このグループはカイザースラウテルンで最初の事例ベース推論に関するヨーロッパ ワークショップ (EWCBR) を開始しました。これはその後 2 年に 1 回のイベントとなり、CBR に関する国際会議 (ICCBR 2007) によって補完されました。

論理学では、ミヒャエル・リヒターは非標準解析を専門とし、モノグラフを執筆し、学生のB. ベニングホーフェンとともに超無限小理論を生み出しました。WW ブレッドソーの影響を受けて、人工知能に興味を持つようになりました。アーヘンでは、群論に書き換え規則を適用する最初の、そして現在でも唯一のプログラムを開発しました。ソフトウェア工学では、彼のグループはプロセスモデリングに集中しました。彼のグループでは、MILOSシステムが開発されました。これはプロセスモデリングをリードし、現在はカルガリーのフランク・マウラーによってMASEシステムに大幅に拡張されています。彼は学生のアルド・v・ヴァンゲンハイムとともに、画像理解に取り組むCyclopsグループを設立し、構成システムに基づく新しいツールを開発しました。この研究は現在、さまざまなアプリケーションを生み出しており、ブラジルのフロリアノーポリスで積極的に続けられています。 1990年頃、ミヒャエル・リヒターは事例ベース推論に取り組み始めました。当初は、テクニカルエキスパートシステムに関する研究の延長でした。彼はCBRにいくつかの基本概念と視点を導入しました。非常に影響力のあったのは、知識コンテナの概念です。これは、CBR システムの構築と維持の基本です。彼は類似性の概念にいくつかの重要かつ体系的な貢献をしました。これには、類似性の尺度と不確実性の一般的な概念との関係、類似性の尺度に含まれる知識が含まれます。基礎的な側面では、彼のグループは類似性を効用に関連付け、Michael Richter は効用の観点から類似性の形式的な意味論を示しました。1990 年以来、Michael Richter は基礎研究と有用なアプリケーションを組み合わせることに関心を持っていました。一例として、彼のグループは tecinno 社 (現在はempolis ) を設立しました。これは、「CBR と知識管理の販売」で非常に成功した会社です。

Michael M. Richter は、数学、一般コンピュータ サイエンス、人工知能、医療情報学、オペレーションズ リサーチに関する多数の出版物を執筆しています。25 冊の書籍を執筆または編集しています。影響力のある出版物には次のようなものがあります。

• マイケル・M・リヒター：論理学。 Teubner Studienbücher Informatik (Leitfäden der angewandten Mathematik und Mechanik)。シュツットガルト、1978、p. 232
• Michael M. Richard: Ideale Punkte、Monaden、Nichtstandardmethoden。 Vieweg-Verlag、ヴィースバーデン、1982 年、p. 269
• B. ベニングホーフェン、マイケル M. リヒター: 超無限微量の一般理論。 Fundamenta Mathematicae 128 (1987)、199 ～ 215 ページ。
• Knuth-Bendix 完成法、成長関数、多環式群。Proc. Logic Colloquium '86、編者 F. Drake、J. Truss、North-Holland Publ. Co.、pp. 261–275。
• B. ベニングホーフェン、S. ケメリッヒ、マイケル M. リヒター: リダクションのシステム。 SLN in Computer Science 277 (1987); 265+VII p.
• マイケル・M・リヒター: Prinzipen der Künstlichen Intelligenz。 Teubner Studienbücher Informatik、シュトゥットガルト、1989 年、p. 355
• Michael M. Richard: Prinzipen der Künstlichen Intelligenz (第 2 版)。 Teubner Studienbücher Informatik、シュトゥットガルト、1991 年、p. 355
• Michael M. Richter、S. Wess: PATDEX における類似性、不確実性、事例ベース推論。RS Boyer (編)、『Automated Reasoning、Essays in Honor of Woody Bledsoe』、Kluwer Academic Publishers、1991 年。
• T. ファイファー、マイケル M. リヒター: テクニッシェン システムメンの診断。ドイツ大学 1993
• 事例ベース推論の最近の発展: 類似性測定の改善。分類とデータ分析における新しいアプローチ、E. Diday、Y. Lechevallier、M. Schader、P. Bertrand、B. Burtschy 編、Springer Verlag 1994、S. 594-601。
• R. キューン、R. メンゼル、W. メンゼル、U. ラッチ、マイケル M. リヒター、IO スタマテスク: 適応性と学習: 学際的な議論。シュプリンガー・フェルラーク、2003
• Michael M. Richter、Agnar Aamodt: 事例ベース推論の基礎。Knowledge Engineering Review、20:3 Cambridge University Press、p. 203-207 (2006)。
• 類似性と有用性の基礎。Proc. Flairs 07、AAAI Press
• 類似性。信号とイメージングのための事例ベース推論、Petra Perner 編、Springer Verlag 2007、pp. 25–90。
• Michael M. Richter、Rosina Weber: 事例ベース推論。教科書。Springer Verlag 2013、p. 546
• Richter, MM, Paul, S., Këpuska, V. および Silaghi, M., 2022. 信号処理および機械学習とその応用 (pp. 1-603). Springer.

• https://web.archive.org/web/20050316020146/http://wwwagse.informatik.uni-kl.de/research/sfb501/a2/pubs.html
• https://web.archive.org/web/20160303235536/http://www.dfki.de/web/research/km/publications/base_view?pubid=2115
• 出典: