由罗伯特·科瓦尔斯基开发的霍恩子句的程序解释，为逻辑编程中的反向推理提供了操作基础。这位数学家兼计算机科学家于1941年出生在康涅狄格州布里奇波特，其职业生涯主要集中在自动定理证明与面向人类的计算模型之间的交叉领域，主要是在英国的学术机构工作期间。
学术背景
科瓦尔斯基在进入高等教育之前就读于费尔菲尔德学院预科学校。他于1963年获得布里奇波特大学数学学士学位，随后于1966年获得斯坦福大学数学硕士学位。他的博士研究将他带到了华沙大学，最终在爱丁堡大学获得计算机科学博士学位（1970年）。
逻辑编程的基础
他的研究生涯始于1970年至1975年在爱丁堡大学担任研究员。1975年，他转入伦敦帝国理工学院计算系。他于1982年获得计算逻辑教授职位，并于1999年获得名誉教授身份。在此期间，他与唐纳德·库纳共同开发了SL归结法，并制定了连接图证明程序。通过与马尔滕·范·埃姆登合作，他建立了霍恩子句的不动点语义和最小模型，这些定义了该领域的逻辑基础。
在法律和逻辑中的应用
科瓦尔斯基将逻辑编程的范围扩展到了法律推理等复杂领域。他与马雷克·塞尔戈特共同开发了事件演算，并应用逻辑编程创建了早期的法律专家系统。他们1986年的研究《The British Nationality Act as a Logic Program》仍然是计算法学领域的开创性著作，使该团队在2021年获得了首届CodeX奖。此外，他与法里巴·萨德里合作，创建了逻辑生产系统，并开发了“逻辑英语”（Logical English），这是一种旨在改善沟通和规范法律合同的受限语法。
专业认可
他的贡献获得了重要的专业荣誉。他于1991年当选为美国人工智能协会会士，并于2001年当选为计算机协会会士。2011年，他获得了IJCAI研究卓越奖。2012年至2014年间，他获得了日本学术振兴会颁发的杰出科学家奖。
快速事实
- 出生：1941年，布里奇波特 - 领域：逻辑学与信息学 - 博士学位：爱丁堡大学，1970年 - 名誉教授：伦敦帝国理工学院 - 会士：AAAI, ACM - 主要兴趣：计算逻辑 - 著名著作：Logic for Problem Solving, 1979 - CodeX奖得主：2021年
读者常见问题
### 逻辑英语的主要功能是什么？
它作为Prolog等编程语言的语法糖，旨在让个人能够使用标准英语语法阅读和理解逻辑规则。
### 科瓦尔斯基如何将逻辑与人类思维联系起来？
他认为计算逻辑可以作为一种问题解决模型，当与决策理论相结合时，可以提高自然语言交流和实际推理能力。
