Dov M. Gabbay ( / ɡ ə b eɪ / ; nacido el 23 de octubre de 1945) es un lógico israelí. Es Augustus De Morgan Profesor Emérito de Lógica en el Grupo de Lógica , Lenguaje y Computación , Departamento de Ciencias de la Computación , King's College London .
Dov M. Gabbay | |
---|---|
Nació | 23 de octubre de 1945 |
Educación | B.Sc. (Matemáticas y Física) 1966, Universidad Hebrea , Jerusalén M.Sc. (Lógica) 1967, Ph.D. de la Universidad Hebrea . (Lógica) 1969, Universidad Hebrea |
Conocido por | Teorema de separación de Gabbay , fundamentos del razonamiento no monótono en sistemas expertos |
Premios | Miembro extranjero de la Royal Society of Canada (FRSC) Miembro de la Fundación Alexander von Humboldt (FAvH) Miembro de la Royal Society of Arts (FRSA) Docteur Honoris Causa, Université Paul Sabatier , Toulouse III Doctor Honoris Causa, Universidad de Agder , Noruega |
Carrera científica | |
Campos | Informática Matemáticas Filosofía Lógica |
Instituciones | King's College London Bar-Ilan University Universidad de Luxemburgo Universidad de Manchester Imperial College London Université Paul Sabatier Ashkelon Academic College |
Tesis | Lógica no clásica (1969) |
Asesor de doctorado | Azriel Lévy Michael O. Rabin [1] |
Trabaja
Gabbay es autor de más de cuatrocientos cincuenta artículos de investigación y más de treinta monografías de investigación. Es editor de varias revistas internacionales y de muchas obras de referencia y manuales de lógica, incluido el Handbook of Philosophical Logic (con Franz Guenthner ), el Handbook of Logic in Computer Science] (con Samson Abramsky y TSE Maibaum ) y el Handbook de Lógica en Inteligencia Artificial y Programación Lógica (con CJ Hogger y JA Robinson ).
Es conocido por su trabajo pionero en lógica en informática e inteligencia artificial, especialmente la aplicación de lógicas temporales (ejecutables) en informática, en particular la verificación formal , los fundamentos lógicos del razonamiento no monótono y la inteligencia artificial, la introducción de lógicas de fibring y la teoría de sistemas deductivos etiquetados.
Es presidente y fundador de varias conferencias internacionales, ejecutivo de la European Foundation of Logic, Language and Information y presidente del International IGPL Logic Group. Es fundador y copresidente de la Federación Internacional de Lógica Computacional. [2] [3] También es uno de los cuatro fundadores y miembro del consejo durante muchos años de FoLLI, la Asociación de Lógica, Lenguaje e Información, de la que ahora está jubilado. Sigue siendo un miembro vitalicio.
Es cofundador con Jane Spurr de College Publications, una editorial académica de nueva creación sin fines de lucro , destinada a competir con las principales editoriales caras a precios asequibles y que no requiere la asignación de derechos de autor de los autores. [4] Un Festschrift de dos volúmenes en su honor fue publicado en 2005 por College Publications. [5]
Posiciones regulares
- 1968–1970 - Instructor, Universidad Hebrea de Jerusalén
- 1970–1973 - Profesor asistente de filosofía, Universidad de Stanford
- 1973-1975 - Profesor asociado de filosofía, Universidad de Stanford
- 1975–1977 - Profesor asociado, Universidad Bar-Ilan
- 1977–1983 - Profesora de Lógica Lady Davis, Universidad de Bar-Ilan
- 1983–1998 - Profesor de Informática, Imperial College of Science, Technology and Medicine , Londres
- 1998-presente - Profesor de Computación, Profesor de Filosofía, Augustus De Morgan Profesor de Lógica, King's College, Londres
- 2009-presente - Profesor especial de la Universidad Bar-Ilan
- 2015-presente - Profesor de lógica, Ashkelon Academic College
Escritos seleccionados
- Samson Abramsky , Dov M. Gabbay , TSE Maibaum. Manual de Lógica en Ciencias de la Computación , Vols.1-5. Clarendom Press, Oxford, 1992-2000.
- Artur S. d'Avila Garcez , Luis C. Lamb, Dov Gabbay. Razonamiento cognitivo neural-simbólico . Springer, 2009. ISBN 978-3540732457
- Michael D. Fisher, Dov M. Gabbay, Lluis Vila (eds). Manual de razonamiento temporal en inteligencia artificial. Elsevier, 2005.
- Dov M. Gabbay: Fundamentos teóricos del razonamiento no monótono en sistemas expertos . En: Apt KR (ed) Lógicas y modelos de sistemas concurrentes. Serie ASI de la OTAN (Serie F: Ciencias informáticas y de sistemas), vol 13. Springer, Berlín, Heidelberg, págs. 439–457, 1985.
- Dov M. Gabbay (ed.). ¿Qué es un sistema lógico? Estudios en lógica y computación, Oxford University Press, 1994.
- Dov M. Gabbay. Sistemas deductivos etiquetados, vol. 1. Clarendon Press, Oxford, 1996. ISBN 9780198538332
- Dov M. Gabbay. Lógicas de Fibring. Clarendon Press, Oxford, 1998. ISBN 9780191590108
- Dov M. Gabbay, Ian Hodkinson, Mark Reynolds: Lógica temporal: Fundamentos matemáticos y aspectos computacionales, vol. 1. Clarendon Press, Oxford, 1994. ISBN 978-0198537694
- Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Lógicas modales multidimensionales: teoría y aplicaciones . Holanda Septentrional, 2003.
- Dov M. Gabbay, Amir Pnueli , Saharon Shelah , Jonathan Stavi. Sobre el análisis temporal de la equidad. POPL'80: Actas del Séptimo Simposio Anual SIGPLAN-SIGACT ACM sobre Principios de Lenguajes de Programación, enero de 1980, páginas 163–173, ACM Press.
- Dov M. Gabbay y John Woods . Relevancia de la agenda: un estudio en pragmática formal . Holanda Septentrional, 2003.
- Ruth M. Kempson , Wilfried Meyer-Viol, Dov M. Gabbay: Sintaxis dinámica: el flujo de la comprensión del lenguaje . Blackwell, 2000. ISBN 978-0-631-17612-1
Referencias
- ^ Dov Gabbay en el Proyecto de genealogía matemática
- ^ "Sitio web oficial" . 2019-01-25 . Consultado el 26 de diciembre de 2020 .
- ^ [1] [ enlace muerto ]
- ^ "Publicaciones universitarias - Acerca de nosotros" . www.collegepublications.co.uk .
- ^ Sergei Artemov, Artur d'Avila Garcez, Luís C. Lamb, Howard Barringer y John Woods (2005). ¡Les mostraremos! Ensayos en honor a Dov Gabbay. Vol. 1, vol. 2 . Londres: Federación Internacional de Lógica Computacional, Publicaciones universitarias. ISBN 9781904987123.CS1 maint: varios nombres: lista de autores ( enlace )
enlaces externos
- Página de inicio