Дов М Габбай | |
---|---|
Родился | (1945-10-23) 23 октября 1945 года (возраст 75) |
Образование | Бакалавр наук (Математика и физика) 1966, Еврейский университет, Иерусалим. M.Sc. (Логика) 1967, Еврейский университет. Ph.D. (Логика) 1969, Еврейский университет |
Известный | теоремой Габбая о разделении, основы немонотонных рассуждений в экспертных системах |
Награды | Иностранный член Королевского общества Канады (FRSC). Член Фонда Александра фон Гумбольдта (FAvH). Член Королевского общества of Arts (FRSA). Docteur Honoris Causa, Université Paul Sabatier, Тулуза III. Doctor Honoris Causa, Университет Агдера, Норвегия |
Научная карьера | |
Поля | Информатика. Математика. Философия. Логика |
Учреждения | Королевский колледж Лондона. Университет Бар-Илан. Люксембургский университет. Манчестерский университет. Имперский колледж Лондона. Université Paul Sabatier. Академический колледж Ашкелона |
Диссертация | Неклассическая логика (1969) |
Докторант | Азриэль Леви. Майкл О. Рабин |
Дов М. Габбай (; родился 23 октября 1945 г.) - израильский логик. Он Огастес Де Морган Профессор Заслуженный из Логики в Группе Логики, Язык и Вычисления, факультет информатики, Королевский колледж Лондона.
Габбай является автором более четырехсот пятидесяти научных работ и более тридцати научных монографий. Он является редактором нескольких международных журналов и многих справочных работ и справочников по логике, включая Справочник по философской логике (с Францем Гюнтнером ), Справочник по логике в компьютере. Science (с Самсоном Абрамски и TSE Maibaum ) и Справочник по логике в искусственном интеллекте и логическом программировании (с CJ Hogger и Дж. А. Робинсон ).
Он известен своими новаторскими работами по логике в информатике и искусственном интеллекте, особенно по применению (исполняемого) темпоральной логики в информатике [1], в частности формальная проверка, логические основы немонотонных рассуждений и искусственного интеллекта, введение логики расслоения и теории помеченных дедуктивных систем.
. Председатель и основатель нескольких международных конференций, исполнительный директор Европейского фонда логики, языка и информации и президент International IGPL Logic Group. Он является основателем и со-президентом (UK Charity, Number 1112512). Он также является одним из четырех основателей и на протяжении многих лет членом совета FoLLI, Ассоциации логики, языка и информации, из которой он сейчас на пенсии. Он остается пожизненным членом.
Он вместе с Джейн Сперр является соучредителем College Publications, некоммерческого начинающего академического издательства, намеревающегося конкурировать с крупными дорогими издателями. по доступным ценам, не требуя передачи авторских прав от авторов. Двухтомник Festschrift в его честь был опубликован в 2005 г. издательством College Publications
1968–1970 гг. Инструктор, Еврейский университет Иерусалима. 1970–1973 Доцент философии Стэнфордский университет. 1973–1975 Доцент философии Стэнфордского университета. 1975–1977 Доцент, Университет Бар-Илан. 1977–1983 гг. Леди Дэвис, профессор логики, университет Бар-Илан. 1983–1998 гг. Профессор вычислительной техники, Имперский колледж науки, технологии и медицины, Лондон. 1998 г. - настоящее время Профессор кафедры Вычислительная техника, профессор философии, профессор логики Августа де Моргана, Королевский колледж, Лондон. 2009 г. - по настоящее время Специальный профессор Университета Бар-Илан. 2015 г. - по настоящее время Профессор логики, Академический колледж Ашкелона