Дов Габбай

Израильский логик (1945 г.р.)

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

Работа

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

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

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

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

Обычные позиции

• 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. Clarendon Press, Оксфорд, 1996. ISBN 9780198538332. 
• Дов М. Габбай. Логика расслоения. Clarendon Press, Оксфорд, 1998. ISBN 9780191590108. 
• Дов М. Габбай, Ян Ходкинсон, Марк Рейнольдс: Временная логика: математические основы и вычислительные аспекты, том. 1. Clarendon Press, Оксфорд, 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 . 

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

1. Дов Габбай в проекте «Математическая генеалогия»
2. «Официальный сайт». 25 января 2019 года . Проверено 26 декабря 2020 г.
3. [1] ^{[ неработающая ссылка ]}
4. «Публикации колледжа - О нас» . www.collegepublications.co.uk .
5. Сергей Артемов, Артур д'Авила Гарсес, Луис К. Лэмб, Ховард Бэрринджер и Джон Вудс (2005). Мы им покажем! Очерки в честь Дова Габая. Том. 1, Том. 2 . Лондон: Международная федерация вычислительной логики, публикации колледжей. ISBN 9781904987123.{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )

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

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