Введение

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

Работа

Габбай – автор более четырехсот пятидесяти научных статей и более тридцати научных монографий. Он является редактором нескольких международных журналов, а также многих справочных трудов и учебников по логике, включая «Справочник по философской логике» (в соавторстве с Францем Гентнером), «Справочник по логике в компьютерных науках» (в соавторстве с Самсоном Абрамским и Т. С. Е. Майбаумом) и «Справочник по логике в искусственном интеллекте и логическом программировании» (в соавторстве с К. Дж. Хоггером и Дж. А. Робинсоном). Он широко известен своими новаторскими работами в области логики в информатике и искусственном интеллекте, особенно применением (исполняемых) темпоральных логик в информатике, в частности, для формальной верификации, логических основ немонотонного рассуждения и искусственного интеллекта, введением фибрированных логик и теорией помеченных дедуктивных систем. Он является председателем и основателем ряда международных конференций, членом исполнительного комитета Европейского фонда логики, языка и информации и президентом Международной логической группы IGPL. Он также является основателем и сопредседателем Международной федерации вычислительной логики. Он входит в число четырех основателей и на протяжении многих лет был членом совета FoLLI – Ассоциации логики, языка и информации, от деятельности в которой он сейчас отошел. Он остается пожизненным членом. Вместе с Джейн Спёрр он является соучредителем College Publications – некоммерческого стартапа, академического издательства, созданного для конкуренции с крупными и дорогими издательствами, предлагая доступные цены и не требуя от авторов передачи авторских прав. В 2005 году издательством College Publications был опубликован двухтомный сборник статей в его честь (Festschrift).

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

Самсон Абрамский, Дов М. Габбай, Т. С. Э. Майбаум. Руководство по логике в информатике, тома 1–5. Clarendom Press, Оксфорд, 1992–2000. Артур С. д’Авила Гарсез, Луис С. Лэмб, Дов Габбай. Нейронно-символическое когнитивное рассуждение. Springer, 2009. Майкл Д. Фишер, Дов М. Габбай, Луис Вила (ред.). Руководство по временному рассуждению в искусственном интеллекте. Elsevier, 2005. Дов М. Габбай. Теоретические основы немонотонного рассуждения в экспертных системах. В: Apt K. R. (ред.) Логика и модели параллельных систем. Серия NATO ASI (серия F: Компьютерные и системные науки), том 13. Springer, Берлин, Гейдельберг, с. 439–457, 1985. Дов М. Габбай (ред.). Что такое логическая система? Исследования в области логики и вычислений, Оксфордский университет, 1994. Дов М. Габбай. Обозначенные дедуктивные системы, том 1. Clarendon Press, Оксфорд, 1996. Дов М. Габбай. Фибрирующая логика. Clarendon Press, Оксфорд, 1998. Дов М. Габбай, Ян Ходкинсон, Марк Рейнольдс. Временная логика: математические основы и вычислительные аспекты, том 1. Clarendon Press, Оксфорд, 1994. Дов М. Габбай, Аги Куруч, Фрэнк Вултер, Майкл Захарящев. Многомерная модальная логика: теория и приложения. North Holland, 2003. Дов М. Габбай, Амир Пнуэли, Сахарон Шелах, Джонатан Стави. О временном анализе справедливости. POPL'80: Материалы 7-го ежегодного симпозиума SIGPLAN SIGACT ACM по принципам языков программирования, январь 1980 г., стр. 163–173, ACM Press. Дов М. Габбай и Джон Вудс. Актуальность повестки дня: исследование формальной прагматики. North Holland, 2003. Рут М. Кемпсон, Вильфрид Майер Виол, Дов М. Габбай. Динамический синтаксис: поток понимания языка. Blackwell, 2000.