Габбай, Дов

Дов М. Габбай

ивр. דב גבאי

Дата рождения

26 октября 1945 года

Род деятельности

информатика, математика, философия, логика

Награды и премии

Иностранный член Королевского общества Канады (FRSC)
Стипендиат Фонда Александра фон Гумбольдта (FAvH)

Дов М. Габбай (^{[Нет даты!]}) — израильский логик. Заслуженный профессор логики кафедры информатики Кингс-колледжа в Лондоне. Известен работами в области применения логики в информатике и искусственном интеллекте.

Биография

Габбай является автором более 450 научных статей и свыше 30 монографий. Выступает редактором международных журналов и справочников по логике, включая «Handbook of Philosophical Logic» (совместно с Францем Гюнтнером), «Handbook of Logic in Computer Science» (совместно с Самсоном Абрамским и Т. С. Э. Майбаумом), «Handbook of the History of Logic» (совместно с Джоном Вудсом), «Handbook of Deontic Logic and Normative Systems» и «Handbook of Logic in Artificial Intelligence and Logic Programming».

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

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

Совместно с Джейн Спурр основал некоммерческое академическое издательство College Publications. В 2005 году это издательство выпустило двухтомный фестшрифт в его честь.

Академические должности

• 1968—1970 — преподаватель, Еврейский университет в Иерусалиме.
• 1970—1973 — доцент (Assistant Professor) философии, Стэнфордский университет.
• 1973—1975 — ассоциированный профессор философии, Стэнфордский университет.
• 1975—1977 — ассоциированный профессор, Университет имени Бар-Илана.
• 1977—1983 — профессор логики, Университет имени Бар-Илана.
• 1983—1998 — профессор информатики, Имперский колледж Лондона.
• С 1998 года — профессор информатики, профессор философии, заслуженный профессор логики, Кингс-колледж в Лондоне.
• С 2009 года — специальный профессор, Университет имени Бар-Илана.
• 2015—2017 — профессор логики, Академический колледж Ашкелона.

Литература

• Samson Abramsky, Dov M. Gabbay, T.S.E. Maibaum. Handbook of Logic in Computer Science, Vols.1-5. Clarendom Press, Oxford, 1992–2000.
• Artur S. d'Avila Garcez, Luis C. Lamb, Dov Gabbay. Neural-Symbolic Cognitive Reasoning. Springer, 2009. ISBN 978-3540732457
• Michael D. Fisher, Dov M. Gabbay, Lluis Vila (eds). Handbook of temporal reasoning in artificial intelligence. Elsevier, 2005.
• Dov M. Gabbay: Theoretical foundations for non-monotonic reasoning in expert systems. In: Apt K.R. (ed) Logics and Models of Concurrent Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol 13. Springer, Berlin, Heidelberg, pp. 439–457, 1985.
• Dov M. Gabbay (ed). What is a logical system? Studies in Logic and Computation, Oxford University Press, 1994.
• Dov M. Gabbay. Labelled Deductive Systems, vol.1. Clarendon Press, Oxford, 1996. ISBN 9780198538332
• Dov M. Gabbay. Fibring Logics. Clarendon Press, Oxford, 1998. ISBN 9780191590108
• Dov M. Gabbay, Ian Hodkinson, Mark Reynolds: Temporal Logic: Mathematical Foundations and Computational Aspects, vol. 1. Clarendon Press, Oxford, 1994. ISBN 978-0198537694
• Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Many-dimensional modal logics: theory and applications. North-Holland, 2003.
• Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi. On the temporal analysis of fairness. POPL'80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages, January, 1980, pages 163–173, ACM Press.
• Dov M. Gabbay and John Woods. Agenda Relevance: A Study in Formal Pragmatics. North-Holland, 2003.
• Ruth M. Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: Dynamic syntax: The flow of language understanding Архивировано из первоисточника 27 May 2019.. Blackwell, 2000. ISBN 978-0-631-17612-1
• Dov M. Gabbay, Model theory for tense logics, Jerusalem : Applied Logic Branch, The Hebrew University of Jerusalem, 1969.

Ссылки

• Личная страница

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Габбай, Дов», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Габбай,_Дов Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».