Дов Габбай - Dov Gabbay
Дов М. Габбай | |
---|---|
Родившийся | 23 октября 1945 г. |
Образование | B.Sc. (Математика и физика) 1966, Еврейский университет , Иерусалим, магистр наук. (Логика) 1967, доктор философии Еврейского университета . (Логика) 1969, Еврейский университет |
Известен | Теорема Габбая об отделимости , основы немонотонных рассуждений в экспертных системах |
Награды | Иностранный член Королевского общества Канады (FRSC), член Фонда Александра фон Гумбольдта (FAvH), член Королевского общества искусств (FRSA) Docteur Honoris Causa, Université Paul Sabatier , Тулуза III, почетный доктор, Университет Агдера , Норвегия |
Научная карьера | |
Поля |
Информатика Математика Философия Логика |
Учреждения |
Королевский колледж Лондона Университет Бар-Илана Люксембургский университет Манчестерский Имперский колледж Лондонский университет Академический колледж Поля Сабатье Ашкелон |
Тезис | Неклассическая логика (1969) |
Докторант |
Азриэль Леви Майкл О. Рабин |
Дов М. Gabbay ( / ɡ ə б eɪ / , родился 23 октября 1945) является израильский логик. Он Огастес де Морган , профессор почётный из логики в группе логики , языке и вычислений , факультет компьютерных наук , Королевский колледж в Лондоне .
Работа
Габбей является автором более четырехсот пятидесяти научных работ и более тридцати исследовательских монографий. Он является редактором нескольких международных журналов, а также многих справочных работ и справочников по логике, включая Справочник по философской логике (с Францем Гентнером ), Справочник по логике в компьютерных науках] (с Самсоном Абрамски и Т.С.Э. Майбаумом ) и Справочник логики в искусственном интеллекте и логическом программировании (совместно с CJ Hogger и JA Robinson ).
Он хорошо известен своими новаторскими работами по логике в информатике и искусственном интеллекте, особенно по применению (исполняемой) темпоральной логики в информатике, в частности, формальной верификации , логических основ немонотонных рассуждений и искусственного интеллекта, внедрению расслоения логики и теории помеченных дедуктивных систем.
Он является председателем и основателем нескольких международных конференций, руководителем Европейского фонда логики, языка и информации и президентом международной группы IGPL Logic Group. Он является основателем и совместным президентом Международной федерации вычислительной логики. Он также является одним из четырех основателей и на протяжении многих лет членом совета FoLLI, Ассоциации логики, языка и информации, из которой он сейчас на пенсии. Он остается пожизненным членом.
Он является соучредителем Jane Spurr из College Publications, некоммерческого, начинающего академического издателя , намеревающегося конкурировать с крупными дорогими издателями по доступным ценам и не требующего передачи авторских прав от авторов. Двухтомник Festschrift в его честь был опубликован в 2005 году издательством College Publications.
Обычные должности
- 1968–1970 - преподаватель, Еврейский университет Иерусалима.
- 1970–1973 - доцент кафедры философии Стэнфордского университета.
- 1973–1975 - доцент философии Стэнфордского университета.
- 1975–1977 - доцент, Бар-Иланский университет.
- 1977–1983 - профессор логики леди Дэвис, Университет Бар-Илан.
- 1983–1998 гг. - профессор вычислительной техники Имперского колледжа науки, технологий и медицины , Лондон.
- 1998-настоящее время - профессор вычислительной техники, профессор философии, профессор логики Августа де Моргана, Королевский колледж, Лондон
- 2009 – настоящее время - специальный профессор Университета Бар-Илан.
- 2015 – настоящее время - профессор логики Ашкелонского академического колледжа.
Избранные произведения
- Самсон Абрамский , Дов М. Габбай , ЦЕ Майбаум. Справочник по логике в компьютерных науках , т. 1-5. Clarendom Press, Оксфорд, 1992–2000.
- Артур С. д'Авила Гарсес , Луис С. Лэмб, Дов Габбай. Нервно-символическое когнитивное мышление . Springer, 2009. ISBN 978-3540732457.
- Майкл Д. Фишер, Дов М. Габбей, Луис Вила (редакторы). Справочник временных рассуждений в искусственном интеллекте. Эльзевир, 2005.
- Дов М. Габбай: Теоретические основы немонотонных рассуждений в экспертных системах . В: Апт К.Р. (ред.) Логики и модели параллельных систем. Серия НАТО ASI (Серия F: Компьютерные и системные науки), том 13. Springer, Berlin, Heidelberg, стр. 439–457, 1985.
- Дов М. Габбай (ред). Что такое логическая система? Исследования в области логики и вычислений, Oxford University Press, 1994.
- Дов М. Габбай. Маркированные дедуктивные системы, том 1. Clarendon Press, Oxford, 1996. ISBN 9780198538332
- Дов М. Габбай. Фибринговая логика. Clarendon Press, Oxford, 1998. ISBN 9780191590108
- Дов М. Габбай, Ян Ходкинсон, Марк Рейнольдс: Темпоральная логика: математические основы и вычислительные аспекты, т. 1. Clarendon Press, Oxford, 1994. ISBN 978-0198537694.
- Дов М. Габбай, Аги Куруц, Франк Вольтер, Майкл Захарьящев: Многомерные модальные логики: теория и приложения . Северная Голландия, 2003 г.
- Дов М. Габбай, Амир Пнуэли , Сахарон Шелах , Джонатан Стави. О временном анализе справедливости. POPL'80: Материалы 7-го ежегодного симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования, январь 1980 г., страницы 163–173, ACM Press.
- Дов М. Габбей и Джон Вудс . Актуальность повестки дня: исследование формальной прагматики . Северная Голландия, 2003.
- Рут М. Кемпсон , Уилфрид Мейер-Виол, Дов М. Габбей: Динамический синтаксис: поток понимания языка . Блэквелл, 2000. ISBN 978-0-631-17612-1