安东尼·G·科恩是英国计算机科学家，利兹大学自动推理教授。他因对人工智能的基础性贡献而享誉国际，尤其是在定性空间推理以及区域连接演算（RCC）的开发方面，RCC是一种用于描述拓扑关系的正式语言。他的工作影响了从地理信息科学到计算机视觉和自然语言处理等多个领域，跨越数十年。
科恩还在国际人工智能社区中发挥了重要作用，担任主要学会的领导者，并获得了AAAI、IJCAI和EurAI的奖项。他的研究涵盖知识表示、空间推理，以及将视觉和语言整合用于活动识别，为理论框架和应用系统均做出了贡献。
教育
科恩在奇尔顿博士文法学校就读，之后在埃塞克斯大学接受高等教育。他在那里获得了理学学士和博士学位，并于1983年在帕特里克·海耶斯的指导下完成了博士论文《机械化一种特别表达力强的多类逻辑》。他在分类逻辑方面的早期工作为后来在知识表示和推理方面的贡献奠定了基础。
职业生涯与研究
获得博士学位后，科恩在沃里克大学工作了十年，在那里开始发展他的人工智能研究。1990年，他转到利兹大学，并在计算学院创立了人工智能研究小组。此后他一直留任该校，成为自动推理教授。
科恩还是艾伦·图灵研究所的研究员，该研究所是英国国家数据科学和人工智能研究所。近年来，他合作评估基础模型和大型语言模型，考察它们的能力和局限性。他的主要研究集中在知识表示、空间推理，以及视觉和语言整合用于活动识别，通常结合符号和概率方法。
定性空间推理
科恩最著名的是与大卫·兰德尔和崔展共同开发了区域连接演算（RCC）。RCC是一种用于描述空间区域之间拓扑关系（如连通性、重叠和包含）的正式语言。在1992年一篇里程碑式的论文中提出后，RCC为定性空间表示和推理提供了稳健的形式体系，使计算机无需精确度量数据即可推理空间。
1992年的论文题为“基于区域和连接的空间逻辑”，成为该领域的经典之作。2020年，它获得了知识表示社区颁发的KR时间检验经典论文奖，以表彰其对人工智能和地理信息科学的持久影响。RCC此后已应用于多个领域，包括地理信息系统、自然语言理解和机器人学。
后期研究与视觉和语言的整合
在空间推理工作的基础上，科恩探索了计算机视觉和语言在活动识别中的整合。他的研究重点包括开发定性表示，以弥合低层感知数据与高层符号推理之间的鸿沟，使机器能够从视频和其他感官输入中解读人类活动。这项工作对自主系统、人机交互和视频监控具有重要意义。
科恩还为大型语言模型和基础模型的评估做出了贡献，特别是考察它们的推理能力和知识表示。他在艾伦·图灵研究所的参与包括评估这些模型性能和社会影响的项目。
奖项与荣誉
科恩拥有罕见的殊荣，是唯一一位获得三大国际人工智能学会杰出服务奖的研究者：AAAI（2012年）、IJCAI（2015年）和EurAI（2024年）。这一认可凸显了他对该领域的广泛服务，包括在会议组织、期刊编辑和社区建设方面的工作。
主要奖项
- EurAI杰出服务奖（2024年）：表彰他为欧洲人工智能社区服务四十年，包括在欧洲人工智能协会中的领导作用及其对会议的贡献。
- KR Inc杰出服务奖（2024年）：表彰他在知识表示与推理社区中的领导作用，特别是通过他在KR会议和研讨会中的角色。
- 赫伯特·A·西蒙认知系统进展奖（2021年）：授予他在定性表示和基于视觉的语言处理方面的工作，该工作连接了人工智能和认知科学。
- IJCAI唐纳德·E·沃克杰出服务奖（2015年）：表彰他对国际人工智能社区的重大贡献，包括他担任主要IJCAI活动的程序主席和会议主席的工作。
- AAAI杰出服务奖（2012年）：表彰他对该领域“非凡而持续的服务”，包括他对AAAI会议及其出版物的贡献。
- BCS机器智能奖（2004年）：授予Cogvis项目，该项目开发了一个用于视觉场景定性推理的系统。
会士资格
科恩是多个著名科学和工程机构的当选会士：
- 皇家工程院院士（FREng，2015年）
- AAAI会士（人工智能促进协会）
- EurAI创始会士（欧洲人工智能协会）
- 威尔士学会会士（FLSW）
- 英国计算机学会会士（FBCS）和工程技术学会会士（FIET）
这些会士资格认可了他的研究贡献以及他对人工智能和计算社区的服务。
部分出版物
- Randell, D. A.; Cui, Z.; Cohn, A. G. (1992). "A spatial logic based on regions and connection". ''Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning''. pp. 165–176. 该论文介绍了RCC，是他被引用最多的作品之一。
- Cohn, A. G.; Hazarika, S. M. (2001). "Qualitative spatial representation and reasoning: An overview". ''Fundamenta Informaticae''. 46 (1–2): 1–29. 该综述全面概述了定性空间推理，是研究人员的重要参考。
科恩撰写或合著了200多篇出版物，在知识表示、空间推理和活动识别方面做出了重要贡献。他的研究得到了英国研究理事会和欧洲资助机构的多个资助。
外部链接
- 利兹大学教员页面
- 安东尼·科恩出版物，由Google Scholar索引
参考文献
（参考文献可在原始文章中获取。）