Anthony Cohn


Anthony G. "Tony" Cohn FREng is a British computer scientist and Professor of Automated Reasoning at the University of Leeds. He is globally recognized for his foundational work in artificial intelligence, especifically in the field of qualitative spatial reasoning and the development of the Region Connection Calculus.

Education

Cohn attended Dr Challoner's Grammar School before receiving his BSc and PhD from the University of Essex. His doctoral thesis, titled Mechanising a Particularly Expressive Many Sorted Logic, was completed in 1983 under the supervision of Patrick Hayes.

Career and research

After a decade at the University of Warwick, Cohn joined the University of Leeds in 1990, where he founded the research group in Artificial Intelligence. He is also a Fellow and researcher at the Alan Turing Institute, where he collaborates on evaluating foundation models and large language models.
His research primarily focuses on knowledge representation, spatial reasoning, and the integration of vision and language for activity recognition.

Qualitative spatial reasoning

Cohn is widely cited for co-developing with Randell and Cui the Region Connection Calculus, a formal language used to describe topological relationships between spatial regions. The 1992 paper introducing this framework received the KR Test-of-Time Classic Paper Award in 2020 for its enduring impact on AI and Geographic Information Science.

Awards and recognitions

Cohn is the only researcher to have received Distinguished Service Awards from all three major international AI societies: the AAAI, IJCAI, and EurAI.

Major awards

  • **EurAI Distinguished Service Award** : For four decades of service to the European AI community.
  • **KR Inc Distinguished Service Award** : For leadership in the Knowledge Representation and Reasoning community.
  • **Herbert A. Simon Prize for Advances in Cognitive Systems** : Awarded for his work on qualitative representation and visually-grounded language processing.
  • **IJCAI Donald E. Walker Distinguished Service Award** : Recognizing his substantial contributions to the international AI community.
  • **AAAI Distinguished Service Award** : For "extraordinary and sustained service" to the field of AI.
  • **BCS Machine Intelligence Prize** : For the Cogvis project.

Fellowships

He is an elected Fellow of several major scientific and engineering bodies:

Selected publications

*