Keith Clark (científico informático)

Keith Leonard Clark (nacido el 29 de marzo de 1943) es profesor emérito del Departamento de Informática del Imperial College de Londres , Inglaterra . ^{[1] : 723}

Educación

Clark estudió Matemáticas en la Universidad de Durham ( Hatfield College ), graduándose en 1964 con una licenciatura de primera clase . ^{[2] [3] [4]} Clark luego continuó sus estudios en la Universidad de Cambridge , obteniendo una segunda licenciatura en Filosofía en 1966. ^[4] Obtuvo un doctorado en 1980 de la Universidad de Londres con una tesis titulada La lógica de predicados como formalismo computacional . ^[5]

Carrera

Clark realizó un servicio voluntario en el extranjero de 1967 a 1968 como profesor de matemáticas en una escuela de Sierra Leona . ^[4] Dio clases de informática en el Departamento de Matemáticas del Queen Mary College de 1969 a 1975. En 1975 se trasladó al Imperial College de Londres , donde se convirtió en profesor titular del Departamento de Informática y se unió a Robert Kowalski en la creación del grupo de programación lógica . ^[6] De 1987 a 2009 fue profesor de lógica computacional en el Imperial College. ^[4]

Las contribuciones clave de Clark han sido en el campo de la programación lógica . ^[7] Sus intereses de investigación actuales incluyen sistemas multiagente , robótica cognitiva y subprocesamiento múltiple . ^[8]

Intereses comerciales

En 1980, con su colega Frank McCabe, fundó una empresa derivada del Imperial College, Logic Programming Associates , para desarrollar y comercializar sistemas Prolog para microcomputadoras (micro-Prolog) y proporcionar consultoría sobre sistemas expertos y otras aplicaciones de programación lógica. ^{[4] [9]} El producto estrella de la empresa era MacProlog. Tenía una interfaz de usuario que explotaba todas las primitivas de interfaz gráfica de usuario del sistema operativo de Mac, y primitivas que permitían crear aplicaciones basadas en Prolog a medida con interfaces específicas de la aplicación. Clark también ha actuado como consultor para IBM , Hewlett-Packard y Fujitsu , entre otras empresas. ^[4]

Publicaciones seleccionadas

• KL Clark, D. Cowell, Programas, máquinas y computación , McGraw-Hill , Londres, 1976.
• KL Clark, SA. Tarnlund, Una teoría de primer orden de datos y programas, Proc. Congreso IFIP , Toronto, 939–944 pp, 1977.
• KL Clark, La negación como fracaso, Logic and Data Bases (eds. Gallaire & Minker) Plenum Press , Nueva York, 293–322 pp, 1978. (También en Lecturas sobre razonamiento no monotónico, (ed. M. Ginsberg), Morgan Kaufmann , 311–325, 1987.)
• KL Clark, S. Gregory, Un lenguaje relacional para programación paralela, Proc. Conferencia ACM sobre lenguajes funcionales y arquitectura informática , ACM, Nueva York, 171–178 pp, 1981. (También en Concurrent Prolog, (ed. E Shapiro), MIT Press, 9–26 pp, 1987.)
• KL Clark, SA. Tarnlund (eds), Programación lógica , Academic Press , Londres, 1982.
• KL Clark, FG McCabe, micro-PROLOG: Programación en lógica , Prentice-Hall International, 1984.
• KL Clark, I. Foster, Un entorno declarativo para la programación lógica concurrente, Actas del coloquio sobre programación y especificación lógica y funcional, LNCS 250, Springer-Verlag, 212-242 pp, 1987
• KL Clark, Esquemas de programación lógica y sus implementaciones, Lógica computacional (ed. Lassez y Plotkin), MIT Press, 1991.
• FG McCabe, KL Clark, abril — Lenguaje de interacción entre agentes y procesos, en Intelligent Agents , (ed N. Jennings, M. Wooldridge), LNAI , vol. 890, Springer-Verlag , 1995.
• N. Skarmeas, KL Clark, Enrutamiento basado en contenido como base para la comunicación entre agentes, Actas de International WS sobre teorías, arquitecturas y lenguajes de agentes 98, Intelligent Agents V, (ed. JP Muler et al.), Springer-Verlag, LNAI 1555, 1999 (premio al mejor artículo).
• KL Clark, Lenguajes de programación lógica, Enciclopedia de Ciencias de la Computación , (eds. A. Ralston, E. Reilly, D. Hemmendinger), págs. 1024–1031, Nature Publishing Group , 2000.
• KL Clark y F. McCabe, Go! — Un lenguaje de programación multiparadigma para implementar agentes multiproceso, Annals of Mathematics and Artificial Intelligence , 41(2–4):171–206, agosto de 2004.
• T. Hong y KL Clark, Hacia un envoltorio web universal, Actas de la 17ª Conferencia internacional FLAIRS, AAAI Press, 2004.
• KL Clark y F. McCabe, Esquema de ontología para un almacén de creencias de agente, International Journal of Human-Computer Studies, 65(7), julio de 2007, páginas 640–658.
• KL Clark, P. Robinson, S. Zappacosta Amboldi, Agentes de comunicación multiproceso en Qu-Prolog, Lógica computacional en sistemas multiagente (ed. F Toni y P. Torroni), LNAI Vol. 3900, págs. 186-205, 2006.
• S. Coffey y KL Clark, Una arquitectura híbrida y teleorreactiva para el control de robots, Actas del segundo taller internacional sobre sistemas robóticos multiagente (MARS-06), 2006.
• D. Gaertner, KL Clark, M. Sergot, Etiqueta en el salón de baile: un estudio de caso para sistemas multiagente regidos por normas, Actas del taller AAMAS06 sobre coordinación, organización, instituciones y normas en sistemas de agentes, LNCS 4386, Springer, 2006.
• J. Knottenbelt, KL Clark, Agentes relacionados con contratos, lógica computacional en sistemas multiagente (ed. F. Toni y P. Torroni), LNAI Vol. 3900, págs. 226-242, 2006.
• J. Ma, A. Russo, K. Broda, KL Clark, DARE: Un sistema para razonamiento abductivo distribuido, Revista de agentes autónomos y sistemas multiagente, 16(3), Springer, junio de 2008.
• PJ Robinson, KL Clark, Pedro: Un servidor de publicación/suscripción que utiliza tecnología Prolog, Software: práctica y experiencia, 40(4) pp 313–329, Wiley, 2010.
• KL Clark, PJ Robinson, Programación de agentes robóticos en TeleoR, Actas de la Conferencia Internacional sobre Robótica y Automatización, IEEE, mayo de 2015.
• K. Clark, B. Hengst, M. Pagnucco, D. Rajaratnam, P. Robinson, C. Sammut, M. Thielscher, Un marco para integrar representaciones simbólicas y subsimbólicas, Actas de las conferencias conjuntas internacionales sobre inteligencia artificial 2016, Nueva York, AAAI Press, julio de 2016.

Referencias

1. Jean-Louis Lassez; Gordon Plotkin , eds. (1991). Lógica computacional: ensayos en honor a Alan Robinson . Cambridge/MA: MIT Press. ISBN 0-262-12156-5.
2. "Resultados de los exámenes finales celebrados en junio de 1964". University of Durham Gazette Supplement . XI (Nueva serie): 7. 30 de septiembre de 1964 . Consultado el 26 de agosto de 2024 .
3. "Durham University MathSoc". Facebook . 9 de diciembre de 2015 . Consultado el 16 de mayo de 2019 . El profesor Clark se graduó en nuestro departamento en 1964 (Hatfield College), antes de emprender una carrera en inteligencia artificial y lógica computacional.
4. "Keith Clark CV" (PDF) . Junio ​​de 2018. Consultado el 16 de mayo de 2019 .
5. "La lógica de predicados como formalismo computacional". Universidad de Londres . Consultado el 9 de enero de 2013 .
6. "talks@bham : Control de reglas de agentes robóticos reactivos, comunicadores y dirigidos por objetivos". Universidad de Birmingham . Consultado el 16 de mayo de 2019 .
7. Keith L. Clark en el servidor de bibliografía DBLP
8. "Página de inicio de Keith Clark" . Consultado el 11 de mayo de 2023 .
9. "Semántica de lógica temporal para programas de agentes robóticos teleorreactivos". cse.cuhk.edu.hk . Universidad China de Hong Kong.

Enlaces externos

• Página de inicio de Keith Clark