Anthony G. Cohn est un informaticien britannique et professeur de raisonnement automatisé à l'Université de Leeds. Il est internationalement reconnu pour ses contributions fondatrices à l'intelligence artificielle, en particulier dans le raisonnement spatial qualitatif et le développement du calcul de connexion des régions (RCC), un langage formel pour décrire les relations topologiques. Ses travaux ont influencé des domaines allant de la science de l'information géographique à la vision par ordinateur et au traitement du langage naturel sur plusieurs décennies.
Cohn a également joué un rôle majeur dans la communauté internationale de l'IA, en tant que leader dans les grandes sociétés savantes et en recevant des prix de l'AAAI, de l'IJCAI et de l'EurAI. Ses recherches couvrent la représentation des connaissances, le raisonnement spatial et l'intégration de la vision et du langage pour la reconnaissance d'activités, contribuant à la fois aux cadres théoriques et aux systèmes appliqués.
Formation
Cohn a fréquenté la Dr Challoner's Grammar School dans le Buckinghamshire avant de poursuivre ses études supérieures à l'Université d'Essex. Il y a obtenu son BSc et son doctorat, complétant sa thèse de doctorat, ''Mechanising a Particularly Expressive Many Sorted Logic'', en 1983 sous la supervision de Patrick Hayes. Ses premiers travaux sur les logiques triées ont jeté les bases de ses contributions ultérieures à la représentation des connaissances et au raisonnement.
Carrière et recherche
Après avoir obtenu son doctorat, Cohn a passé une décennie à l'Université de Warwick, où il a commencé à développer ses recherches en IA. En 1990, il a rejoint l'Université de Leeds, où il a fondé le groupe de recherche en intelligence artificielle au sein de l'École d'informatique. Il y est resté depuis, devenant professeur de raisonnement automatisé.
Cohn est également chercheur et membre de l'Alan Turing Institute, l'institut national du Royaume-Uni pour la science des données et l'IA. Ces dernières années, il a collaboré à l'évaluation des modèles de fondation et des grands modèles de langage, examinant leurs capacités et leurs limites. Ses recherches principales se concentrent sur la représentation des connaissances, le raisonnement spatial et l'intégration de la vision et du langage pour la reconnaissance d'activités, combinant souvent des méthodes symboliques et probabilistes.
Raisonnement spatial qualitatif
Cohn est surtout connu pour avoir co-développé le calcul de connexion des régions (RCC) avec David Randell et Zhan Cui. Le RCC est un langage formel utilisé pour décrire les relations topologiques entre les régions spatiales, telles que la connexité, le chevauchement et la contenance. Introduit dans un article fondateur de 1992, le RCC a fourni un formalisme robuste pour la représentation et le raisonnement spatiaux qualitatifs, permettant aux ordinateurs de raisonner sur l'espace sans données métriques précises.
L'article de 1992, intitulé "A spatial logic based on regions and connection", est devenu un classique du domaine. En 2020, il a reçu le prix KR Test-of-Time Classic Paper Award de la communauté KR en reconnaissance de son impact durable sur l'IA et la science de l'information géographique. Le RCC a depuis été appliqué dans divers domaines, notamment les systèmes d'information géographique, la compréhension du langage naturel et la robotique.
Recherches ultérieures et intégration de la vision et du langage
S'appuyant sur ses travaux en raisonnement spatial, Cohn a exploré l'intégration de la vision par ordinateur et du langage pour la reconnaissance d'activités. Il se concentre sur le développement de représentations qualitatives qui relient les données perceptuelles de bas niveau au raisonnement symbolique de haut niveau, permettant aux machines d'interpréter les activités humaines à partir de vidéos et d'autres entrées sensorielles. Ces travaux ont des implications pour les systèmes autonomes, l'interaction homme-robot et la surveillance vidéo.
Cohn a également contribué à l'évaluation des grands modèles de langage et des modèles de fondation, en particulier en examinant leurs capacités de raisonnement et leur représentation des connaissances. Son implication à l'Alan Turing Institute comprend des projets évaluant les performances de ces modèles et leurs impacts sociétaux.
Prix et reconnaissances
Cohn détient la distinction rare d'être le seul chercheur à avoir reçu des prix de service distingué des trois grandes sociétés internationales d'IA : l'AAAI (2012), l'IJCAI (2015) et l'EurAI (2024). Cette reconnaissance met en lumière son service étendu au domaine, notamment son travail d'organisation de conférences, d'édition de revues et de construction de communautés.
Prix majeurs
- Prix EurAI de service distingué (2024) : Reconnu pour quatre décennies de service à la communauté européenne de l'IA, y compris son leadership à l'Association européenne pour l'intelligence artificielle et ses contributions à ses conférences.
- Prix KR Inc de service distingué (2024) : Honoré pour son leadership dans la communauté de la représentation des connaissances et du raisonnement, en particulier à travers ses rôles dans les conférences et ateliers KR.
- Prix Herbert A. Simon pour les avancées en systèmes cognitifs (2021) : Décerné pour ses travaux sur la représentation qualitative et le traitement du langage ancré visuellement, reliant l'IA et les sciences cognitives.
- Prix IJCAI Donald E. Walker de service distingué (2015) : Reconnu pour ses contributions substantielles à la communauté internationale de l'IA, y compris son travail en tant que président de programme et président de conférence pour les principaux événements IJCAI.
- Prix AAAI de service distingué (2012) : Pour un "service extraordinaire et soutenu" au domaine, y compris ses contributions à la conférence AAAI et à ses publications.
- Prix BCS Machine Intelligence (2004) : Décerné pour le projet Cogvis, qui a développé un système de raisonnement qualitatif sur les scènes visuelles.
Titres de membre
Cohn est membre élu de plusieurs organismes scientifiques et techniques de premier plan :
- Membre de la Royal Academy of Engineering (FREng, 2015)
- Membre de l'AAAI (Association pour l'avancement de l'intelligence artificielle)
- Membre fondateur de l'EurAI (Association européenne pour l'intelligence artificielle)
- Membre de la Learned Society of Wales (FLSW)
- Membre de la British Computer Society (FBCS) et de l'Institution of Engineering and Technology (FIET)
Ces titres de membre reconnaissent ses contributions à la recherche et son service aux communautés de l'IA et de l'informatique.
Publications sélectionnées
- Randell, D. A.; Cui, Z.; Cohn, A. G. (1992). "A spatial logic based on regions and connection". ''Actes de la 3e conférence internationale sur la représentation des connaissances et le raisonnement''. pp. 165–176. Cet article a introduit le RCC et figure parmi ses travaux les plus cités.
- Cohn, A. G.; Hazarika, S. M. (2001). "Qualitative spatial representation and reasoning: An overview". ''Fundamenta Informaticae''. 46 (1–2) : 1–29. Cette synthèse fournit un aperçu complet du raisonnement spatial qualitatif, servant de référence clé pour les chercheurs.
Cohn a écrit ou co-écrit plus de 200 publications, avec des contributions significatives à la représentation des connaissances, au raisonnement spatial et à la reconnaissance d'activités. Ses recherches ont été soutenues par de nombreuses subventions des conseils de recherche britanniques et des organismes de financement européens.
Liens externes
- Page de la faculté de l'Université de Leeds
- Publications d'Anthony Cohn indexées par Google Scholar
Références
(Les références sont disponibles dans l'article original.)