Anthony G. Cohn es un informático británico y profesor de Razonamiento Automatizado en la Universidad de Leeds. Es reconocido internacionalmente por sus contribuciones fundamentales a la inteligencia artificial, particularmente en el razonamiento espacial cualitativo y el desarrollo del Cálculo de Conexión de Regiones (RCC), un lenguaje formal para describir relaciones topológicas. Su trabajo ha influido en campos que van desde la ciencia de la información geográfica hasta la visión por computador y el procesamiento del lenguaje natural a lo largo de varias décadas.
Cohn también ha desempeñado un papel importante en la comunidad internacional de IA, sirviendo como líder en sociedades importantes y recibiendo premios de AAAI, IJCAI y EurAI. Su investigación abarca la representación del conocimiento, el razonamiento espacial y la integración de visión y lenguaje para el reconocimiento de actividades, contribuyendo tanto a marcos teóricos como a sistemas aplicados.
Educación
Cohn asistió a la Dr Challoner's Grammar School en Buckinghamshire antes de cursar estudios superiores en la Universidad de Essex. Obtuvo su licenciatura y su doctorado allí, completando su tesis doctoral, ''Mechanising a Particularly Expressive Many Sorted Logic'', en 1983 bajo la supervisión de Patrick Hayes. Su trabajo temprano sobre lógicas ordenadas sentó las bases para contribuciones posteriores a la representación del conocimiento y el razonamiento.
Carrera e investigación
Después de obtener su doctorado, Cohn pasó una década en la Universidad de Warwick, donde comenzó a desarrollar su investigación en IA. En 1990, se trasladó a la Universidad de Leeds, donde fundó el grupo de investigación en inteligencia artificial en la Escuela de Computación. Ha permanecido allí desde entonces, convirtiéndose en Profesor de Razonamiento Automatizado.
Cohn también es Fellow e investigador en el Instituto Alan Turing, el instituto nacional del Reino Unido para la ciencia de datos y la IA. En los últimos años, ha colaborado en la evaluación de modelos fundacionales y grandes modelos de lenguaje, examinando sus capacidades y limitaciones. Su investigación principal se centra en la representación del conocimiento, el razonamiento espacial y la integración de visión y lenguaje para el reconocimiento de actividades, combinando a menudo métodos simbólicos y probabilísticos.
Razonamiento espacial cualitativo
Cohn es mejor conocido por co-desarrollar el Cálculo de Conexión de Regiones (RCC) con David Randell y Zhan Cui. El RCC es un lenguaje formal utilizado para describir relaciones topológicas entre regiones espaciales, como la conexión, la superposición y la contención. Introducido en un artículo fundamental de 1992, el RCC proporcionó un formalismo robusto para la representación y el razonamiento espacial cualitativo, permitiendo a las computadoras razonar sobre el espacio sin datos métricos precisos.
El artículo de 1992, titulado "A spatial logic based on regions and connection", se convirtió en un clásico en el campo. En 2020, recibió el Premio KR Test-of-Time Classic Paper de la comunidad KR en reconocimiento a su impacto duradero en la IA y la ciencia de la información geográfica. Desde entonces, el RCC se ha aplicado en diversas áreas, incluidos los sistemas de información geográfica, la comprensión del lenguaje natural y la robótica.
Investigación posterior e integración de visión y lenguaje
Basándose en su trabajo sobre razonamiento espacial, Cohn ha explorado la integración de la visión por computador y el lenguaje para el reconocimiento de actividades. Su enfoque incluye el desarrollo de representaciones cualitativas que conectan datos perceptivos de bajo nivel con razonamiento simbólico de alto nivel, permitiendo a las máquinas interpretar actividades humanas a partir de video y otras entradas sensoriales. Este trabajo tiene implicaciones para sistemas autónomos, interacción humano-robot y vigilancia por video.
Cohn también ha contribuido a la evaluación de grandes modelos de lenguaje y modelos fundacionales, particularmente examinando sus capacidades de razonamiento y representación del conocimiento. Su participación en el Instituto Alan Turing incluye proyectos que evalúan el rendimiento y los impactos sociales de estos modelos.
Premios y reconocimientos
Cohn tiene la rara distinción de ser el único investigador que ha recibido Premios al Servicio Distinguido de las tres principales sociedades internacionales de IA: AAAI (2012), IJCAI (2015) y EurAI (2024). Este reconocimiento destaca su extenso servicio al campo, incluido su trabajo en la organización de conferencias, la edición de revistas y la construcción de comunidad.
Premios principales
- Premio EurAI al Servicio Distinguido (2024): Reconocido por cuatro décadas de servicio a la comunidad europea de IA, incluido el liderazgo en la Asociación Europea de Inteligencia Artificial y contribuciones a sus conferencias.
- Premio KR Inc al Servicio Distinguido (2024): Honrado por su liderazgo en la comunidad de Representación del Conocimiento y Razonamiento, particularmente a través de sus roles en las conferencias y talleres de KR.
- Premio Herbert A. Simon por Avances en Sistemas Cognitivos (2021): Otorgado por su trabajo en representación cualitativa y procesamiento de lenguaje basado en visión, conectando la IA y la ciencia cognitiva.
- Premio IJCAI Donald E. Walker al Servicio Distinguido (2015): Reconocido por contribuciones sustanciales a la comunidad internacional de IA, incluido su trabajo como presidente de programa y presidente de conferencia en importantes eventos de IJCAI.
- Premio AAAI al Servicio Distinguido (2012): Por su "servicio extraordinario y sostenido" al campo, incluidas sus contribuciones a la conferencia AAAI y sus publicaciones.
- Premio BCS de Inteligencia de Máquina (2004): Otorgado por el proyecto Cogvis, que desarrolló un sistema para el razonamiento cualitativo sobre escenas visuales.
Membresías
Cohn es Fellow electo de varios organismos científicos y de ingeniería prominentes:
- Fellow de la Real Academia de Ingeniería (FREng, 2015)
- Fellow de la AAAI (Asociación para el Avance de la Inteligencia Artificial)
- Fellow fundador de la EurAI (Asociación Europea de Inteligencia Artificial)
- Fellow de la Sociedad Erudita de Gales (FLSW)
- Fellow de la Sociedad Británica de Computación (FBCS) y de la Institución de Ingeniería y Tecnología (FIET)
Estas membresías reconocen sus contribuciones a la investigación y su servicio a las comunidades de IA y computación.
Publicaciones seleccionadas
- 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. Este artículo introdujo el RCC y se encuentra entre sus obras más citadas.
- Cohn, A. G.; Hazarika, S. M. (2001). "Qualitative spatial representation and reasoning: An overview". ''Fundamenta Informaticae''. 46 (1–2): 1–29. Este estudio proporciona una visión general completa del razonamiento espacial cualitativo, sirviendo como referencia clave para los investigadores.
Cohn ha sido autor o coautor de más de 200 publicaciones, con contribuciones significativas a la representación del conocimiento, el razonamiento espacial y el reconocimiento de actividades. Su investigación ha sido respaldada por múltiples subvenciones de los consejos de investigación del Reino Unido y organismos de financiación europeos.
Enlaces externos
- Página de la Facultad de la Universidad de Leeds
- Publicaciones de Anthony Cohn indexadas por Google Scholar
Referencias
(Las referencias están disponibles en el artículo original.)