키스 클라크(컴퓨터 과학자)

Keith Clark (computer scientist)
키스 클라크
태어난1943년 (78-79세)
국적영국의
모교더럼 대학교 (BA, 수학)
케임브리지 대학교 (BA, 도덕 과학)
로 알려져 있다.실패로 부정을 나타냄
동시 로직 프로그래밍
4월
가! 요원
과학 경력
필드논리 기반 인공지능
규칙 기반 프로그래밍 언어
기관임페리얼 칼리지 런던
퀸즐랜드 대학교
뉴사우스웨일스 대학교
논문계산 형식주의로서의 술어 논리학 (1980)
박사학위 자문위원로버트 코왈스키
박사과정 학생이언 포스터
웹사이트www.doc.ic.ac.uk/~klc/

키스 레너드 클라크(Keith Leonard Clark, 1943년 3월 29일생)는 영국 임페리얼 칼리지 런던 컴퓨터학과 명예교수다.[1]: 723

교육

클라크는 더럼 대학교(해트필드 칼리지)에서 수학을 공부했고, 1964년 1급 학위를 받고 졸업했다.[2][3]그 후 클라크는 케임브리지 대학에서 공부를 계속했으며, 1966년에 철학에서 두 번째 학부 학위를 받았다.[3]1980년 런던 대학에서 연산 형식주의로 술어 논리학이라는 논문으로 박사학위를 받았다.[4]

경력

클라크는 1967년부터 1968년까지 시에라리온의 한 학교에서 수학 교사로 해외봉사활동을 했다.[3]그는 1969년부터 1975년까지 퀸 메리 칼리지의 수학과에서 컴퓨터 과학을 강의했다.[5]1975년에 그는 임페리얼 칼리지 런던으로 옮겨가 컴퓨터 과학과의 수석 강사가 되었고 로직 프로그래밍 그룹을 설립하는 데 로버트 코왈스키와 합류했다.[5]1987년부터 2009년까지 그는 임페리얼 칼리지의 계산 논리학 교수였다.[3]

클라크의 주요 기여는 논리 프로그래밍 분야에 있었다.[6]1978년 그의 실패에 대한 논문은 논단조적 논리의 첫 공식화였다.병렬 프로그래밍을 위한 관계 언어에 대한 그의 1981년 논문은 동시 논리 프로그래밍을 도입했다.이것이 1980년대 야심찬 일본 제5세대 연구 프로젝트가 지식 처리 병렬 컴퓨터 생산을 목표로 채택한 프로그래밍 패러다임이었다.프롤로그의 자연지식 표현 기능이 부족함에도 병행 실행 적합성을 인정받아 선정했다.

2010년부터 클라크는 선택적으로 로봇 기기를 제어하는 멀티태스킹 통신 요원들을 프로그래밍하기 위해 TeleoR/QuLog 언어 조합에서 퀸즐랜드 대학의 피터 로빈슨과 긴밀히 협력해왔다.텔레오R은 닐스 닐슨이 제안한 텔레오 리액티브 프로시저 언어 T-R의 주요 확장인 규칙 기반 프로그래밍 언어다.T-R은 최초의 추리 로봇인 Shakey 로봇의 설계자인 일반화된 계층형 삼각 테이블 SLIP 계획의 후예다.QuLog는 논리 프로그래밍, 기능 프로그래밍 및 다중 스레드 에이전트 액션 프로그래밍을 결합한 유연하게 타이핑된 하이브리드 언어다.TeleoR은 QuLog의 애플리케이션별 구문 확장이다.

비즈니스 관심사

1980년 동료인 프랭크 맥케이브와 함께 임페리얼 칼리지 스핀오프 회사인 로직프로그래밍 어소시에이츠를 설립하여 마이크로컴퓨터(마이크로프로로그)용 프로로그 시스템을 개발·마케팅하고 전문가 시스템 및 기타 로직프로그래밍 어플리케이션에 대한 컨설팅을 제공하였다.[3][7]이 회사의 스타 제품은 맥프로로그였다.그것은 Mac OS의 모든 그래픽 사용자 인터페이스 원시성을 이용하는 사용자 인터페이스를 가지고 있었고, 응용 프로그램별 인터페이스로 맞춤형 Prolog 기반 애플리케이션을 구축할 수 있는 원시 인터페이스를 가지고 있었다.클라크는 IBM, 휴렛팩커드, 후지쯔의 컨설턴트 역할도 했다.[3]

선택한 게시물

  • K. L. 클라크, D.1976년 런던 맥그로힐의 코웰, 프로그램, 기계 및 연산
  • K. L. 클라크, S.A.Tarnnund, 데이터 및 프로그램의 첫 번째 순서 이론, Proc. IFIP Congress, Toronto, 939–944 pp, 1977.
  • K. L. Clark, 실패로서의 부정, 논리 및 데이터 베이스 (eds. Gallaire & Minker) 플레넘 프레스, 뉴욕, 293–322 pp, 1978. (또한 비모노토닉 추론의 판독, (ed. M. Ginsberg), 모건 카우프만, 311–325, 1987).
  • K. L. 클라크, S. 그레고리, 병렬 프로그래밍을 위한 관계 언어, Proc. 기능 언어 및 컴퓨터 아키텍처에 관한 ACM Conference of Functional Language and Computer Architecture, New York, 171–178 pp, 1981. (Concurrent Prolog에서도, (ed)).E 샤피로), MIT 프레스, 1987년 9–26 pp)
  • K. L. 클라크, S.A.Tarnlund (eds), Logic Programming, Academic Press, 1982년 런던.
  • K. L. Clark, F. G. McCabe, micro-PROLOG: Programming in Logic, Fratice-Hall International, 1984.
  • K. L. Clark, I.Foster, 동시 로직 프로그래밍을 위한 선언적 환경, 기능 및 로직 프로그래밍과 사양에 관한 콜로키움의 진행, LNCS 250, Springer-Verlag, 212 - 242 ppp, 1987
  • K. L. Clark, Logic Programming Scheme and the Implementation, Computing Logic (ed Lassez and Plotkin), MIT Press, 1991.
  • F.G. McCabe, K. L. Clark, 4월 — 에이전트 프로세스 상호 작용 언어, Intelligent Agent, (ED N. Jennings, M. Wowoldridge), LNAI, Vol. 890, Springer-Verlag, 1995.
  • N. Skarmeas, K. L. Clark, 에이전트 내 커뮤니케이션의 기초로서 컨텐츠 기반 라우팅, 에이전트 이론, 아키텍처 및 언어 98에 관한 국제 WS의 Processions of International WS, Intelligent Agent V, (ed. P. Muler et al.), 스프링거-Verlag, LNAI 1555, 1999(최우수 논문상).
  • K. L. 클라크, 로직 프로그래밍 언어, 컴퓨터 과학 백과사전, (eds. A. Ralston, E. Rilly, D.)Hemmender), 페이지 1024–1031, 자연 출판 그룹, 2000.
  • K. L. 클라크와 F.McCabe, Go! — 다중 스레드 에이전트, 수학 및 인공지능 연보 구현을 위한 다중 패러다임 프로그래밍 언어, 41(2–4):171–206, 2004년 8월.
  • T. Hong과 K. L. Clark, Universal Web Wrapper를 향해, 2004년 제17회 국제 FLARE 회의의 진행, AAAI 프레스, 2004.
  • K. L. 클라크와 F.McCabe, 에이전트 믿음 스토어의 온톨로지 스키마, International Journal of Human-Computer Studies, 65(7), 2007년 7월, 640–658페이지.
  • K. L. Clark, P. Robinson, S. Zappacosta Amboldi, Qu-Prolog의 멀티스레드 통신 에이전트, Multi-에이전트 시스템의 계산 논리(ed)F토니와 P.Torroni), LNAI 3900, 페이지 186–205, 2006.
  • S. Coffey와 K. L. Clark, A Hybrid, Teleo-Reactive Architecture for Robot Control, Procedures on MARS-06(Multi-Agent Robotic Systems) 2006.
  • D. 게르트너, K. L. 클라크, M. Sergot, 볼룸 에티켓: 규범 통치를 위한 다중 에이전트 시스템의 사례 연구, 에이전트 시스템의 조정, 조직, 제도 및 규범에 관한 AAMS06 워크숍, LNCS 4386, 스프링거, 2006.
  • J. Notten벨트, K. L. Clark, 계약 관련 에이전트, 다중 에이전트 시스템의 연산 논리(ed F Toni 및 P)Torroni), LNAI 3900, 페이지 226–242, 2006.
  • J. 마, A.루소, K. 브로다, K. L. 클라크, DARE: 분산 납치 추리 시스템, 자율 에이전트 및 다중 에이전트 시스템 저널, 16(3), 스프링거, 2008년 6월.
  • P. J. Robinson, K. L. Clark, Pedro: Prolog 기술을 사용한 서버 게시/구독, 소프트웨어: 연습 및 경험, 40(4) 페이지 313–329, Wiley, 2010.
  • K. L. Clark, P. J. Robotic 에이전트 프로그래밍, TeleoR, Processions of International Conference of Robotics and Automation, IEEE, 2015년 5월.
  • K. 클라크, B.Hengst, M. Pagnucco, D.라자라트남, P. 로빈슨, C. 삼무트, M.Thielscher, Sub-Symbolic 표현 통합 프레임워크, 2016년 인공지능 국제 공동 회의의 진행, 뉴욕, AAAI 프레스, 2016년 7월.

참조

  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. ^ a b c d e f "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. ^ a b "talks@bham : Rule Control of Goal Directed, Reactive, Communicating Robotic Agents". Birmingham University. Retrieved 16 May 2019.
  6. ^ DBLP 서지학 서버의 Keith L. Clark
  7. ^ "Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs". cse.cuhk.edu.hk. Chinese University of Hong Kong.

외부 링크