1 生平与教育
1.1 早年经历
雷蒙德·赖特于1939年出生于加拿大安大略省多伦多市。他在一个知识分子家庭中长大，自幼展现出对数学和逻辑的浓厚兴趣。中学时期，赖特便自学了数理逻辑的初步内容，并常以“如果……那么……”的句式捉弄同学，这一习惯后来被他自嘲为“默认推理的早期萌芽”。1957年，他进入多伦多大学攻读数学与物理学，并于1961年获得学士学位。
1.2 学术生涯
1.2.1 多伦多大学时期
1962年，赖特进入多伦多大学研究生院，师从当时尚在逻辑与计算机科学交叉领域中摸索的教授。他于1964年获得硕士学位，论文主题为“递归函数的可判定性片段”。1967年，他以论文《语义蕴含的若干逻辑性质》获得哲学博士学位（逻辑学方向）。在此期间，他结识了后来合作多年的同事约翰·麦卡锡（John McCarthy），并深受麦卡锡关于常识推理的启发。
1.2.2 英属哥伦比亚大学时期
1970年，赖特加入不列颠哥伦比亚大学（UBC）计算机科学系，并在此度过了学术生涯的大部分时光。他在UBC创建了人工智能与逻辑编程实验室，吸引了大量研究生。这段时期，他常以“默认规则”解释自己迟到的理由，例如“除非有证据表明我故意拖延，否则我默认会议不会准时开始”——这一调侃后来成为实验室的经典桥段。
1.3 晚年与逝世
1990年代末，赖特因心脏病接受多次手术，但仍坚持研究至生命最后一刻。2002年9月，他在温哥华寓所中因突发心力衰竭逝世，享年63岁。临终前，他正撰写一篇关于“默认逻辑与机器学习”的草稿，标题被同事戏称为“最后的默认值”。他被安葬于多伦多公墓，墓碑上刻有他最喜欢的逻辑公式：⊤ : M P / P（意为：在缺乏反例时，假设P成立）。
2 学术贡献
2.1 默认逻辑
2.1.1 形式化定义
默认逻辑是一种非单调逻辑系统，用于表示“在正常情况下”的推理。赖特于1980年在其经典论文中给出了默认理论的形式化定义：一个默认理论是二元组⟨W, D⟩，其中W为一阶逻辑公式集（表示常识知识），D为默认规则集。默认规则的形式为 α : β₁, …, βₙ / γ，读作“如果α成立，且没有证据证明βi（i=1,…,n）不成立，则推出γ”。
2.1.2 默认规则与扩充
默认理论的核心概念是“扩充”（extension），即一个在无矛盾前提下能容纳所有可推导语句的最小完备集。赖特证明了每个正常默认理论至少有一个扩充，但扩展的数目可能为零、一或多个。这一结果曾被调侃为“逻辑版的薛定谔的猫”——在展开推理之前，你永远不知道有多少个合理性世界在同时存在。
2.1.3 与非单调推理的关系
默认逻辑是人工智能中非单调推理的三大经典框架之一（另外两个是麦卡锡的“范围封闭假设”和麦克德莫特与多伊尔的“非单调逻辑”）。与后两者不同，赖特的默认逻辑不依赖于模型论假设，而是通过句法规则直接声明“跳过某些步骤”，因此被戏称为“逻辑界的偷懒大师”——当其他逻辑还在费力证明所有前提时，默认逻辑已经直接跳向了结论。
2.2 溯因推理
2.2.1 溯因逻辑程序
1980年代末，赖特将溯因推理（从观察到最有可能的解释）引入逻辑编程。他提出了溯因逻辑程序（ALP）框架，其中程序包含规则、事实和一组可溯因假设。给定一个观测，系统通过假设某些假设为真来推导出观测，同时保持一致性。这一框架后来被用于解释“为什么你的程序崩溃了？因为默认你写了BUG”——赖特在课堂上的经典演示。
2.2.2 基于溯因的诊断
基于溯因的诊断是赖特在人工智能诊断中的核心贡献。他将设备的行为模型表示为逻辑公式，将观测到的异常信号作为需要解释的“现象”，然后通过溯因推理找出导致异常的组件假设。这一方法被广泛应用于电路故障诊断和软件调试。赖特曾笑称：“如果你计算机蓝屏了，别怪Windows，默认是硬件问题——除非你能证明不是。”
2.3 基于知识的程序设计
2.3.1 理论基础
赖特与约翰·麦卡锡等人在1980年代初共同推动了“基于知识的程序设计”（KBPA）范式。其核心思想是：将程序编写为对领域知识的逻辑描述，再由自动推理器执行任务。赖特特别关注“如何在不显式列出所有状态的情况下定义动作效果”，这直接导向了对框架问题的研究。
2.3.2 与框架问题的关联
框架问题指的是：逻辑系统如何高效地表示动作发生后哪些属性保持不变、哪些发生变化。赖特提出使用默认规则来“默认”大多数属性保持不变，只有当存在特定因果规则时才认为属性改变。这一解决方案被称为“默认的框架公理”，它使AI系统避免了对每个属性都手动标注“未受影响”的愚蠢重复——好比你在口袋中默认手机还在，除非你明确记得刚才把它扔进了洗衣机。
3 主要著作与论文
3.1 经典论文
3.1.1 《默认推理的逻辑》（1980）
发表于《人工智能》期刊（Artificial Intelligence, Vol.13, No.1-2），这是默认逻辑的奠基之作。论文中定义了默认理论、正常默认规则、扩充存在定理，并首次证明了默认逻辑的不可判定性。该文被引用超过5000次，成为非单调推理领域的圣经级文献。
3.1.2 《关于溯因推理的逻辑》（1987）
合作论文，发表于《人工智能》期刊（Artificial Intelligence, Vol.32, No.1）。本文建立了溯因推理的逻辑基础，并与默认逻辑进行对比。赖特在文中开玩笑说：“溯因和默认就像是逻辑界的侦探和懒汉——侦探找原因，懒汉跳过原因。”
3.2 专著
3.2.1 《基于知识的程序设计》（1984，合著）
与约翰·麦卡锡、罗伯特·科瓦斯基等人合著，由McGraw-Hill出版。该书系统介绍了将领域知识编码为逻辑程序的技术，包括情境演算、框架公理、默认规则等。书中附赠了一张“如果编译器报错，默认你是逻辑错误”的插页，成为读者趣谈。
3.3 其他重要出版物
- 《非单调逻辑的若干结果》（1982，会议论文）
- 《默认逻辑中的一致性维护》（1986，与D. Poole合作）
- 《溯因理论与诊断》（1989，专著章节）
- 《回忆麦卡锡：逻辑与常识的未解之题》（2001，纪念文集）
4 影响与评价
4.1 对人工智能的推动
4.1.1 非单调推理学派
赖特的默认逻辑与麦卡锡的圆周封闭假设、麦克德莫特的非单调逻辑并称为“非单调推理三巨头”。默认逻辑因其简洁性和可扩展性而成为后续研究最多、应用最广的框架之一。许多AI教材以“默认：先看赖特”作为非单调推理章节的开头。
4.1.2 在专家系统中的应用
经典的MYCIN和一些早期的医疗诊断系统中，隐性采用了默认逻辑的思想：在缺乏化验结果时默认患者无特定感染，除非症状强烈指向例外。赖特本人曾半开玩笑地说：“如果医生也懂默认逻辑，他们就不必每次都说‘可能’了。”
4.2 学术荣誉与纪念
4.2.1 奖项与荣誉称号
- 1990年，当选加拿大皇家学会院士（FRSC）。
- 1995年，获得国际人工智能联合会（IJCAI）“杰出研究奖”。
- 2000年，加拿大计算机科学名人堂成员。
4.2.2 雷蒙德·赖特纪念讲座
自2003年起，国际人工智能大会（AAAI）和加拿大人工智能会议（AI'加拿大）交替设立“雷蒙德·赖特纪念讲座”，邀请在非单调推理及相关领域的杰出学者作报告。讲座规定：报告人必须在演讲中使用至少一个默认规则作为开场——尽管这一规定本身也是默认执行的（只有一次例外被当场纠正）。
4.3 后续发展与批判
4.3.1 默认逻辑的扩展
后续研究人员提出了多种默认逻辑的变种，包括限制默认规则形式的“半正常默认逻辑”、引入优先级的“优先默认逻辑”、以及与贝叶斯推理结合的“概率默认逻辑”。其中，优先级默认逻辑被用于解决“先到先得”的矛盾——例如，在一条默认规则“鸟类会飞”与另一条“企鹅是鸟但不会飞”之间，优先级规则默认“动物学常识优先”。
4.3.2 与经典逻辑的对比
经典逻辑（如一阶逻辑）不具备非单调性：一旦增加新知识，旧结论只能保留或矛盾，而不会被直接否定。默认逻辑则允许在增加知识后“推翻”之前的默认结论。批评者认为默认逻辑在语义上不够清晰，赖特对此回应：“经典逻辑认为世界是静态的，而我默认世界是动态的——除非你能证明它静止。”这一批评实际上推动了后来更严谨的缺省语义研究（如模态与非单调逻辑的整合）。