WikiDer > Дов Габбай

Dov Gabbay
Дов М. Габбай
Родившийся (1945-10-23) 23 октября 1945 г. (возраст 75)
ОбразованиеB.Sc. (Математика и физика) 1966 г., Еврейский университет, Иерусалим
M.Sc. (Логика) 1967, Еврейский университет
Кандидат наук. (Логика) 1969, Еврейский университет
ИзвестенТеорема Габбая о разделении, основы для немонотонное рассуждение в экспертные системы
НаградыИностранный член Королевское общество Канады (FRSC)
Сотрудник Фонд Александра фон Гумбольдта (FAvH)
Сотрудник Королевское общество искусств (FRSA)
Docteur Honoris Causa, Université Paul Sabatier, Тулуза III
Почетный доктор, Университет Агдера, Норвегия
Научная карьера
ПоляИнформатика
Математика
Философия
Логика
УчрежденияКоролевский колледж Лондона
Университет Бар-Илан
Люксембургский университет
Манчестерский университет
Имперский колледж Лондон
Université Paul Sabatier
Ашкелонский академический колледж
ТезисНеклассическая логика (1969)
ДокторантАзриэль Леви
Майкл О. Рабин[1]

Дов М. Габбай (/ɡəˈб/; родился 23 октября 1945 г.) - израильский логик. Он Огастес Де Морган Профессор Почетный из Логика в Группе Логика, Язык и Вычисление, Департамент Информатика, Королевский колледж Лондона.

Работа

Габбай является автором более четырехсот пятидесяти научных работ и более тридцати исследовательских монографий. Он является редактором нескольких международных журналов, а также многих справочных работ и справочников по логике, в том числе Справочник по философской логикеФранц Гентнер), Справочник по логике в компьютерных наукахСамсон Абрамский и Т. С. Э. Майбаум), а Справочник по логике в искусственном интеллекте и логическом программировании (с Си Джей Хоггером и J.A. Робинсон).

Он известен своими новаторскими работами в области логики в компьютерных науках и искусственном интеллекте, особенно в области применения (исполняемого) темпоральная логика в информатике [1], особенно формальная проверка, то логические основы немонотонных рассуждений и искусственный интеллект, введение логики расслоения и теории Помеченные дедуктивные системы.

Он является председателем и основателем нескольких международных конференций, руководителем Европейского фонда логики, языка и информации и президентом международной группы IGPL Logic Group. Он является основателем и совместным президентом Международная федерация вычислительной логики[2] (Благотворительная организация Великобритании, номер 1112512).[3] Он также является одним из четырех основателей и на протяжении многих лет членом совета FoLLI, Ассоциации логики, языка и информации, из которой он сейчас на пенсии. Он остается пожизненным членом.

Он является соучредителем с Джейн Сперр из Публикации колледжа, некоммерческий стартап академический издатель, предназначенные для конкуренции с крупными дорогими издателями по доступным ценам и не требующие уступка авторских прав от авторов.[4] Два тома Festschrift в его честь был опубликован в 2005 году издательством College Publications. [5]

Обычные должности

1968–1970 Инструктор, Еврейский университет Иерусалима
1970–1973 гг. Доцент кафедры философии, Стэндфордский Университет
1973–1975 Адъюнкт-профессор философии Стэнфордского университета
1975–1977 доцент, Университет Бар-Илан
1977–1983 гг., Профессор логики леди Дэвис, Университет Бар-Илан
1983–1998 профессор вычислительной техники, Императорский колледж науки, технологий и медицины, Лондон
1998-настоящее время Профессор вычислительной техники, профессор философии, профессор логики Августа де Моргана, Королевский колледж, Лондон
2009-настоящее время Специальный профессор Университета Бар-Илан
2015 – настоящее время профессор логики, Ашкелонский академический колледж

Избранные произведения

Рекомендации

  1. ^ Дов Габбай на Проект "Математическая генеалогия"
  2. ^ http://www.ifcolog.net
  3. ^ http://www.charity-commission.gov.uk/Showcharity/RegisterOfCharities/CharityWithoutPartB.aspx?RegisteredCharityNumber=1112512&SubsidiaryNumber=0
  4. ^ http://www.collegepublications.co.uk/about/
  5. ^ Сергей Артемов, Артур д'Авила Гарсес, Луис К. Лэмб, Ховард Барринджер и Джон Вудс (2005). Мы им покажем! Очерки в честь Дов Габбая. Vol. 1, т. 2. Лондон: Международная федерация вычислительной логики, публикации колледжа. ISBN 9781904987123.CS1 maint: несколько имен: список авторов (связь)

внешняя ссылка