로버트 코왈스키

Robert Kowalski
미국의 의학 저널리스트 겸 저자는 로버트 E. 코왈스키를 참조하십시오.
로버트 코왈스키
Robert Kowalski.jpg
태어난 (1941-05-15) 1941년 5월 15일 (80세)
미국 코네티컷 주 브릿지포트
국적영국의
모교시카고의 대학교
브릿지포트 대학교
스탠퍼드 대학교
바르샤바 대학교
에든버러 대학교
로 알려져 있다.논리 프로그래밍
사건 미적분학
수상IJCAI 연구 우수상(2011년)
과학 경력
필드논리학
컴퓨터 공학
기관에든버러 대학교
임페리얼 칼리지 런던
논문분해능에 의한 정리검증의 완전성과 효율성에 관한 연구 (1970)
박사학위 자문위원버나드 멜처
박사과정 학생데이비드 H. D. 워런
키스 클라크

로버트 앤서니 코왈스키(Robert Anthony Kowalski, 1941년 5월 15일생)는 미국계 영국인 논리학자 겸 컴퓨터 과학자로, 그의 연구는 인간 사고의 컴퓨팅 모델과 컴퓨터 모델을 모두 개발하는 데 관심이 있다. 그는 그의 경력의 대부분을 영국에서 보냈다.

교육

시카고대 브리지포트대(수학 학사, 1963년), 스탠포드대(수학 석사, 1966년), 바르샤바대, 에든버러대(컴퓨터과학 박사, 1970년)에서 교육을 받았다.

경력

에든버러 대학(1970~75년)의 연구원이었으며 1975년부터 런던 임페리얼 칼리지의 컴퓨터학과에 재직하고 있으며, 1982년 컴퓨터 논리학 석좌를 취득하고 1999년 명예교수가 되었다.

그는 도날드 쿠에너와 함께[1] SL 해상도와 연결 그래프 증명 절차를 모두 개발하면서 자동화 정리 분야에서 연구를 시작했다.[2] 그는 로직 프로그래밍에서 역추론의 운영적 의미론을 뒷받침하는 SLD 분해능과 Horn 절의 절차적 해석을 개발했다.[3] 마아텐 반 엠덴과 함께,[4] 그는 또한 로직 프로그래밍의 논리적 의미론의 기초가 되는 Horn 절의 최소 모델과 고정점 의미론도 개발했다.

그는 마렉 세르고와 함께 사건 미적분과[5] 법률 추리에 대한 논리 프로그래밍의 응용을 모두 개발했다.[6][7] 그는 패리바 사드리(Pariba Sadri)와 함께 신념이 논리 프로그램으로 대표되고 목표가 청렴 제약으로 대표되는 에이전트 모델을[8][9] 개발했다.

Kowalski는 논리 프로그램이 무결성 제약과 정의되지 않고 강제적인 술어로 증강되는 납치 논리 프로그래밍의 개발자 중 한 명이었다.[10][11] 이 작업은 파민 둥, 프란체스카 토니 등과 함께 대부분의 디폴트 추리 로직은 가정 기반의 논쟁의 특별한 사례로 간주될 수 있다는 데 대한 시연을 이끌어냈다.[12][13]

1979년 저서 '문제해결을 위한 논리'[14]에서 코왈스키는 논리적 추론이 인간과 컴퓨터 모두가 사용할 수 있는 단순하고 강력한 문제해결의 모델을 제공한다고 주장한다. 그는 2011년 저서 '계산논리와 인간의 생각-인공적으로 지능화되는 방법-계산논리의 사용은 일반인의 자연어 의사소통 능력을 향상시키는 데 도움이 될 수 있으며, 의사결정 이론과 결합해 실질적인 문제해결 능력을 향상시키는 데 사용될 수 있다고 주장한다.[15]

좀 더 최근에 파리바 사드리와의 공동 작업에서, 그는 연산 논리에 관한 그의 이전 작품들의 많은 부분을 통합한 논리 및 컴퓨터 언어 LPS([16]Logic Production Systems)를 개발했다.

명예 및 상

코왈스키는 1991년 미국 인공지능협회, 1999년 유럽인공지능조정위원회, 2001년 컴퓨터기계협회로 선출됐다. 2011년에는 "자동화된 정리 검증과 논리 프로그래밍에 관한 선구자적 연구 등 지식표현과 문제해결을 위한 논리에 기여한 공로로 IJCAI 연구 우수상을 수상했다.[17] 2012년에는 2012~2014년 저명한 과학자로 일본과학진흥협회상을 받았다.[18] 그는 2021년 영국 국적법의 공식화 및 분석에 논리 프로그래밍을 적용한 획기적인 업적에 대한 답례로 파리바 사드리, 마렉 세르고트와 함께한 공로로 제1회 CodeX상을 받았다. 1986년 ACM 저널의 통신에 게재된 저자들의 정석 기사인 "로직 프로그램으로서의 영국 국적법"은 연산법에서 처음이자 가장 잘 알려진 작품 중 하나이며, 이 분야에서 가장 널리 인용된 논문 중 하나이다."[4]

책들

  • 문제 해결을 위한 논리, 1979년 북 홀랜드, 엘시비어.
  • 계산논리와 인간의 생각: 어떻게 인공 지능이 되는가, 캠브리지 대학 출판부, 2011.

참고 항목

참조

  1. ^ Kowalski, R. 및 Kuehner, D. "선택 기능이 있는 선형 분해능", 인공지능 제2권 1971, 페이지 227–260. 자동화된 정리-프로빙 논문집 제2권, 1983년, 페이지 542~577에 재인쇄되었다.
  2. ^ ACM 제22권, 제4호, 1975년, 페이지 572–595에 수록된 "연결 그래프를 사용한 증명 절차"를 R, 코왈스키가 인용했다.
  3. ^ 코왈스키, R, "프로그래밍 언어로서의 논리 수정" 1974년 스톡홀름, 노스 홀랜드 출판사, 569–574페이지의 IFIP 회의에서. 인공지능 애플리케이션용 컴퓨터에서 다시 인쇄(eds). Wah, B. 및 Li, G.-J.), IEEE 컴퓨터 소사이어티 프레스, 1986, 페이지 68–73.
  4. ^ 판 엠덴, M., 코왈스키, R., "프로그래밍 언어로서의 술어 로직의 의미론", ACM 저널, 제23권, 제4권, 1976년, 페이지 733–742.
  5. ^ Cowalski, R. 및 Sergot, M., "논리에 기초한 사건 계산서", New Generation Computing, Vol. 4, No. 1, 1986년 2월, 페이지 67–95. 기술 자료 관리-시스템(eds. C)에도 포함. 타노스와 J. W. 슈미트), 스프링거-베를라크, 23-51페이지. 또한 시간의 언어: 독서자(eds)에도 있다. Inderjeeet Mani, J. Pustejovsky, R. 가이자우스카스(Gaizauskas. 옥스퍼드 대학 출판부, 2005.
  6. ^ 세르고트, M, 사드리, F, 코왈스키, R, 크리왁섹, F, 해몬드, P, 그리고 Cory, T, "로직 프로그램으로서의 영국 국적법"은 ACM 통신의 29권, 1986년 5권, 페이지 370–386에 수록되어 있다.
  7. ^ 코왈스키, R, "로직 프로그램으로서의 입법" , 로직 프로그래밍 in Action (eds. G. Comyn, N. E)에서. Fuchs, M. J. Ratcliffe), Springer-Verlag, 1992, 페이지 203–230.
  8. ^ Kowalski, R. "Metalogic을 사용해서 반응성을 Rational Agent와 조화시키는 것" 메타 로직스 및 로직 프로그래밍(K. Apt 및 F)에서. Turini, eds.) MIT 프레스, 1995.
  9. ^ 코왈스키, R., 사드리, F., "논리 프로그래밍에서 다중 에이전트 시스템을 향한 논리 프로그래밍", 수학 및 인공지능 연보, 제25권(1999), 페이지 391-419.
  10. ^ 에쉬기, 케이, 코왈스키, R, "추론을 통한 전도" 1988년 임페리얼 칼리지 컴퓨터학과.
  11. ^ Kakas, T, Kowalski, K., Toni, F., "Abductive Logic Programming". 논리 연산 저널, 1992, 2권 6호, 페이지 719–770.
  12. ^ 본다렌코, A, 둥, P.M, 코왈스키, R, 토니, "추상적 주장-디폴트 추론에 대한 이론적 접근". 인공지능 저널 93(1–2), 1997, 페이지 63–101.
  13. ^ Dung, P. M., Kowalski, R., Toni, F. "가정 기반, 허용 가능한 주장을 위한 대화형 입증 절차". 인공지능 저널, 170(2), 2006년 2월, 페이지 114-159.
  14. ^ 1979년, R.A.의 코왈스키. [1] 문제해결을 위한 논리, 엘시비어, 북 홀랜드.
  15. ^ 코왈스키, R.A. 2011년 [2] 계산논리와 인간의 생각 - 인공 지능이 되는 방법, 캠브리지 대학 출판부.
  16. ^ "LPS Logic Production Systems".
  17. ^ [3]
  18. ^ "JSPS awards for eminent scientists".

외부 링크