Dov M. Gabbay ( / ɡ ə ˈ b eɪ / , hebräisch : דב גבאי ; * 26. Oktober 1945) ist ein israelischer Logiker. Er ist emeritierter Augustus-De-Morgan -Professor für Logik an der Arbeitsgruppe für Logik , Sprache und Berechnung des Fachbereichs Informatik am King’s College London .
Arbeiten
Gabbay hat über 450 Forschungsartikel und über 30 Forschungsmonografien verfasst. Er ist Herausgeber mehrerer internationaler Fachzeitschriften sowie zahlreicher Nachschlagewerke und Handbücher der Logik, darunter das „ Handbook of Philosophical Logic“ (mit Franz Guenthner ), das „ Handbook of Logic in Computer Science“ (mit Samson Abramsky und TSE Maibaum ), das „ Handbook of the History of Logic“ (mit John Woods ), das „ Handbook of Deontic Logic and Normative Systems“ (mit John F. Horty , Xavier Parent, Ron van der Meyden und Leendert van der Torre ) und das „ Handbook of Logic in Artificial Intelligence and Logic Programming“ (mit CJ Hogger und JA Robinson ).
Er ist bekannt für seine Pionierarbeit auf dem Gebiet der Logik in der Informatik und der künstlichen Intelligenz, insbesondere für die Anwendung (ausführbarer) temporaler Logiken in der Informatik, insbesondere der formalen Verifikation , der logischen Grundlagen des nichtmonotonen Schließens und der künstlichen Intelligenz, der Einführung fibrinierender Logiken und der Theorie markierter deduktiver Systeme.
Er ist Vorsitzender und Gründer mehrerer internationaler Konferenzen, Vorstandsmitglied der Europäischen Stiftung für Logik, Sprache und Information (EFLI) und Präsident der Internationalen IGPL-Logikgruppe. Er ist Gründer und Co-Präsident der International Federation of Computational Logic (IFCL). [ 2 ] [ 3 ] Außerdem gehört er zu den vier Gründern und war viele Jahre Mitglied des Vorstands der FoLLI, der Vereinigung für Logik, Sprache und Information, von der er nun zurückgetreten ist. Er ist weiterhin Ehrenmitglied.
Gemeinsam mit Jane Spurr gründete er College Publications, einen gemeinnützigen, jungen akademischen Verlag , der mit großen, teuren Verlagen zu erschwinglichen Preisen konkurrieren und keine Urheberrechtsübertragung von den Autoren verlangen will. [ 4 ] Eine zweibändige Festschrift zu seinen Ehren wurde 2005 von College Publications veröffentlicht. [ 5 ]
Regelmäßige Positionen
- 1968–1970 – Dozent an der Hebräischen Universität Jerusalem
- 1970–1973 – Assistenzprofessor für Philosophie, Stanford University
- 1973–1975 – Außerordentlicher Professor für Philosophie, Stanford University
- 1975–1977 – Außerordentlicher Professor, Bar-Ilan-Universität
- 1977–1983 – Lady Davis Professorin für Logik, Bar-Ilan-Universität
- 1983–1998 – Professor für Informatik, Imperial College of Science, Technology and Medicine , London
- Seit 1998 – Professor für Informatik, Professor für Philosophie, Augustus De Morgan Professor für Logik, King's College London
- Seit 2009 – Sonderprofessor an der Bar-Ilan-Universität
- 2015–2017 – Professor für Logik, Akademisches College Ashkelon
Ausgewählte Schriften
- Samson Abramsky , Dov M. Gabbay , TSE Maibaum. Handbook of Logic in Computer Science , Bände 1-5. Clarendom Press, Oxford, 1992–2000.
- Artur S. d'Avila Garcez , Luis C. Lamb, Dov Gabbay. Neuronal-symbolisches kognitives Denken . Springer, 2009. ISBN 978-3540732457
- Michael D. Fisher, Dov M. Gabbay, Lluis Vila (Hrsg.). Handbuch des temporalen Schließens in der künstlichen Intelligenz. Elsevier, 2005.
- Dov M. Gabbay: Theoretische Grundlagen für nicht-monotones Schließen in Expertensystemen . In: Apt KR (Hrsg.) Logiken und Modelle nebenläufiger Systeme. NATO ASI Series (Serie F: Computer- und Systemwissenschaften), Band 13. Springer, Berlin, Heidelberg, S. 439–457, 1985.
- Dov M. Gabbay (Hrsg.). Was ist ein logisches System? Studien zur Logik und Berechnung, Oxford University Press, 1994.
- Dov M. Gabbay. Labelled Deductive Systems, Band 1. Clarendon Press, Oxford, 1996. ISBN 9780198538332
- Dov M. Gabbay. Fibering 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: Mehrdimensionale Modallogiken: Theorie und Anwendungen . North-Holland, 2003.
- Dov M. Gabbay, Amir Pnueli , Saharon Shelah , Jonathan Stavi. Zur zeitlichen Analyse von Fairness. POPL’80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages, Januar 1980, Seiten 163–173, ACM Press.
- Dov M. Gabbay und John Woods . Agenda Relevance: A Study in Formal Pragmatics . North-Holland, 2003.
- Ruth M. Kempson , Wilfried Meyer-Viol, Dov M. Gabbay: Dynamische Syntax: Der Fluss des Sprachverstehens. Archiviert am 27. Mai 2019 in der Wayback Machine . Blackwell, 2000. ISBN 978-0-631-17612-1
- Dov M. Gabbay, Modelltheorie für Tempuslogiken , Jerusalem: Abteilung für Angewandte Logik, Hebräische Universität Jerusalem, 1969.
Referenzen
- ^ Dov Gabbay beim Mathematik-Genealogie-Projekt
- ^ „Offizielle Website“ . 25. Januar 2019. Abgerufen am 26. Dezember 2020 .
- ^ „Überblick über Wohltätigkeitsorganisationen“.
{{cite web}}CS1-Wartung: Veralteter Archivierungsdienst ( Link ) - ^ „College Publications – Über uns“ . www.collegepublications.co.uk .
- ^ Sergei Artemov, Artur d'Avila Garcez, Luís C. Lamb, Howard Barringer und John Woods (2005). Wir werden es ihnen zeigen! Essays zu Ehren von Dov Gabbay. Band 1, Band 2. London: International Federation for Computational Logic, College Publications. ISBN 9781904987123Die
{{cite book}}: CS1 Wartung: Mehrere Namen: Autorenliste ( Link )
