Un experto en Computación del Imperial College imparte el martes una conferencia en Teleco
Publicada el 03.Sep.2014
3.sept.2014.- El profesor emérito del Imperial College de Londres Keith Clark, una eminencia internacional en Computación, imparte una conferencia este martes 9 de septiembre en la Universidad Politécnica de Cartagena (UPCT).
Impartirá en inglés la charla titulada 'Programación de Agentes Robóticos: Un Enfoque Teleo-Reactivo usando Multi-Tareas' el martes 9 a las 11:30 en el salón de grados de la Escuela de Telecomunicaciones de la UPCT.
En esta charla, presentará un nuevo enfoque arquitectónico concurrente para la implementación de sistemas robóticos usando el enfoque Teleo-Reactivo. Para ello, extiende el formalismo básico definido por el Profesor Nils Nilsson (Universidad de Stanford) en 1995 permitiendo el desarrollo de sistemas reactivos robustos y oportunistas integrando tareas concurrentes que cooperan entre sí. Ha impartido la misma charla en 2014 en las universidades de Cambridge, Stanford, Imperial College, Oxford y en el Google Research Lab.
Las primeras investigaciones de Clark en el Imperial College en 1975 tuvieron que ver con la teoría y práctica de la Programación Lógica dando como resultados más notables: la definición de la 'negación como fallo” en el año 1975 (todo un referente con artículo con más de 2500 citas) con el que se daba una semántica declarativa a Prolog para el operador de negación; IC-Prolog, un lenguaje de programación lógica totalmente declarativo desarrollado con Frank McCabe y Steve Gregory, y Parlog, un lenguaje de programación lógica concurrente desarrollado con Steve Gregory que importó ideas de lenguaje CSP de Hoare en la programación lógica. En 1980, con Frank McCabe, crearon la empresa Logic Programming Associates para el desarrollo de Prolog en ordenadores personales.
También trabajó como consultor para el proyecto japonés de Quinta Generación, además de ICL Labs, Hewlett Packard Labs, los laboratorios de Fujitsu e IBM. Desde 1990 sus intereses se trasladan a los lenguajes de programación multi-hilo, aún con un énfasis declarativo, y su uso para sistemas multi-agente y aplicaciones de robótica cognitiva.
Clark viene desde hace un año colaborando con los profesores de la UPCT e investigadores del Grupo DSIE Pedro Sánchez Palma y Diego Alonso Cáceres como revisores del libro que próximamente publicará en Springer con sus extensiones al formalismo Teleo-Reactivo, además de formar parte del consorcio creado en 2014 para una solicitud de proyecto de ICT en Robótica de Horizonte 2020 pendiente de resolución.
Impartirá en inglés la charla titulada 'Programación de Agentes Robóticos: Un Enfoque Teleo-Reactivo usando Multi-Tareas' el martes 9 a las 11:30 en el salón de grados de la Escuela de Telecomunicaciones de la UPCT.
En esta charla, presentará un nuevo enfoque arquitectónico concurrente para la implementación de sistemas robóticos usando el enfoque Teleo-Reactivo. Para ello, extiende el formalismo básico definido por el Profesor Nils Nilsson (Universidad de Stanford) en 1995 permitiendo el desarrollo de sistemas reactivos robustos y oportunistas integrando tareas concurrentes que cooperan entre sí. Ha impartido la misma charla en 2014 en las universidades de Cambridge, Stanford, Imperial College, Oxford y en el Google Research Lab.
Las primeras investigaciones de Clark en el Imperial College en 1975 tuvieron que ver con la teoría y práctica de la Programación Lógica dando como resultados más notables: la definición de la 'negación como fallo” en el año 1975 (todo un referente con artículo con más de 2500 citas) con el que se daba una semántica declarativa a Prolog para el operador de negación; IC-Prolog, un lenguaje de programación lógica totalmente declarativo desarrollado con Frank McCabe y Steve Gregory, y Parlog, un lenguaje de programación lógica concurrente desarrollado con Steve Gregory que importó ideas de lenguaje CSP de Hoare en la programación lógica. En 1980, con Frank McCabe, crearon la empresa Logic Programming Associates para el desarrollo de Prolog en ordenadores personales.
También trabajó como consultor para el proyecto japonés de Quinta Generación, además de ICL Labs, Hewlett Packard Labs, los laboratorios de Fujitsu e IBM. Desde 1990 sus intereses se trasladan a los lenguajes de programación multi-hilo, aún con un énfasis declarativo, y su uso para sistemas multi-agente y aplicaciones de robótica cognitiva.
Clark viene desde hace un año colaborando con los profesores de la UPCT e investigadores del Grupo DSIE Pedro Sánchez Palma y Diego Alonso Cáceres como revisores del libro que próximamente publicará en Springer con sus extensiones al formalismo Teleo-Reactivo, además de formar parte del consorcio creado en 2014 para una solicitud de proyecto de ICT en Robótica de Horizonte 2020 pendiente de resolución.
.jpeg)
