Keith Leonard Clark (nacido el 29 de marzo de 1943) es profesor emérito en el Departamento de Computación del Imperial College de Londres , Inglaterra . [1] : 723
Keith L. Clark | |
---|---|
Nació | 1943 (77 a 78 años) |
Nacionalidad | británico |
alma mater | Universidad de Durham (BA, Matemáticas) Universidad de Cambridge (BA, Ciencias Morales) |
Conocido por | Negación como falla Programación lógica concurrente April Go! Agente |
Carrera científica | |
Campos | Lenguajes de programación basados en reglas de inteligencia artificial basados en lógica |
Instituciones | Imperial College London University of Queensland University of New South Wales |
Tesis | La lógica de predicados como formalismo computacional (1980) |
Asesor de doctorado | Robert Kowalski |
Estudiantes de doctorado | Ian Foster |
Sitio web | www |
Educación
Clark estudió Matemáticas en la Universidad de Durham ( Hatfield College ) y se graduó en 1964 con un título de primera clase . [2] [3] Clark luego continuó sus estudios en la Universidad de Cambridge , obteniendo una segunda licenciatura en Filosofía en 1966. [3] Obtuvo un doctorado. en 1980 de la Universidad de Londres con la tesis titulada La lógica de predicados como formalismo computacional . [4]
Carrera profesional
Clark se dedicó al Servicio Voluntario en el Extranjero de 1967 a 1968 como profesor de Matemáticas en una escuela de Sierra Leona . [3] Fue profesor de Ciencias de la Computación en el Departamento de Matemáticas del Queen Mary College de 1969 a 1975. [5] En 1975 se trasladó al Imperial College de Londres , donde se convirtió en Profesor Titular del Departamento de Ciencias de la Computación y se unió a Robert Kowalski en configurar el grupo de programación lógica . [5] De 1987 a 2009 fue profesor de lógica computacional en el Imperial College. [3]
Las contribuciones clave de Clark han estado en el campo de la programación lógica . [6] Su artículo de 1978 sobre la negación como fracaso fue posiblemente la primera formalización de una lógica no monótona . Su artículo de 1981 sobre un lenguaje relacional para la programación paralela introdujo la programación lógica concurrente. Este fue el paradigma de programación adoptado por el ambicioso proyecto de investigación japonés de quinta generación de la década de 1980 con el objetivo de producir procesamiento de conocimiento en computadoras paralelas. Fue seleccionado por su idoneidad para la ejecución paralela a pesar de que carecía de las características de representación del conocimiento natural de Prolog .
Desde 2010, Clark ha trabajado en estrecha colaboración con Peter Robinson de la Universidad de Queensland en la combinación de idiomas TeleoR / QuLog para programar agentes de comunicación multitarea que controlan opcionalmente dispositivos robóticos. TeleoR es un lenguaje de programación basado en reglas que es una extensión importante del lenguaje de procedimientos Teleo-Reactive TR propuesto por Nils Nilsson . TR es un descendiente de los planes STRIPS de tabla triangular jerárquica generalizada , el planificador del robot Shakey , el primer robot razonador. QuLog es un lenguaje híbrido de tipo flexible que combina programación lógica , programación funcional y programación de acciones de agentes multiproceso . TeleoR es una extensión sintáctica específica de la aplicación de QuLog.
Intereses de negocios
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 brindar consultoría sobre sistemas expertos y otras aplicaciones de programación lógica. [3] [7] El producto estrella de la empresa fue MacProlog. Tenía una interfaz de usuario que explotaba todas las primitivas de la interfaz gráfica de usuario del sistema operativo Mac, y primitivas que permitían construir aplicaciones personalizadas basadas en Prolog con interfaces específicas de la aplicación. Clark también ha actuado como consultor de IBM , Hewlett-Packard y Fujitsu, entre otras empresas. [3]
Publicaciones Seleccionadas
- KL Clark, D. Cowell, Programas, máquinas y computación , McGraw-Hill , Londres, 1976.
- KL Clark, SA. Tarnlund, Teoría de datos y programas de primer orden, Proc. Congreso IFIP , Toronto, 939–944 págs., 1977.
- KL Clark, Negation as failure, Logic and Data Bases (eds. Gallaire & Minker) Plenum Press , Nueva York, 293–322 pp, 1978. (También en Readings in Nonmonotonic Reasoning, (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), Logic Programming , 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 funcional y lógica, 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 del proceso del agente, 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, Proceedings of International WS on Agent Theories, Architectures and Languages 98, Intelligent Agents V, (ed. JP Muler et al.), Springer-Verlag, LNAI 1555, 1999 (premio al mejor trabajo).
- KL Clark, Lenguajes de programación lógica, Enciclopedia de la informática , (eds. A. Ralston, E. Reilly, D. Hemmendinger), págs. 1024–1031, Nature Publishing Group , 2000.
- KL Clark y F. McCabe, ¡adelante! - Un lenguaje de programación de múltiples paradigmas para implementar agentes de subprocesos múltiples, Annals of Mathematics and Artificial Intelligence , 41 (2–4): 171–206, agosto de 2004.
- T. Hong y KL Clark, Towards a Universal Web Wrapper, Actas de la 17a Conferencia Internacional FLAIRS, AAAI Press, 2004.
- KL Clark y F. McCabe, Esquema de ontología para un almacén de creencias de agentes, 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, Computational Logic in Multi-agent systems (ed. F Toni y P. Torroni), LNAI Vol. 3900, págs. 186–205, 2006.
- S. Coffey y KL Clark, A Hybrid, Teleo-Reactive Architecture for Robot Control, Proceedings of the Second International Workshop on Multi-Agent Robotic Systems (MARS-06), 2006.
- D. Gaertner, KL Clark, M. Sergot, Ballroom etiqueta: a case study for norm-goberned multi-agent systems, Proceedings of AAMAS06 Workshop on Coordination, Organization, Institutions and Norms in agent systems, LNCS 4386, Springer, 2006.
- J. Knottenbelt, KL Clark, Agentes relacionados con contratos, Lógica computacional en sistemas de agentes múltiples (ed. F Toni y P. Torroni), LNAI Vol. 3900, págs. 226–242, 2006.
- J. Ma, A. Russo, K. Broda, KL Clark, DARE: A System for Distributed Abductive Reasoning, Autonomous Agents and Multi-agent Systems Journal, 16 (3), Springer, junio de 2008.
- PJ Robinson, KL Clark, Pedro: Un servidor de publicación / suscripción que utiliza tecnología Prolog, práctica y experiencia de software, 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, A Framework for Integrating Symbolic and Sub-Symbolic Representations, Proceedings of International Joint Conferences on Artificial Intelligence 2016, Nuevo York, AAAI Press, julio de 2016.
Referencias
- ^ 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.
- ^ "MathSoc de la Universidad de Durham" . Facebook . 9 de diciembre de 2015 . Consultado el 16 de mayo de 2019 .
El profesor Clark se graduó de nuestro departamento en 1964 (Hatfield College), antes de embarcarse en una carrera en inteligencia artificial y lógica computacional.
- ^ a b c d e f "CV de Keith Clark" (PDF) . Junio de 2018 . Consultado el 16 de mayo de 2019 .
- ^ "La lógica de predicados como formalismo computacional" . Universidad de Londres . Consultado el 9 de enero de 2013 .
- ^ a b "Habla @ bham: Control de reglas de agentes robóticos comunicantes, reactivos y dirigidos a objetivos" . Universidad de Birmingham . Consultado el 16 de mayo de 2019 .
- ^ Keith L. Clark en elservidor de bibliografía DBLP
- ^ "Semántica de lógica temporal para programas de agentes robóticos telereactivos" . cse.cuhk.edu.hk . Universidad China de Hong Kong.
enlaces externos
- Página de inicio de Keith Clark