Anthony G. Cohn ist ein britischer Informatiker und Professor für Automatisiertes Schließen an der University of Leeds. International bekannt ist er für seine grundlegenden Beiträge zur künstlichen Intelligenz, insbesondere im Bereich des qualitativen räumlichen Schließens und der Entwicklung des Region Connection Calculus (RCC), einer formalen Sprache zur Beschreibung topologischer Beziehungen. Seine Arbeit hat über mehrere Jahrzehnte Felder von der Geoinformatik bis hin zu Computersehen und Verarbeitung natürlicher Sprache beeinflusst.
Cohn hat außerdem eine bedeutende Rolle in der internationalen KI-Gemeinschaft gespielt, indem er Führungspositionen in großen Fachgesellschaften innehatte und Auszeichnungen von AAAI, IJCAI und EurAI erhielt. Seine Forschung umfasst Wissensrepräsentation, räumliches Schließen sowie die Integration von Sehen und Sprache für die Aktivitätserkennung und trägt sowohl zu theoretischen Rahmenwerken als auch zu angewandten Systemen bei.
Bildung
Cohn besuchte die Dr Challoner's Grammar School in Buckinghamshire, bevor er seine Hochschulbildung an der University of Essex fortsetzte. Dort erwarb er seinen BSc und promovierte 1983 mit seiner Doktorarbeit ''Mechanising a Particularly Expressive Many Sorted Logic'' unter der Betreuung von Patrick Hayes. Seine frühen Arbeiten zu sortierten Logiken legten das Fundament für spätere Beiträge zur Wissensrepräsentation und zum Schließen.
Karriere und Forschung
Nach seiner Promotion verbrachte Cohn ein Jahrzehnt an der University of Warwick, wo er begann, seine Forschung in der KI zu entwickeln. 1990 wechselte er an die University of Leeds, wo er die Forschungsgruppe für künstliche Intelligenz an der School of Computing gründete. Dort ist er seitdem geblieben und wurde Professor für Automatisiertes Schließen.
Cohn ist außerdem Fellow und Forscher am Alan Turing Institute, dem nationalen Institut des Vereinigten Königreichs für Datenwissenschaft und KI. In den letzten Jahren hat er an der Evaluierung von Foundation-Modellen und großen Sprachmodellen mitgearbeitet und deren Fähigkeiten und Grenzen untersucht. Seine primäre Forschung konzentriert sich auf Wissensrepräsentation, räumliches Schließen und die Integration von Sehen und Sprache für die Aktivitätserkennung, wobei er oft symbolische und probabilistische Methoden kombiniert.
Qualitatives räumliches Schließen
Cohn ist vor allem für die Mitentwicklung des Region Connection Calculus (RCC) mit David Randell und Zhan Cui bekannt. Das RCC ist eine formale Sprache zur Beschreibung topologischer Beziehungen zwischen räumlichen Regionen, wie Verbundenheit, Überlappung und Enthaltensein. In einem wegweisenden Paper von 1992 eingeführt, bot das RCC einen robusten Formalismus für qualitative räumliche Repräsentation und Schließen, der es Computern ermöglicht, über Raum zu schlussfolgern, ohne präzise metrische Daten zu benötigen.
Das Paper von 1992 mit dem Titel „A spatial logic based on regions and connection" wurde zu einem Klassiker des Fachgebiets. Im Jahr 2020 erhielt es den KR Test-of-Time Classic Paper Award der KR-Gemeinschaft als Anerkennung für seine anhaltende Wirkung auf KI und Geoinformatik. Das RCC wurde seitdem in verschiedenen Bereichen angewendet, darunter geografische Informationssysteme, Verstehen natürlicher Sprache und Robotik.
Spätere Forschung und Integration von Sehen und Sprache
Aufbauend auf seiner Arbeit zum räumlichen Schließen hat Cohn die Integration von Computersehen und Sprache für die Aktivitätserkennung erforscht. Sein Fokus umfasst die Entwicklung qualitativer Repräsentationen, die Daten auf niedriger Wahrnehmungsebene mit symbolischem Schließen auf hoher Ebene verbinden, sodass Maschinen menschliche Aktivitäten aus Video und anderen sensorischen Eingaben interpretieren können. Diese Arbeit hat Auswirkungen auf autonome Systeme, Mensch-Roboter-Interaktion und Videoüberwachung.
Cohn hat auch zur Evaluierung großer Sprachmodelle und Foundation-Modelle beigetragen, insbesondere durch die Untersuchung ihrer Schließfähigkeiten und Wissensrepräsentation. Seine Beteiligung am Alan Turing Institute umfasst Projekte zur Bewertung der Leistung und gesellschaftlichen Auswirkungen dieser Modelle.
Auszeichnungen und Ehrungen
Cohn hat die seltene Auszeichnung, der einzige Forscher zu sein, der Distinguished Service Awards von allen drei großen internationalen KI-Gesellschaften erhalten hat: der AAAI (2012), der IJCAI (2015) und der EurAI (2024). Diese Anerkennung unterstreicht seinen umfangreichen Dienst für das Fachgebiet, einschließlich seiner Arbeit bei der Organisation von Konferenzen, der Herausgebertätigkeit von Zeitschriften und dem Aufbau von Gemeinschaften.
Wichtige Auszeichnungen
- EurAI Distinguished Service Award (2024): Anerkannt für vier Jahrzehnte Dienst an der europäischen KI-Gemeinschaft, einschließlich Führungsrollen in der European Association for Artificial Intelligence und Beiträgen zu deren Konferenzen.
- KR Inc Distinguished Service Award (2024): Geehrt für seine Führungsrolle in der Gemeinschaft für Wissensrepräsentation und Schließen, insbesondere durch seine Rollen bei den KR-Konferenzen und -Workshops.
- Herbert A. Simon Prize for Advances in Cognitive Systems (2021): Verliehen für seine Arbeit an qualitativer Repräsentation und visuell fundierter Sprachverarbeitung, die KI und Kognitionswissenschaft verbindet.
- IJCAI Donald E. Walker Distinguished Service Award (2015): Anerkannt für substanzielle Beiträge zur internationalen KI-Gemeinschaft, einschließlich seiner Arbeit als Programmleiter und Konferenzleiter für wichtige IJCAI-Veranstaltungen.
- AAAI Distinguished Service Award (2012): Für „außergewöhnlichen und nachhaltigen Dienst" am Fachgebiet, einschließlich seiner Beiträge zur AAAI-Konferenz und deren Publikationen.
- BCS Machine Intelligence Prize (2004): Verliehen für das Cogvis-Projekt, das ein System für qualitatives Schließen über visuelle Szenen entwickelte.
Fellowships
Cohn ist gewähltes Fellow mehrerer prominenter wissenschaftlicher und technischer Einrichtungen:
- Fellow der Royal Academy of Engineering (FREng, 2015)
- Fellow der AAAI (Association for the Advancement of Artificial Intelligence)
- Gründungs-Fellow der EurAI (European Association for Artificial Intelligence)
- Fellow der Learned Society of Wales (FLSW)
- Fellow der British Computer Society (FBCS) und der Institution of Engineering and Technology (FIET)
Diese Fellowships würdigen seine Forschungsbeiträge und seinen Dienst an den KI- und Computergemeinschaften.
Ausgewählte Publikationen
- 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''. S. 165–176. Dieses Paper führte das RCC ein und gehört zu seinen am häufigsten zitierten Arbeiten.
- Cohn, A. G.; Hazarika, S. M. (2001). „Qualitative spatial representation and reasoning: An overview". ''Fundamenta Informaticae''. 46 (1–2): 1–29. Diese Übersicht bietet einen umfassenden Überblick über qualitatives räumliches Schließen und dient als zentrale Referenz für Forscher.
Cohn hat über 200 Publikationen verfasst oder mitverfasst, mit bedeutenden Beiträgen zu Wissensrepräsentation, räumlichem Schließen und Aktivitätserkennung. Seine Forschung wurde durch mehrere Zuschüsse von britischen Forschungsräten und europäischen Förderorganisationen unterstützt.
Externe Links
- Fakultätsseite der University of Leeds
- Anthony Cohn Publikationen indexiert von Google Scholar
Referenzen
(Referenzen sind im Originalartikel verfügbar.)