Keith Clark (computer scientist)

Keith Leonard Clark (born 29 March 1943) is an Emeritus Professor in the Department of Computing at Imperial College London, England.[1]:723

Keith L. Clark
Born1943 (age 7778)
NationalityBritish
Alma materDurham University (BA, Maths)
Cambridge University (BA, Moral Sciences)
Known forNegation as failure
Concurrent logic programming
April
Go! Agent
Scientific career
FieldsLogic based Artificial Intelligence
Rule based programming languages
InstitutionsImperial College London
University of Queensland
University of New South Wales
ThesisPredicate Logic as a Computational Formalism (1980)
Doctoral advisorRobert Kowalski
Doctoral studentsIan Foster
Websitewww.doc.ic.ac.uk/~klc/

Education

Clark studied Mathematics at Durham University (Hatfield College), graduating in 1964 with a first-class degree.[2][3] Clark then continued his studies at Cambridge University, taking a second undergraduate degree in Philosophy in 1966.[3] He earned a Ph.D. in 1980 from the University of London with thesis titled Predicate logic as a computational formalism.[4]

Career

Clark undertook Voluntary Service Overseas from 1967 to 1968 as a teacher of Mathematics at a school in Sierra Leone.[3] He lectured in Computer Science at the Mathematics Department of Queen Mary College from 1969 to 1975.[5] In 1975 he moved to Imperial College London, where he became a Senior Lecturer in the Department of Computer Science and joined Robert Kowalski in setting up the Logic programming group.[5] From 1987 to 2009 he was Professor of Computational Logic at Imperial College.[3]

Clark's key contributions have been in the field of logic programming.[6] His 1978 paper on negation as failure was arguably the first formalisation of a non-monotonic logic. His 1981 paper on a relational language for parallel programming introduced concurrent logic programming. This was the programming paradigm adopted by the ambitious 1980s Japanese Fifth Generation Research Project with the goal of producing knowledge processing parallel computers. It was selected for its suitability for parallel execution even though it lacked the natural knowledge representation features of Prolog.

Since 2010 Clark has worked closely with Peter Robinson of the University of Queensland on the TeleoR/QuLog language combination for programming multi-tasking communicating agents optionally controlling robotic devices. TeleoR is a rule based programming language that is a major extension of the Teleo-Reactive Procedures language T-R proposed by Nils Nilsson. T-R is a descendant of generalised hierarchical triangular table STRIPS plans, the planner of Shakey the robot, the first reasoning robot. QuLog is a flexibly typed hybrid language combining logic programming, functional programming and multi-threaded agent action programming. TeleoR is an application specific syntactic extension of QuLog.

Business Interests

In 1980, with colleague Frank McCabe, he founded an Imperial College spin-off company, Logic Programming Associates, to develop and market Prolog systems for micro-computers (micro-Prolog) and to provide consultancy on expert systems and other logic programming applications.[3][7] The company's star product was MacProlog. It had had a user interface exploiting all the graphic user interface primitives of the Mac's OS, and primitives allowing bespoke Prolog based applications to be built with application specific interfaces. Clark has also acted as a Consultant to IBM, Hewlett-Packard and Fujitsu among other companies.[3]

Selected publications

  • K. L. Clark, D. Cowell, Programs, Machines and Computation, McGraw-Hill, London, 1976.
  • K. L. Clark, S-A. Tarnlund, A first order theory of data and programs, Proc. IFIP Congress, Toronto, 939–944 pp, 1977.
  • K. L. Clark, Negation as failure, Logic and Data Bases (eds. Gallaire & Minker) Plenum Press, New York, 293–322 pp, 1978. (Also in Readings in Nonmonotonic Reasoning, (ed. M. Ginsberg), Morgan Kaufmann, 311–325, 1987.)
  • K. L. Clark, S. Gregory, A relational language for parallel programming, Proc. ACM Conference on Functional Languages and Computer Architecture, ACM, New York, 171–178 pp, 1981. (Also in Concurrent Prolog, (ed. E Shapiro), MIT Press, 9–26 pp, 1987.)
  • K. L. Clark, S-A. Tarnlund (eds), Logic Programming, Academic Press, London, 1982.
  • K. L. Clark, F. G. McCabe, micro-PROLOG: Programming in Logic, Prentice-Hall International, 1984.
  • K. L. Clark, I. Foster, A Declarative Environment for Concurrent Logic Programming, Proceedings of Colloquium on Functional and Logic Programming and Specification, LNCS 250, Springer-Verlag, 212 - 242 pp, 1987
  • K. L. Clark, Logic Programming Schemes and their Implementations, Computational Logic (ed Lassez and Plotkin), MIT Press, 1991.
  • F.G. McCabe, K. L. Clark, April — Agent process interaction language, in Intelligent Agents, (ed N. Jennings, M. Wooldridge), LNAI, Vol. 890, Springer-Verlag, 1995.
  • N. Skarmeas, K. L. Clark, Content based routing as the basis for intra-agent communication, Proceedings of International WS on Agent Theories, Architectures and Languages 98, Intelligent Agents V, (ed. J. P. Muler et al.),Springer-Verlag, LNAI 1555, 1999 (best paper award).
  • K. L. Clark, Logic Programming Languages, Encyclopedia of Computer Science, (eds. A. Ralston, E. Reilly, D. Hemmendinger), pp 1024–1031, Nature Publishing Group, 2000.
  • K. L. Clark and F. McCabe, Go! — A Multi-paradigm Programming Language for Implementing Multi-threaded Agents, Annals of Mathematics and Artificial Intelligence, 41(2–4):171–206, August 2004.
  • T. Hong and K. L. Clark, Towards a Universal Web Wrapper, Proceedings of the 17th International FLAIRS Conference, AAAI Press, 2004.
  • K. L. Clark and F. McCabe, Ontology schema for an agent belief store, International Journal of Human-Computer Studies, 65(7), July 2007, Pages 640–658.
  • K. L. Clark, P. Robinson, S. Zappacosta Amboldi, Multi-threaded communicating agents in Qu-Prolog, Computational Logic in Multi-agent systems (ed. F Toni and P. Torroni), LNAI Vol. 3900, pp 186–205, 2006.
  • S. Coffey and K. L. 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, K. L. Clark, M. Sergot, Ballroom etiquette: a case study for norm-governed multi-agent systems, Proceedings of AAMAS06 Workshop on Coordination, Organization, Institutions and Norms in agent systems, LNCS 4386, Springer, 2006.
  • J. Knottenbelt, K. L. Clark, Contract Related Agents, Computational Logic in Multi-agent systems (ed F Toni and P. Torroni), LNAI Vol. 3900, pp 226–242, 2006.
  • J. Ma, A. Russo, K. Broda, K. L. Clark, DARE: A System for Distributed Abductive Reasoning, Autonomous Agents and Multi-agent Systems Journal, 16(3), Springer, June, 2008.
  • P. J. Robinson, K. L. Clark, Pedro: A Publish/Subscribe Server Using Prolog Technology, Software Practice and Experience, 40(4) pp 313–329, Wiley, 2010.
  • K. L. Clark, P. J. Robinson, Robotic agent programming in TeleoR, Proceedings of International Conference on Robotics and Automation, IEEE, May 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, New York, AAAI Press, July 2016.


References

  1. Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 0-262-12156-5.
  2. "Durham University MathSoc". Facebook. 9 December 2015. Retrieved 16 May 2019. Prof Clark graduated from our department in 1964 (Hatfield College), before embarking on a career in artificial intelligence and computational logic
  3. "Keith Clark CV" (PDF). June 2018. Retrieved 16 May 2019.
  4. "Predicate logic as a computational formalism". University of London. Retrieved 9 January 2013.
  5. "talks@bham : Rule Control of Goal Directed, Reactive, Communicating Robotic Agents". Birmingham University. Retrieved 16 May 2019.
  6. Keith L. Clark at DBLP Bibliography Server
  7. "Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs". cse.cuhk.edu.hk. Chinese University of Hong Kong.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.