Dov Gabbay - Dov Gabbay
Dov M. Gabbay | |
---|---|
Nacido | 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. 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 |
Ciencias de la Computación 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 |
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 .
Trabajo
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 fibring lógicas y la teoría de sistemas deductivos etiquetados.
Es presidente y fundador de varias conferencias internacionales, ejecutivo de la Fundación Europea de Lógica, Lenguaje e Información y presidente del International IGPL Logic Group. Es fundador y copresidente de la Federación Internacional de Lógica Computacional. 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 por parte de los autores. Un Festschrift en su honor en dos volúmenes fue publicado en 2005 por College Publications.
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 Lady Davis de Lógica, Universidad de Bar-Ilan
- 1983–1998 - Profesor de Computación, 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 7º 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 comprensión del lenguaje . Blackwell, 2000. ISBN 978-0-631-17612-1