도브 가베이
Dov Gabbay |
도브 M. 가베이 | |
|---|---|
| 태어난 | ) 1945년 10월 23일 |
| 교육 | B.Sc. (수학과 물리학) 1966, 히브리 대학, 예루살렘 M.Sc. (로직) 1967, 히브리 대학교 1969년 박사 (로직) 히브리 대학교 |
| 로 알려져 있다. | 가베이의 분리 정리, 전문가 시스템에서 비단조적 추론의 기초 |
| 수상 | 캐나다 왕립학회 외국인 펠로(FRSC) 알렉산더 폰 훔볼트 재단의 동료 (FAVH) 영국 왕립예술협회(FRSA) 회원 독터르 호노리스 코로사, 폴 사바티에, 툴루즈 3세 노르웨이 아그데르 대학교의 호놀리스 코로사 박사 |
| 과학 경력 | |
| 필드 | 컴퓨터 공학 수학 철학 논리학 |
| 기관 | 킹스 칼리지 런던 바일란 대학교 룩셈부르크 대학교 맨체스터 대학교 임페리얼 칼리지 런던 폴 사바티에 우니베르시테 애슈켈론 대학 |
| 논문 | 비클래식 로직 (1969) |
| 박사학위 자문위원 | 아즈릴 레비 마이클 O. 라빈[1] |
Dov M. Gabbay(/1945년 10월 23일 출생)는 이스라엘의 논리학자다. 그는 영국 킹스칼리지 런던 컴퓨터과학부 논리학, 언어, 연산학 그룹의 오거스투스 드 모건 명예교수다.
일
Gabbay는 450개의 연구 논문과 30개 이상의 연구 일지를 저술했다. He is editor of several international journals, and of many reference works and handbooks of logic, including the Handbook of Philosophical Logic (with Franz Guenthner), the Handbook of Logic in Computer Science] (with Samson Abramsky and T. S. E. Maibaum), and the Handbook of Logic in Artificial Intelligence and Logic Programming (with C.J. HoggeR과 J.A. 로빈슨).
그는 컴퓨터 과학과 인공지능의 논리학, 특히 컴퓨터 과학의 (실행 가능한) 시간 로직의 응용, 특히 형식적인 검증, 비단조적 추론과 인공지능의 논리적 기반, 섬유질 로직의 도입과 라벨링 이론에 대한 선구적인 연구로 잘 알려져 있다.d 연역 체계
그는 유럽 논리, 언어 및 정보 기구의 중역이자 국제 인터넷 거버넌스 포럼의 회장 겸 설립자다. 그는 국제 계산 논리 연맹의 설립자 겸 공동 회장이다.[2][3] 그는 또한 현재 은퇴한 FoLLI의 여러 해 동안 설립자 및 협의회 회원 중 한 명이다. 그는 종신 회원으로 남아 있다.
그는 비영리 창업 학술 출판사인 칼리지 출판사의 제인 스퍼와 공동 창업자로, 작가들의 저작권 배정을 요구하지 않고, 저렴한 가격으로 주요 고가의 출판사와 경쟁하려는 의도를 갖고 있다.[4] 그를 기리는 두 권의 Festschrift는 2005년에 College Publishes에 의해 출판되었다.[5]
정규 포지션
- 1968-1970년 – 예루살렘 히브리어 대학교 강사
- 1970–1973 – 스탠퍼드 대학교 철학과 조교수
- 1973–1975 – 스탠퍼드 대학교 철학과 부교수
- 1975–1977 – Bar-Ilan University 부교수
- 1977–1983 – Lady Davis의 Bar-Ilan 대학교 논리학과 교수
- 1983–1998 – 런던 임페리얼 과학기술 의과대학 컴퓨터학과 교수
- 1998-현재 – 런던 킹스칼리지 논리학 교수, 컴퓨터학 교수, 철학 교수 아우구스투스 드 모건
- 2009–현재 – Bar-Ilan University 특별 교수
- 2015–현재 – Ashkelon Academy College 로직스 교수
선별된 글
- 샘슨 에이브람스키, 도브 엠 가바이, T.S.E. 마이바움. 컴퓨터 과학 논리의 지침서, 제1권-5. 1992-2000년 옥스포드 클라렌돔 프레스
- Artur S. D'Avila Garcez, Luis C. 램, 도브 가베이 신경-심벌적 인지 추론. 스프링거, 2009년 ISBN978-3540732457
- 마이클 D. 피셔, 도브 M. 가베이, 루이스 빌라(eds). 인공지능의 시간적 추론 핸드북. 엘스비에, 2005년
- Dov M. Gabbay: 전문가 시스템에서 비단독적 추론을 위한 이론적 기초. 인: Apt K.R. (ed) 로직 및 동시 시스템 모델 NATO ASI 시리즈(시리즈 F: 컴퓨터 및 시스템 과학), 13권. 스프링거, 베를린, 하이델베르크, 페이지 439–457, 1985.
- Dov M. Gabbay (ed. 논리적인 시스템이란 무엇인가? 옥스포드 대학 출판부의 논리학과 계산에 관한 연구, 1994.
- 도브 M. 가베이 라벨이 부착된 연역 시스템, vol.1. 1996년 옥스포드 클라렌던 프레스 ISBN 9780198538332
- 도브 M. 가베이 파이브링 로직스 1998년 옥스퍼드 클라렌던 프레스 ISBN 9780191590108
- 도브 M. 가베이, 이안 호드킨슨, 마크 레이놀즈: 시간 논리: 수학 기초와 계산 측면, 제1권. 클라렌던 출판사, 옥스포드, 1994. ISBN 978-0198537694
- Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakaryaschev: 다차원 모달 로직: 이론과 응용. 노스홀랜드, 2003년
- 도브 엠 가베이, 아미르 페누엘리, 사하론 셀라, 조나단 스타비. 공정성의 시간적 분석에 대해서. POPL'80: 1980년 1월 제7회 프로그래밍 언어 원리에 관한 SIGPlan-SIGACT ACM 연례 심포지엄의 진행, ACM Press 163-173페이지.
- Dov M. Gabbay와 John Woods. 의제 관련성: 형식적 실용주의에 관한 연구 노스홀랜드, 2003년
- Ruth M. Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: 동적 구문: 언어 이해의 흐름. 블랙웰, 2000년 ISBN 978-0-631-17612-1
참조
- ^ 수학계보 프로젝트 도브 가베이
- ^ "Official Website". 2019-01-25. Retrieved 2020-12-26.
- ^ [1][데드링크]
- ^ "College Publications - About Us". www.collegepublications.co.uk.
- ^ Sergei Artemov, Artur d'Avila Garcez, Luís C. Lamb, Howard Barringer and John Woods (2005). We Will Show Them! Essays in Honour of Dov Gabbay. Vol. 1, Vol. 2. London: International Federation for Computational Logic, College Publications. ISBN 9781904987123.CS1 maint: 여러 이름: 작성자 목록(링크)
