Dov Gabbay - Dov Gabbay
Dov M. Gabbay | |
---|---|
narozený | 23.října 1945 |
Vzdělání | B.Sc. (Mathematics and Physics) 1966, Hebrew University , Jerusalem M.Sc. (Logic) 1967, Hebrew University Ph.D. (Logic) 1969, Hebrew University |
Známý jako | Gabbayova věta o separaci , základy pro non-monotónní uvažování v expertních systémech |
Ocenění | Zahraniční člen Královské společnosti Kanady (FRSC) Člen Nadace Alexandra von Humboldta (FAvH) Člen Královské společnosti umění (FRSA) Docteur Honoris Causa, Université Paul Sabatier , Toulouse III Doctor Honoris Causa, University of Agder , Norsko |
Vědecká kariéra | |
Pole |
Počítačová věda Matematika Filozofie Logika |
Instituce |
King's College London University Bar-Ilan University of Luxembourg University of Manchester Imperial College London Université Paul Sabatier Ashkelon Academic College |
Teze | Neklasická logika (1969) |
Doktorský poradce |
Azriel Lévy Michael O. Rabin |
Dov M. Gabbay ( / ɡ ə b eɪ / ; narozený 23.října 1945) je izraelský logik. Je Augustus De Morgan Professor vysloužilý z logiky u skupiny logiky , jazyk a počítání , Katedra informatiky , Kings College v Londýně .
Práce
Gabbay je autorem více než čtyři sta padesáti výzkumných prací a více než třiceti výzkumných monografií. Je redaktorem několika mezinárodních časopisů a mnoha referenčních prací a příruček logiky, včetně Příručky filozofické logiky (s Franzem Guenthnerem ), Příručky logiky v informatice] (se Samsonem Abramským a TSE Maibaum ) a Příručky logiky v umělé inteligenci a logickém programování (s CJ Hoggerem a JA Robinsonem ).
Je známý průkopnickou prací v oblasti logiky ve výpočetní technice a umělé inteligenci, zejména aplikací (spustitelné) časové logiky ve výpočetní technice, zejména formálního ověřování , logických základů nemonotónního uvažování a umělé inteligence, zavedení fibringova logika a teorie označených deduktivních systémů.
Je předsedou a zakladatelem několika mezinárodních konferencí, výkonným ředitelem Evropské nadace logiky, jazyka a informací a prezidentem mezinárodní IGPL Logic Group. Je zakladatelem a společným prezidentem Mezinárodní federace výpočetní logiky. Je také jedním ze čtyř zakladatelů a členů rady po mnoho let FoLLI, Asociace logiky, jazyka a informací, ze které nyní odešel do důchodu. Zůstává doživotním členem.
Je spoluzakladatelem Jane Spurr z College Publications, neziskového začínajícího akademického vydavatele , jehož cílem je konkurovat významným nákladným vydavatelům za dostupné ceny a od autorů nevyžaduje přidělení autorských práv . Dva objem Festschrift na jeho počest byla vydána v roce 2005 College Publications.
Pravidelné pozice
- 1968–1970 - instruktor, Hebrejská univerzita v Jeruzalémě
- 1970–1973 - odborný asistent filozofie, Stanford University
- 1973–1975 - docent filozofie, Stanford University
- 1975–1977 - docent, Bar-Ilan University
- 1977–1983 - profesorka logiky Lady Davis, univerzita Bar-Ilan
- 1983–1998 - profesor výpočetní techniky, Imperial College of Science, Technology and Medicine , London
- 1998 – současnost - profesor výpočetní techniky, profesor filozofie, Augustus De Morgan profesor logiky, King's College v Londýně
- 2009 – současnost - speciální profesor Bar-Ilan University
- 2015 – současnost - profesor logiky na Ashkelon Academic College
Vybrané spisy
- Samson Abramsky , Dov M. Gabbay , TSE 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. Nervově-symbolické kognitivní uvažování . Springer, 2009. ISBN 978-3540732457
- Michael D. Fisher, Dov M. Gabbay, Lluis Vila (eds). Příručka dočasného uvažování v umělé inteligenci. Elsevier, 2005.
- Dov M. Gabbay: Teoretické základy pro nemonotonické uvažování v expertních systémech . In: Apt KR (ed) Logics and Models of Concurrent Systems. Series NATO ASI (Series F: Computer and Systems Sciences), sv. 13. Springer, Berlin, Heidelberg, str. 439–457, 1985.
- Dov M. Gabbay (ed). Co je to logický systém? Studies in Logic and Computation, Oxford University Press, 1994.
- Dov M. Gabbay. Označené dedukční systémy, sv. 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: Časová logika: Matematické základy a výpočetní aspekty, sv. 1. Clarendon Press, Oxford, 1994. ISBN 978-0198537694
- Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Mnohorozměrná modální logika: teorie a aplikace . Severní Holandsko, 2003.
- Dov M. Gabbay, Amir Pnueli , Saharon Sále , Jonathan Stavi. O časové analýze spravedlnosti. POPL'80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages, leden 1980, strany 163–173, ACM Press.
- Dov M. Gabbay a John Woods . Relevance agendy: Studie ve formální pragmatice . Severní Holandsko, 2003.
- Ruth M. Kempson , Wilfried Meyer-Viol, Dov M. Gabbay: Dynamická syntaxe: Tok porozumění jazyku . Blackwell, 2000. ISBN 978-0-631-17612-1