Эта статья требует дополнительных ссылок для проверки . ( декабрь 2020 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
Дов М. Габбай | |
---|---|
Родившийся | 23 октября 1945 г. |
Образование | B.Sc. (Математика и физика) 1966, Еврейский университет , Иерусалим, магистр наук. (Логика) 1967, доктор философии Еврейского университета . (Логика) 1969, Еврейский университет |
Известен | Теорема Габбая об отделимости , основы немонотонных рассуждений в экспертных системах |
Награды | Иностранный член Королевского общества Канады (FRSC), член Фонда Александра фон Гумбольдта (FAvH), член Королевского общества искусств (FRSA), почетный доктор, Университет Поля Сабатье , Тулуза III, почетный доктор, Университет Агдера , Норвегия |
Научная карьера | |
Поля | Информатика Математика Философия Логика |
Учреждения | Королевский колледж Лондона Университет Бар-Илана Люксембургский университет Манчестерский Имперский колледж Лондонский университет Академический колледж Поля Сабатье Ашкелон |
Тезис | Неклассическая логика (1969) |
Докторант | Азриэль Леви Майкл О. Рабин [1] |
Дов М. Gabbay ( / ɡ ə б eɪ / , родился 23 октября 1945) является израильский логик. Он Огастес де Морган , профессор почётный из логики в группе логики , языке и вычислений , факультет компьютерных наук , Королевский колледж в Лондоне .
Работа [ править ]
Габбей является автором более четырехсот пятидесяти научных работ и более тридцати исследовательских монографий. Он является редактором нескольких международных журналов, а также многих справочных работ и справочников по логике, включая Справочник по философской логике (с Францем Гентнером ), Справочник по логике в компьютерных науках] (с Самсоном Абрамски и Т.С.Э. Майбаумом ) и Справочник. логики в искусственном интеллекте и логическом программировании (совместно с CJ Hogger и JA Robinson ).
Он хорошо известен своими новаторскими работами по логике в информатике и искусственном интеллекте, особенно по применению (исполняемой) темпоральной логики в информатике, в частности формальной проверки , логических основ немонотонных рассуждений и искусственного интеллекта, внедрения расслоения логики и теории помеченных дедуктивных систем.
Он является председателем и основателем нескольких международных конференций, исполнительным директором Европейского фонда логики, языка и информации и президентом международной группы IGPL Logic Group. Он является основателем и со-президентом Международной федерации вычислительной логики. [2] [3] Он также является одним из четырех основателей и членов совета в течение многих лет FoLLI, Ассоциации логики, языка и информации, из которой он сейчас на пенсии. Он остается пожизненным членом.
Он является соучредителем Jane Spurr из College Publications, некоммерческого начинающего академического издателя , намеревающегося конкурировать с крупными дорогими издателями по доступным ценам и не требующего передачи авторских прав от авторов. [4] Двухтомник Festschrift в его честь был опубликован в 2005 году издательством College Publications. [5]
Обычные должности [ править ]
- 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
Ссылки [ править ]
- ^ Д Gabbay на Математической генеалогии
- ^ "Официальный сайт" . 2019-01-25 . Проверено 26 декабря 2020 .
- ^ [1] [ неработающая ссылка ]
- ^ «Публикации колледжа - О нас» . www.collegepublications.co.uk .
- ^ Сергей Артемов, Артур д'Авила Гарсес, Луис С. Лэмб, Ховард Барринджер и Джон Вудс (2005). Мы им покажем! Очерки в честь Дов Габбая. Vol. 1, т. 2 . Лондон: Международная федерация вычислительной логики, публикации колледжа. ISBN 9781904987123.CS1 maint: несколько имен: список авторов ( ссылка )
Внешние ссылки [ править ]
- Домашняя страница