Keith Clark (informatyk)

Keitha L. Clarka
Urodzić się	1943 (wiek 79–80)
Narodowość	brytyjski
Alma Mater	Durham University (licencjat, matematyka) Cambridge University (licencjat, nauki moralne)
Znany z	Negacja jako awaria Programowanie logiki współbieżnej April Go! Agent
Kariera naukowa
Pola	Oparta na logice sztuczna inteligencja Języki programowania oparte na regułach
Instytucje	Imperial College London University of Queensland University of New South Wales
Praca dyplomowa	Logika predykatów jako formalizm obliczeniowy (1980)
Doradca doktorski	Roberta Kowalskiego
Doktoranci	Iana Fostera
Strona internetowa	www .doc .ic .ac .uk /~klc /

Keith Leonard Clark (urodzony 29 marca 1943) jest emerytowanym profesorem na Wydziale Informatyki w Imperial College London , Anglia .

Edukacja

Clark studiował matematykę na Durham University ( Hatfield College ), którą ukończył w 1964 roku z dyplomem pierwszej klasy . Następnie Clark kontynuował studia na Uniwersytecie Cambridge , uzyskując drugi stopień licencjata z filozofii w 1966 roku. Uzyskał stopień doktora. w 1980 na Uniwersytecie Londyńskim z pracy zatytułowanej Logika predykatów jako formalizm obliczeniowy .

Kariera

Clark podjął wolontariat za granicą od 1967 do 1968 jako nauczyciel matematyki w szkole w Sierra Leone . Wykładał informatykę na Wydziale Matematyki Queen Mary College od 1969 do 1975. W 1975 przeniósł się do Imperial College w Londynie , gdzie został starszym wykładowcą na Wydziale Informatyki i wraz z Robertem Kowalskim założył grupę programistów logicznych . Od 1987 do 2009 był profesorem logiki obliczeniowej w Imperial College.

Kluczowy wkład Clarka dotyczył programowania logicznego . Jego artykuł z 1978 roku na temat negacji jako porażki był prawdopodobnie pierwszą formalizacją logiki niemonotonicznej . Jego artykuł z 1981 roku na temat języka relacyjnego do programowania równoległego wprowadził programowanie w logice współbieżnej. Był to paradygmat programowania przyjęty w ambitnym japońskim projekcie badawczym piątej generacji z lat 80., którego celem było wyprodukowanie komputerów równoległych przetwarzających wiedzę. Został wybrany ze względu na przydatność do wykonywania równoległego, mimo że brakowało mu funkcji reprezentacji wiedzy naturalnej Prologu .

Od 2010 roku Clark ściśle współpracuje z Peterem Robinsonem z University of Queensland nad kombinacją języków TeleoR/QuLog do programowania wielozadaniowych agentów komunikacyjnych, opcjonalnie kontrolujących roboty. TeleoR to język programowania oparty na regułach, który jest głównym rozszerzeniem języka procedur telereaktywnych TR zaproponowanego przez Nilsa Nilssona . TR jest potomkiem uogólnionych, hierarchicznych, trójkątnych STRIPS , planistą robota Shakey , pierwszego rozumującego robota. QuLog to elastycznie typowany język hybrydowy łączący programowanie logiczne , programowanie funkcyjne oraz wielowątkowe programowanie akcji agentów. TeleoR to specyficzne dla aplikacji rozszerzenie składniowe QuLog.

Zainteresowania biznesowe

W 1980 roku, wraz z kolegą Frankiem McCabe, założył firmę spin-off Imperial College, Logic Programming Associates , aby rozwijać i sprzedawać systemy Prolog dla mikrokomputerów (micro-Prolog) oraz zapewniać doradztwo w zakresie systemów eksperckich i innych aplikacji do programowania logiki. Sztandarowym produktem firmy był MacProlog. Miał interfejs użytkownika wykorzystujący wszystkie prymitywy graficznego interfejsu użytkownika systemu operacyjnego Mac oraz prymitywy umożliwiające tworzenie niestandardowych aplikacji opartych na Prologu z interfejsami specyficznymi dla aplikacji. Clark działał również jako konsultant IBM , Hewlett-Packard i Fujitsu wśród innych firm.

Wybrane publikacje

• KL Clark, D. Cowell, Programy, maszyny i obliczenia , McGraw-Hill , Londyn, 1976.
• KL Clark, SA. Tarnlund, Teoria danych i programów pierwszego rzędu, Proc. Kongres IFIP , Toronto, 939–944 s., 1977.
• KL Clark, Negation as failure, Logic and Data Bases (red. Gallaire & Minker) Plenum Press , New York, 293–322 s., 1978. (Również w Readings in Nonmonotononic Reasoning, (red. M. Ginsberg), Morgan Kaufmann , 311-325, 1987.)
• KL Clark, S. Gregory, język relacyjny do programowania równoległego, Proc. ACM Conference on Functional Languages ​​and Computer Architecture , ACM, Nowy Jork, 171–178 s., 1981. (Również w Concurrent Prolog, (red. E Shapiro), MIT Press, 9–26 s., 1987.)
• KL Clark, SA. Tarnlund (red.), Programowanie logiczne , Academic Press , Londyn, 1982.
• KL Clark, FG McCabe, mikro-PROLOG: Programowanie w logice , Prentice-Hall International, 1984.
• KL Clark, I. Foster, deklaratywne środowisko dla współbieżnego programowania logicznego, Proceedings of Colloquium on Functional and Logic Programming and Specification, LNCS 250, Springer-Verlag, 212 - 242 s., 1987
• KL Clark, Logiczne schematy programowania i ich implementacje, Computational Logic (red. Lassez i Plotkin), MIT Press, 1991.
• FG McCabe, KL Clark, kwiecień — Język interakcji agenta w procesie Intelligent Agents , (red. N. Jennings, M. Wooldridge), LNAI , tom. 890, Springer-Verlag , 1995.
• N. Skarmeas, KL Clark, Trasowanie oparte na treści jako podstawa komunikacji wewnątrzagentowej, Proceedings of International WS on Agent Theories, Architectures and Languages ​​98, Intelligent Agents V, (red. JP Muler et al.), Springer-Verlag, LNAI 1555, 1999 (nagroda za najlepszy artykuł).
• KL Clark, Logic Programming Languages, Encyclopedia of Computer Science , (red. A. Ralston, E. Reilly, D. Hemmendinger), s. 1024–1031, Nature Publishing Group , 2000.
• KL Clark i F. McCabe, idź! — Wieloparadygmatowy język programowania do wdrażania agentów wielowątkowych, Annals of Mathematics and Artificial Intelligence , 41 (2–4): 171–206, sierpień 2004.
• T. Hong i KL Clark, Towards a Universal Web Wrapper, Proceedings of the 17th International FLAIRS Conference, AAAI Press, 2004.
• KL Clark i F. McCabe, Schemat ontologii dla magazynu przekonań agentów, International Journal of Human-Computer Studies, 65 (7), lipiec 2007, strony 640–658.
• KL Clark, P. Robinson, S. Zappacosta Amboldi, Wielowątkowi agenci komunikacji w Qu-Prolog, Computational Logic in Multi-agent systems (red. F Toni i P. Torroni), LNAI Cz. 3900, s. 186–205, 2006.
• S. Coffey i 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, Etykieta Ballroom: studium przypadku dla systemów wieloagentowych zarządzanych normami, Proceedings of AAMAS06 Workshop on Coordination, Organization, Institutions and Norms in agent systems, LNCS 4386, Springer, 2006.
• J. Knottenbelt, KL Clark, Agentów kontraktowych, Logika obliczeniowa w systemach wieloagentowych (red. F Toni i P. Torroni), LNAI Cz. 3900, s. 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, czerwiec 2008.
• PJ Robinson, KL Clark, Pedro: Serwer publikowania/subskrybowania przy użyciu technologii Prolog, Oprogramowanie: praktyka i doświadczenie, 40 (4) s. 313–329, Wiley, 2010.
• KL Clark, PJ Robinson, Programowanie agentów robotów w TeleoR, Proceedings of International Conference on Robotics and Automation, IEEE, maj 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, lipiec 2016.

Linki zewnętrzne

• Strona główna Keitha Clarka