Дов Габбай

Дов М. Габбай
Рожденный	( 1945-10-26 ) 26 октября 1945 г.
Образование	Еврейский университет (бакалавр, магистр, доктор философии)
Известный	Теорема Габбая о разделении , основы немонотонных рассуждений в экспертных системах
Награды	Иностранный член Королевского общества Канады (FRSC) Член Фонда Александра фон Гумбольдта (FAvH)
Научная карьера
Поля	Информатика Математика Философия Логика
Учреждения	Королевский колледж Лондона Университет Бар-Илан Университет Люксембурга Манчестерский университет Имперский колледж Лондона Университет Поля Сабатье Ашкелонский академический колледж
Диссертация	Неклассическая логика   (1969)
Докторантура	Азриэль Леви Майкл О. Рабин

Дов М. Габбай ( / ɡ ə ˈ b eɪ / ; родился 26 октября 1945 г.) — израильский логик. Он является Де Моргана логики профессором Огастеса языка в группе логики , вычислений и почетным факультета компьютерных наук Королевского колледжа Лондона .

Работа

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

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

Он является председателем и основателем нескольких международных конференций, исполнительным директором Европейского фонда логики, языка и информации и президентом Международной группы логики IGPL. Он является основателем и сопрезидентом Международной федерации вычислительной логики. Он также является одним из четырех основателей и членом совета FoLLI, Ассоциации логики, языка и информации, из которой он сейчас вышел на пенсию. Он остается пожизненным членом.

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

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

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

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

• Самсон Абрамский , Дов М. Габбай , ЦЭ Майбаум. Справочник по логике в информатике , тома 1-5. Clarendom Press, Оксфорд, 1992–2000 гг.
• Артур С. д'Авила Гарсес , Луис К. Ламб, Дов Габбай. Нейро-символическое когнитивное мышление . Спрингер, 2009. ISBN   978-3540732457
• Майкл Д. Фишер, Дов М. Габбай, Луис Вила (редакторы). Справочник по временным рассуждениям в искусственном интеллекте. Эльзевир, 2005.
• Дов М. Габбай: Теоретические основы немонотонных рассуждений в экспертных системах . В: Apt KR (ред.) Логика и модели параллельных систем. Серия NATO ASI (Серия F: Компьютерные и системные науки), том 13. Springer, Берлин, Гейдельберг, стр. 439–457, 1985.
• Дов М. Габбай (ред.). Что такое логическая система? Исследования в области логики и вычислений, Oxford University Press, 1994.
• Дов М. Габбай. Меченые дедуктивные системы, т.1. Кларендон Пресс, Оксфорд, 1996. ISBN   9780198538332
• Дов М. Габбай. Логика расслоения. Кларендон Пресс, Оксфорд, 1998. ISBN   9780191590108
• Дов М. Габбай, Ян Ходкинсон, Марк Рейнольдс: Временная логика: математические основы и вычислительные аспекты, том. 1. Кларендон Пресс, Оксфорд, 1994. ISBN   978-0198537694
• Дов М. Габбай, Аги Куруц, Фрэнк Уолтер, Михаил Захарьящев: Многомерные модальные логики: теория и приложения . Северная Голландия, 2003.
• Дов М. Габбай, Амир Пнуэли , Сахарон Шелах , Джонатан Стави. О временном анализе справедливости. POPL'80: Материалы 7-го ежегодного симпозиума SIGPLAN-SIGACT ACM по принципам языков программирования, январь 1980 г., страницы 163–173, ACM Press.
• Дов М. Габбай и Джон Вудс . Актуальность повестки дня: исследование формальной прагматики . Северная Голландия, 2003.
• Рут М. Кемпсон , Вильфрид Мейер-Виол, Дов М. Габбай: Динамический синтаксис: поток понимания языка. Архивировано 27 мая 2019 года в Wayback Machine . Блэквелл, 2000. ISBN   978-0-631-17612-1

Внешние ссылки

• Домашняя страница