数理逻辑与人工智能是米夏埃尔·M·里希特（Michael M. Richter）的主要研究领域，他是一位将抽象理论与实用计算系统连接起来的研究员。在1959年至2003年期间，他的学术轨迹从明斯特大学的本科学习延伸至凯泽斯劳滕大学计算机科学的终身教授职位，为数百名学生塑造了教学方法。
学术基础与早期研究
里希特1938年出生于柏林，曾在明斯特大学和弗赖堡大学攻读数学。在瓦尔特·费尔歇尔（Walter Felscher）指导下完成数理逻辑博士学位后，他于1973年在蒂宾根大学获得特许任教资格。他对非标准分析的早期关注与 B. 本宁霍芬（B. Benninghofen）共同促成了超无穷小理论（Theory of Superinfinitesimals）的发展。在此期间，他还在德克萨斯大学奥斯汀分校授课，这标志着他国际学术生涯的开始。
向人工智能的转变
受 W.W. 布雷德索（W.W. Bledsoe）的影响，里希特转向人工智能领域，最终于1988年成为凯泽斯劳滕德国人工智能研究中心（DFKI）的创始成员之一。他将重点从静态专家系统转移到灵活、智能的助手。他在凯泽斯劳滕的团队带头开展了 ARC-TEC 项目，旨在获取、表示和编译技术知识。在此期间，还开发了用于过程建模的 MILOS 系统以及研究图像理解应用的 Cyclops 小组。
开创基于案例的推理
里希特因在基于案例的推理（CBR）方面的工作而获得国际认可。1990年后，他的研究小组参与了多项欧洲重大计划，特别是标准化的 CBR 方法论的 INRECA 项目。他引入了知识容器（knowledge containers）的概念，并利用效用理论形式化了相似性的语义。这些基础性贡献促进了知识管理的商业应用，促使其研究小组共同创立了后来的 empolis 公司前身 tecinno。
制度领导力与遗产
除了研究之外，里希特还担任过重要的行政职务，包括在1981年至1985年担任德国数理逻辑与精密科学基础研究协会（Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften）会长。他领导了海德堡科学院数理逻辑研究小组，在那里扩充了《欧米伽书目》（Omega Bibliography），这是一份可以追溯到1889年的逻辑学出版物综合索引。在他的任期内，他指导了65名博士生和296名硕士生。
快速事实
- 出生：1938年，德国柏林 - 逝世：2020年7月10日 - 博士导师：瓦尔特·费尔歇尔（Walter Felscher） - 主要领域：逻辑与基础、人工智能 - 关键贡献：基于案例的推理中的知识容器 - 学术教席：亚琛工业大学、凯泽斯劳滕大学 - 博士生总数：65人 - 编写或编辑的书籍总数：25本
读者常见问题
### 什么是《欧米伽书目》？
它是里希特在海德堡科学院管理的一个全面的科学文集，将追溯到1889年的所有数理逻辑出版物进行了分类。
### 什么是 CBR 中的知识容器？
这个由里希特引入的概念指用于构建和维护基于案例的推理系统的基本组件。
