Габбай, Дов
Дов М. Габбай (род. 26 октября 1945[1]) — израильский логик. Заслуженный профессор логики кафедры информатики Кингс-колледжа в Лондоне. Известен работами в области применения логики в информатике и искусственном интеллекте.
Общие сведения
| Дов М. Габбай | |
|---|---|
| ивр. דב גבאי | |
| Дата рождения | 26 октября 1945 (80 лет) |
| Страна | |
| Образование | |
| Род деятельности | информатика, математика, философия, логика |
| Награды и премии |
Иностранный член Королевского общества Канады (FRSC) |
Биография
Габбай является автором более 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. Он также является основателем и сопрезидентом Международной федерации вычислительной логики[2]. Был одним из четырёх основателей и многолетним членом совета Ассоциации логики, языка и информации (FoLLI), в которой сохраняет пожизненное членство.
Совместно с Джейн Спурр основал некоммерческое академическое издательство College Publications[3]. В 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 мая 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.
Ссылки
Дополнительно по теме
 | ||||
|---|---|---|---|---|
| ||||
