Anthony G. Cohn is a British computer scientist and Professor of Automated Reasoning at the University of Leeds. He is internationally recognized for his foundational contributions to artificial intelligence, particularly in qualitative spatial reasoning and the development of the Region Connection Calculus (RCC), a formal language for describing topological relationships. His work has influenced fields from geographic information science to [[computer vision] and [[natural-language processing] across several decades.
Cohn has also played a major role in the international AI community, serving as a leader in major societies and receiving awards from the AAAI, IJCAI, and EurAI. His research spans knowledge representation, spatial reasoning, and integrating vision and language for activity recognition, contributing to both theoretical frameworks and applied systems.
Education
Cohn attended Dr Challoner's Grammar School in Buckinghamshire before pursuing higher education at the University of Essex. He received his BSc and PhD there, completing his doctoral thesis, ''Mechanising a Particularly Expressive Many Sorted Logic'', in 1983 under the supervision of Patrick Hayes. His early work on sorted logics laid groundwork for later contributions to knowledge representation and reasoning.
Career and research
After earning his PhD, Cohn spent a decade at the University of Warwick, where he began developing his research in AI. In 1990, he moved to the University of Leeds, where he founded the artificial intelligence research group rolling at the School of Computing. He has remained there since, becoming Professor of Automated Reasoning.
Cohn is also a Fellow and researcher at the Alan Turing Institute, the UK's national institute for data science and AI. In recent years, he has collaborated on evaluating foundation models and large language models, examining their capabilities and limitations. His primary research focuses on knowledge representation, spatial reasoning, and the integration of vision and language for activity recognition, often combining symbolic and probabilistic methods.
Qualitative spatial reasoning
Cohn is best known for co-developing the Region Connection Calculus (RCC) with David Randell and Zhan Cui. The RCC is a formal language used to describe topological relationships between spatial regions, such as connectedness, overlap, and containment. Introduced in a landmark 1992 paper, the RCC provided a robust formalism for qualitative spatial representation and reasoning, enabling computers to reason about space without precise metric data.
The 1992 paper, titled "A spatial logic based on regions and connection", became a classic in the field. In 2020, it received the KR Test-of-Time Classic Paper Award from the KR community in recognition of its enduring impact on AI and geographic information science. The RCC has since been applied in diverse areas, including geographic information systems, natural-language understanding, and Robotics.
Later research and integration of vision and language
Building on his spatial reasoning work, Cohn has explored the integration of computer vision and language for activity recognition. His focus includes developing qualitative representations that bridge low-level perceptual data with high-level symbolic reasoning, enabling machines to interpret human activities from video and other sensory inputs. This work has implications for autonomous systems, human-robot interaction, and video surveillance.
Cohn has also contributed to the evaluation of large language models and foundation models, particularly examining their reasoning abilities and knowledge representation. His involvement with the Alan Turing Institute includes projects assessing these models' performance and societal impacts.
Awards and recognitions
Cohn holds the rare distinction of being the only researcher to have received Distinguished Service Awards from all three major international AI societies: the AAAI (2012), IJCAI (2015), and EurAI (2024). This recognition highlights his extensive service to the field, including his work on conference organizing, journal editing, and community building.
Major awards
- EurAI Distinguished Service Award (2024): Recognized for four decades of service to the European AI community, including leadership in the European Association for Artificial Intelligence and contributions to its conferences.
- KR Inc Distinguished Service Award (2024): Honored for his leadership in the Knowledge Representation and Reasoning community, particularly through his roles in the KR conferences and workshops.
- Herbert A. Simon Prize for Advances in Cognitive Systems (2021): Awarded for his work on qualitative representation and visually-grounded language processing, bridging AI and cognitive science.
- IJCAI Donald E. Walker Distinguished Service Award (2015): Recognized for substantial contributions to the international AI community, including his work as program chair and conference chair for major IJCAI events.
- AAAI Distinguished Service Award (2012): For "extraordinary and sustained service" to the field, including his contributions to the AAAI conference and its publications.
- BCS Machine Intelligence Prize (2004): Awarded for the Cogvis project, which developed a system for qualitative reasoning about visual scenes.
Fellowships
Cohn is an elected Fellow of several prominent scientific and engineering bodies:
- Fellow of the Royal Academy of Engineering (FREng, 2015)
- Fellow of the AAAI (Association for the Advancement of Artificial Intelligence)
- Founding Fellow of the EurAI (European Association for Artificial Intelligence)
- Fellow of the Learned Society of Wales (FLSW)
- Fellow of the British Computer Society (FBCS) and the Institution of Engineering and Technology (FIET)
These fellowships recognize his research contributions and his service to the AI and computing communities.
Selected publications
- 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. This paper introduced the RCC and is among his most cited works.
- Cohn, A. G.; Hazarika, S. M. (2001). "Qualitative spatial representation and reasoning: An overview". ''Fundamenta Informaticae''. 46 (1–2): 1–29. This survey provides a comprehensive overview of qualitative spatial reasoning, serving as a key reference for researchers.
Cohn has authored or co-authored over 200 publications, with significant contributions to knowledge representation, spatial reasoning, and activity recognition. His research has been supported by multiple grants from UK research councils and European funding bodies.
External links
- University of Leeds Faculty Page
- Anthony Cohn publications indexed by Google Scholar
References
(References are available in the original article.)