Keith Clark (počítačový vědec) - Keith Clark (computer scientist)

Keith L. Clark
narozený1943 (věk 76–77)
Národnostbritský
Alma materDurham University (BA, matematika)
Cambridge University (BA, Morální vědy)
Známý jakoNegace jako selhání
Souběžné logické programování
duben
Jít! Činidlo
Vědecká kariéra
PoleLogická umělá inteligence
Programovací jazyky založené na pravidlech
InstituceImperial College London
University of Queensland
University of New South Wales
TezePredikátová logika jako výpočetní formalismus  (1980)
Doktorský poradceRobert Kowalski
DoktorandiIan Foster
webová stránkawww.doc.ic.ac.Spojené království/ ~ klc/

Keith Leonard Clark (narozen 29. března 1943) je emeritní profesor v Katedra výpočetní techniky na Imperial College London, Anglie.[1]:723

Vzdělávání

Clark studoval matematiku na Durham University (Hatfield College ), kterou ukončil v roce 1964 a prvotřídní titul.[2][3] Clark poté pokračoval ve studiu na Cambridge University, v roce 1966 získal druhý vysokoškolský titul z filozofie.[3] Získal a Ph.D. v roce 1980 od University of London s názvem práce Predikátová logika jako výpočetní formalismus.[4]

Kariéra

Clark se zavázal Dobrovolná služba v zámoří v letech 1967-1968 jako učitel matematiky na škole v Liberci Sierra Leone.[3] Přednášel informatiku na katedře matematiky v Brně Queen Mary College od roku 1969 do roku 1975.[5] V roce 1975 se přestěhoval do Imperial College London, kde se stal odborným asistentem na katedře výpočetní techniky a nastoupil Robert Kowalski při zřizování Logické programování skupina.[5] V letech 1987 až 2009 působil jako profesor výpočetní logiky na Imperial College.[3]

Clarkovy klíčové příspěvky byly v oblasti logické programování.[6] Jeho papír z roku 1978 negace jako selhání byl pravděpodobně první formalizace a nemonotónní logika. Jeho referát o relačním jazyce pro paralelní programování z roku 1981 představil souběžné logické programování. Toto bylo paradigma programování přijaté ambiciózním japonským výzkumným projektem páté generace z 80. let s cílem produkovat paralelní počítače pro zpracování znalostí. Byl vybrán pro svou vhodnost pro paralelní provádění, přestože postrádal přirozené vlastnosti reprezentace znalostí Prolog.

Od roku 2010 Clark úzce spolupracoval s Peterem Robinsonem z University of Queensland na jazykové kombinaci TeleoR / QuLog pro programování víceúčelových komunikačních agentů volitelně ovládajících robotická zařízení. TeleoR je programovací jazyk založený na pravidlech, který je hlavním rozšířením jazyka Tele-Reactive Procedures jazyka T-R navrženého Nils Nilsson. T-R je potomkem zobecněné hierarchické trojúhelníkové tabulky PÁSKY plány, plánovač Zatřesený robot, první uvažovací robot. QuLog je kombinace flexibilně psaného hybridního jazyka logické programování, Funkcionální programování a vícevláknové programování akce agenta. TeleoR je aplikačně specifické syntaktické rozšíření QuLog.

Obchodní zájmy

V roce 1980 založil s kolegou Frankem McCabem spin-off společnost Imperial College, Logičtí programovací spolupracovníci, rozvíjet a prodávat Prolog systémy pro mikropočítače (micro-Prolog) a poskytovat poradenství ohledně expertních systémů a dalších aplikací logického programování.[3][7] Hvězdným produktem společnosti byl MacProlog. Mělo uživatelské rozhraní využívající všechny grafické primitivy uživatelského rozhraní operačního systému Mac a primitivy umožňující vytvářet aplikace založené na Prologu s aplikačně specifickými rozhraními. Clark také působil jako konzultant pro IBM, Hewlett Packard a Fujitsu mezi jinými společnostmi.[3]

Vybrané publikace

  • K.L. Clark, D. Cowell, Programy, stroje a výpočet, McGraw-Hill, Londýn, 1976.
  • K. L. Clark, S-A. Tarnlund, teorie prvního řádu dat a programů, Proc. Kongres IFIP, Toronto, 939–944 stran, 1977.
  • K. L. Clark, Negace jako selhání, Logika a databáze (vyd. Gallaire a Minker) Plenum Press, New York, 293–322 s., 1978. (Také v Readings in Nonmonotonic Reasoning, (ed. M. Ginsberg), Morgan Kaufmann, 311–325, 1987.)
  • K. L. Clark, S. Gregory, relační jazyk pro paralelní programování, Proc. Konference ACM o funkčních jazycích a počítačové architektuře, ACM, New York, 171–178 s., 1981. (Také v souběžném Prologu, (ed. E Shapiro), MIT Press, 9–26 s., 1987.)
  • K. L. Clark, S-A. Tarnlund (eds), Logické programování, Akademický tisk, Londýn, 1982.
  • K. L. Clark, F. G. McCabe, micro-PROLOG: Programování v logice, Prentice-Hall International, 1984.
  • K. L. Clark, I. Foster, Deklarativní prostředí pro souběžné logické programování, Sborník kolokvia o funkčním a logickém programování a specifikaci, LNCS 250, Springer-Verlag, 212 - 242 pp, 1987
  • K. L. Clark, Schémata logického programování a jejich implementace, Výpočetní logika (ed. Lassez a Plotkin), MIT Press, 1991.
  • F.G. McCabe, K. L. Clark, duben - jazyk interakce s procesem agentů, in Inteligentní agenti, (ed. N. Jennings, M. Wooldridge), LNAI, Sv. 890, Springer-Verlag, 1995.
  • N. Skarmeas, KL Clark, směrování založené na obsahu jako základ pro komunikaci mezi agenty, Proceedings of International WS on Agent Theories, Architectures and Languages ​​98, Intelligent Agents V, (ed. JP Muler et al), Springer-Verlag, LNAI 1555, 1999 (cena za nejlepší papír).
  • K. L. Clark, Logické programovací jazyky, Encyclopedia of Computer Science, (vyd. A. Ralston, E. Reilly, D. Hemmendinger), str. 1024–1031, Nature Publishing Group, 2000.
  • K. L. Clark a F. McCabe, jděte! - Programovací jazyk pro více paradigmatů pro implementaci agentů s více vlákny, Annals of Mathematics and Artificial Intelligence, 41 (2–4): 171–206, srpen 2004.
  • T. Hong a K. L. Clark, Towards a Universal Web Wrapper, Proceedings of the 17.th International FLAIRS Conference, AAAI Press, 2004.
  • K. L. Clark a F. McCabe, schéma ontologie obchodu s vírou agentů, International Journal of Human-Computer Studies, 65 (7), červenec 2007, strany 640-658.
  • K. L. Clark, P. Robinson, S. Zappacosta Amboldi, multi-threaded communications agents in Qu-Prolog, Computational Logic in Multi-agent systems (ed. F Toni and P. Torroni), LNAI Vol. 3900, s. 186-205, 2006.
  • S. Coffey a 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 etiketa: případová studie pro normou řízené multiagentní systémy, Proceedings of AAMAS06 Workshop on Coordination, Organization, Institutions and Norms in agent systems, LNCS 4386, Springer, 2006.
  • J. Knottenbelt, K. L. Clark, smluvní agenti, výpočetní logika v multiagentních systémech (ed. F Toni a P. Torroni), LNAI sv. 3900, str. 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, červen 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, programování robotických agentů v TeleoR, Proceedings of International Conference on Robotics and Automation, IEEE, květen 2015.
  • K. Clark, B. Hengst, M. Pagnucco, D. Rajaratnam, P. Robinson, C. Sammut, M. Thielscher, A Framework for Integrating Symbolic and Sub-Symbolic Reprezentations, Proceedings of International Joint Conferences on Artificial Intelligence 2016, New York, AAAI Press, červenec 2016.


Reference

  1. ^ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Výpočetní logika - Pokusy o čest Alan Robinson. Cambridge / MA: MIT Press. ISBN  0-262-12156-5.
  2. ^ „Durham University MathSoc“. Facebook. 9. prosince 2015. Citováno 16. května 2019. Prof Clark absolvoval naše oddělení v roce 1964 (Hatfield College), poté se vydal na dráhu umělé inteligence a výpočetní logiky
  3. ^ A b C d E F „Životopis Keitha Clarka“ (PDF). Červen 2018. Citováno 16. května 2019.
  4. ^ „Predikátová logika jako výpočetní formalismus“. University of London. Citováno 9. ledna 2013.
  5. ^ A b „talks @ bham: Řízení pravidel cíle řízené, reaktivní a komunikující robotické agenty“. Birmingham University. Citováno 16. května 2019.
  6. ^ Keith L. Clark na DBLP Bibliografický server Upravte to na Wikidata
  7. ^ „Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programmes“. cse.cuhk.edu.hk. Čínská univerzita v Hongkongu.

externí odkazy