数理論理学と人工知能は、抽象理論と実用的な計算システムを結びつけた研究者であるミヒャエル・M・リヒター（Michael M. Richter）の主要な研究分野であった。1959年から2003年にかけて、ミュンスター大学での学部生時代からカイザースラウテルン大学の計算機科学の終身教授職に至るまで彼の学問的軌跡は続き、何百もの学生の教育的アプローチを形作った。
学術的基盤と初期の研究
1938年にベルリンで生まれたリヒターは、ミュンスター大学とフライブルク大学で数学を学んだ。ヴァルター・フェルシャー（Walter Felscher）の下で数理論理学の博士号を取得した後、1973年にテュービンゲン大学で教授資格（ハビリテーション）を取得した。非標準解析への初期の関心は、B・ベニングホーフェン（B. Benninghofen）と共に超無限小理論（Theory of Superinfinitesimals）の発展へと結実した。この期間中、彼はテキサス大学オースティン校でも教鞭を執り、国際的な学術キャリアの始まりとなった。
人工知能への移行
W・W・ブレッドソウ（W.W. Bledsoe）に影響を受けて、リヒターは人工知能へと舵を切ảo、1988年にはカイザースラウテルンにあるドイツ人工知能研究センター（DFKI）の創立メンバーの一人となった。彼は静的なエキスパートシステムから、柔軟で知的なアシスタントへと焦点を移した。カイザースラウテルンでの彼のチームは、技術的知識の獲得、表現、コンパイルを目的としたARC-TECプロジェクトを主導した。この時期にはまた、プロセスモデリングのためのMILOSシステムや、画像理解における応用を調査したサイクロプス（Cyclops）グループの開発も見られた。
事例ベース推論の開拓
リヒターは、事例ベース推論（Case-Based Reasoning: CBR）における業績により国際的な認知を得た。1990年以降、彼の研究グループは主要な欧州のイニシアチブ、特にCBRの方法論を標準化したINRECAプロジェクトに参加した。彼は知識コンテナ（knowledge containers）の概念を導入し、効用理論を用いて類似性の意味論を形式化した。これらの基礎的な貢献により知識管理の商業的応用が促進され、彼のグループは後にempolisとなったテシンノ（tecinno）社の共同設立を支援した。
制度的リーダーシップと遺産
研究に加えて、リヒターは1981年から1985年までドイツ数理論理学・基礎科学研究会（Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften）の会長を務めるなど、重要な管理職を歴任した。ハイデルベルク科学アカデミーの数理論理学研究グループを率い、1889年に遡る論理学出版物の包括的な索引であるオメガ書誌（Omega Bibliography）を拡張した。在任期間中、彼は65人の博士課程の学生と296人の修士課程の学生を指導した。
ファクトシート
- 生誕: 1938年、ドイツ・ベルリン - 死去: 2020年7月10日 - 博士号指導教員: ヴァルター・フェルシャー（Walter Felscher） - 主要分野: 論理学と基礎、人工知能 - 主な貢献: 事例ベース推論における知識コンテナ - 学術的地位: アーヘン工科大学、カイザースラウテルン大学 - 指導した博士課程学生の総数: 65人 - 執筆・編集した書籍の総数: 25冊
読者のよくある質問
### オメガ書誌とは何ですか？
ハイデルベルク科学アカデミーにおいてリヒターが管理した包括的な科学的コレクションであり、1889年に遡る数理論理学のすべての出版物を分類している。
### CBRにおける知識コンテナとは何ですか？
リヒターによって導入されたこの概念は、事例ベース推論システムを構築および維持するために使用される基本コンポーネントを指す。
