Anthony G. Cohn はイギリスの計算機科学者であり、リーズ大学の自動推論教授である。彼は、人工知能への基礎的な貢献、特に定性的空間推論と、位相的関係を記述する形式言語である領域接続計算（RCC）の開発において国際的に認められている。彼の研究は、地理情報科学からコンピュータビジョンや自然言語処理に至るまで、数十年にわたり様々な分野に影響を与えてきた。
Cohn はまた、国際的な AI コミュニティにおいても主要な役割を果たしており、主要な学会でのリーダーシップや、AAAI、IJCAI、EurAI からの受賞を通じて貢献している。彼の研究は、知識表現、空間推論、そして活動認識のための視覚と言語の統合に及び、理論的枠組みと応用システムの両方に貢献している。
教育
Cohn はバッキンガムシャーの Dr Challoner's Grammar School に通い、その後エセックス大学で高等教育を受けた。彼はそこで BSc と PhD を取得し、1983年に Patrick Hayes の指導の下で博士論文『Mechanising a Particularly Expressive Many Sorted Logic』を完成させた。彼の初期のソート論理に関する研究は、後の知識表現と推論への貢献の基礎を築いた。
キャリアと研究
PhD 取得後、Cohn はウォーリック大学で10年間過ごし、そこで AI 研究を発展させ始めた。1990年にはリーズ大学に移り、計算機学部に人工知能研究グループを設立した。彼はその後もそこに留まり、自動推論教授となった。
Cohn はまた、英国のデータサイエンスと AI の国立研究所であるAlan Turing Instituteのフェロー兼研究者でもある。近年では、基盤モデルや大規模言語モデルの評価に協力し、その能力と限界を調査している。彼の主な研究は、知識表現、空間推論、そして活動認識のための視覚と言語の統合に焦点を当てており、しばしば記号的と確率論的な手法を組み合わせている。
定性的空間推論
Cohn は、David Randell と Zhan Cui と共に領域接続計算（RCC）を共同開発したことで最もよく知られている。RCC は、接続性、重なり、包含などの空間領域間の位相的関係を記述するために使用される形式言語である。1992年の画期的な論文で導入された RCC は、定性的空間表現と推論のための堅牢な形式主義を提供し、正確な計量データなしで空間について推論することをコンピュータに可能にした。
「A spatial logic based on regions and connection」と題された1992年の論文は、この分野の古典となった。2020年には、AI と地理情報科学への永続的な影響が認められ、KR コミュニティから KR Test-of-Time Classic Paper Award を受賞した。RCC はその後、地理情報システム、自然言語理解、ロボティクスなど、多様な分野で応用されている。
その後の研究と視覚と言語の統合
空間推論の研究に基づき、Cohn は活動認識のためのコンピュータビジョンと言語の統合を探求してきた。彼の焦点は、低レベルの知覚データと高レベルの記号的推論を橋渡しする定性的表現の開発にあり、これにより機械がビデオやその他の感覚入力から人間の活動を解釈できるようになる。この研究は、自律システム、人間とロボットの相互作用、ビデオ監視に影響を与えている。
Cohn はまた、大規模言語モデルと基盤モデルの評価、特にその推論能力と知識表現の検討にも貢献している。Alan Turing Instituteでの彼の関与には、これらのモデルの性能と社会的影響を評価するプロジェクトが含まれる。
受賞と栄誉
Cohn は、3つの主要な国際 AI 学会すべてから Distinguished Service Award を受賞した唯一の研究者という稀な栄誉を保持している：AAAI（2012年）、IJCAI（2015年）、EurAI（2024年）。この認識は、会議運営、ジャーナル編集、コミュニティ構築における彼の広範な貢献を含む、この分野への彼の多大な奉仕を強調している。
主な受賞
- EurAI Distinguished Service Award（2024年）：欧州 AI コミュニティへの40年にわたる奉仕、特に欧州人工知能協会でのリーダーシップとその会議への貢献が認められた。
- KR Inc Distinguished Service Award（2024年）：知識表現と推論コミュニティでのリーダーシップ、特に KR 会議とワークショップでの役割が称えられた。
- Herbert A. Simon Prize for Advances in Cognitive Systems（2021年）：定性的表現と視覚に基づく言語処理に関する研究が、AI と認知科学を橋渡ししたとして授与された。
- IJCAI Donald E. Walker Distinguished Service Award（2015年）：主要な IJCAI イベントでのプログラム委員長や会議委員長としての活動を含む、国際 AI コミュニティへの実質的な貢献が認められた。
- AAAI Distinguished Service Award（2012年）：AAAI 会議とその出版物への貢献を含む、この分野への「並外れた持続的な奉仕」に対して授与された。
- BCS Machine Intelligence Prize（2004年）：視覚シーンに関する定性的推論システムを開発した Cogvis プロジェクトに対して授与された。
フェローシップ
Cohn は、いくつかの著名な科学・工学団体の選出フェローである：
- 王立工学アカデミーフェロー（FREng、2015年）
- AAAI（人工知能推進協会）フェロー
- EurAI（欧州人工知能協会）創設フェロー
- ウェールズ学術協会フェロー（FLSW）
- 英国コンピュータ協会フェロー（FBCS）および工学技術協会フェロー（FIET）
これらのフェローシップは、彼の研究貢献と AI およびコンピューティングコミュニティへの奉仕を認めている。
主な出版物
- 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. この調査は定性的空間推論の包括的な概要を提供し、研究者のための主要な参考資料となっている。
Cohn は200以上の出版物を執筆または共執筆しており、知識表現、空間推論、活動認識に重要な貢献をしている。彼の研究は、英国の研究評議会や欧州の資金提供機関からの複数の助成金によって支援されてきた。
外部リンク
- リーズ大学教員ページ
- Google Scholar で索引された Anthony Cohn の出版物
参考文献
（参考文献は元の記事で入手可能です。）