stringtranslate.com

Jose Goguen

Joseph Amadee Goguen ( / ˈ ɡ oʊ ɡ ən / GOH -gən ; 28 de junio de 1941 - 3 de julio de 2006) fue un informático estadounidense . Fue profesor de Ciencias de la Computación en la Universidad de California y la Universidad de Oxford , y ocupó cargos de investigación en IBM y SRI International .

En la década de 1960, junto con Lotfi Zadeh , Goguen fue uno de los primeros investigadores en lógica difusa e hizo profundas contribuciones a la teoría de conjuntos difusos . [1] [2] En la década de 1970, el trabajo de Goguen fue uno de los primeros enfoques para la caracterización algebraica de tipos de datos abstractos y originó y ayudó a desarrollar la familia de lenguajes de programación OBJ . [3] [4] Fue autor de Un manifiesto categórico y fundador [5] y editor en jefe de la Revista de estudios de la conciencia . Su desarrollo de la teoría de las instituciones impactó el campo de la lógica universal . [6] [7] La ​​implicación estándar en la lógica difusa del producto a menudo se denomina "implicación de Goguen". [8] Las categorías de Goguen llevan su nombre. [9] [10]

Estaba casado con Ryoko Amadee Goguen, compositora, pianista y vocalista. [11]

Educación y carrera académica.

Goguen recibió su licenciatura en matemáticas de la Universidad de Harvard en 1963 y su doctorado en matemáticas de la Universidad de California, Berkeley en 1968, donde fue alumno del fundador de la teoría de conjuntos difusos , Lotfi Zadeh . [2]

Enseñó en UC Berkeley , la Universidad de Chicago y la Universidad de California en Los Ángeles , donde fue profesor titular de informática . [2] [12] [13] Obtuvo una beca de investigación en ciencias matemáticas en el IBM Watson Research Center , donde organizó el grupo "ADJ". [12] También visitó la Universidad de Edimburgo en Escocia con tres becas de visita para personas mayores. [5]

De 1979 a 1988, Goguen trabajó en SRI International en Menlo Park , California. De 1988 a 1996, fue profesor en el Laboratorio de Computación de la Universidad de Oxford (ahora Departamento de Ciencias de la Computación de la Universidad de Oxford ) en Inglaterra y miembro del St Anne's College de Oxford . [2] En 1996 se convirtió en profesor de Ciencias de la Computación en la Universidad de California, San Diego . [2]

Áreas de investigación

Los intereses de investigación de Goguen incluían teoría de categorías (una rama de las matemáticas ), ingeniería de software , lógica difusa , semántica algebraica , diseño de interfaz de usuario , semiótica algebraica y los aspectos sociales y éticos de la ciencia y la tecnología. En el prefacio de un libro dedicado a Goguen, Futatsugi, Jouannaud y Meseguer afirmaron que el trabajo de Goguen cambió la forma en que pensamos sobre conceptos como tipos de datos, lenguajes de programación y especificación de software. [14]

En una reseña del trabajo de Goguen sobre conjuntos difusos, Radim Belohlavek escribió: En las primeras etapas del desarrollo de sistemas difusos, Goguen hizo profundas contribuciones con una influencia duradera. [1] Lotfi Zadeh consideró el enfoque de Goguen de 1968 sobre "La lógica de los conceptos inexactos" como fundamental en el campo de la lógica difusa . [2] La tesis doctoral de Goguen "Categorías de conjuntos difusos" [15] fue el primer trabajo en aplicar la teoría de categorías a la lógica difusa, y llevó a que las categorías de Goguen llevaran su nombre. [9] [10]

La investigación de Goguen en la década de 1970 fue uno de los primeros enfoques para la caracterización de autómatas computacionales desde una perspectiva categórica. [3] La investigación de Goguen con Thatcher, Wagner y Wright (también en la década de 1970) fue uno de los primeros trabajos en formalizar la base algebraica para la abstracción de datos. [4]

A principios de la década de 1990, Goguen y Rod Burstall desarrollaron la teoría de las instituciones , una descripción teórica de categorías de los sistemas lógicos en informática. [16] La teoría institucional impactó el desarrollo de la lógica universal y se convirtió en uno de sus aspectos más estudiados. [17] El término " goguenismo carnapiano " se utiliza para referirse a la aplicación de instituciones a las ontologías. [18]

Goguen también estudió la filosofía de la computación y la información, métodos formales (especialmente álgebra oculta y demostración de teoremas ) y programación relacional y funcional . Escribió una retrospectiva de su obra y su contexto, Tossing Algebraic Flowers Down the Great Divide . [19]

Opiniones personales

Goguen era un practicante del budismo tibetano . En concreto, desde principios de los años 1970 fue alumno de Chögyam Trungpa y, tras su muerte en 1987, de su hijo Sakyong Mipham . [5] A finales de la década de 1970 y principios de la de 1980, fue miembro de la facultad del programa de ciencias del Instituto Naropa en Boulder, Colorado .

Libros

Publicaciones Seleccionadas

Ver también

Referencias

  1. ^ ab Radim Belohlavek "Las contribuciones de Goguen a la lógica difusa en retrospectiva" Revista Internacional de Sistemas Generales. Volumen 48, 2019 - Número 8
  2. ^ abcdef Zadeh LA, "Joseph Amadee Goguen (1941-2006): un tributo personal", Fuzzy Sets and Systems 158 : 809–810 (2007). doi :10.1016/j.fss.2007.01.001.
  3. ^ ab Bart Jacobs, "Una revisión bialgebraica de expresiones regulares, autómatas deterministas y lenguajes", en Álgebra, significado y computación , Springer , págs. 375 (2006). ISBN 978-3540354628 . 
  4. ^ ab VS Alagar, "Especificación de sistemas de software", Springer , págs. 216 (1999). ISBN 978-0387984308 . 
  5. ^ abc Burstall R., "Mi amigo Joseph Goguen", en Goguen Festschrift , K. Futatsugi et al. (Eds.), Lecture Notes in Computer Science 4060, Springer , págs. 25-30 (2006).
  6. ^ Razvan Diaconescu, "Tres décadas de teoría institucional", en Universal Logic: An Anthology , Jean-Yves Béziau (Ed.), Springer , págs. 309–322 (2012). ISBN 978-3-0346-0144-3 . 
  7. ^ T. Mossakowski; JA Goguen; R. Diaconescu; A. Tarlecki (2007), "¿Qué es una lógica?: In memoriam Joseph Goguen", en Jean-Yves Beziau (ed.), Logica Universalis: Towards a General Theory of Logic (2ª ed.), Birkhäuser, Basilea, págs. .113–133, doi :10.1007/978-3-7643-8354-1_7
  8. ^ Hájek P., Metamatemáticas de la lógica difusa , Kluwer, Dordrecht, secc. 2.1 (1998). ISBN 0-7923-5238-6 . 
  9. ^ ab Michael Winter, "Categorías de Goguen: un enfoque categórico de las relaciones L-difusas", Springer (2007). ISBN 9781402061639 . 
  10. ^ ab Michael Winter, "Teoría de la representación de las categorías de Goguen", Conjuntos y sistemas difusos 138 (1): 85-126 (2003).
  11. ^ Breve biografía de Ryoko Amadee Goguen, Universidad de California, San Diego, 2005 , consultado el 30 de enero de 2021
  12. ^ ab JA Goguen (1993). "Recuerdos de ADJ". En G. Rozenberg; A. Salomaa (eds.). Tendencias actuales en informática teórica: ensayos y tutoriales . Científico mundial . doi :10.1142/2085. ISBN 978-981-02-1462-3.También JA Goguen. "Recuerdos de ADJ". Universidad de California, San Diego . Consultado el 15 de junio de 2021 .
  13. ^ Joseph Goguen (23 de octubre de 2005). "Breve biografía de Joseph Goguen". Universidad de California, San Diego . Consultado el 26 de septiembre de 2011 .
  14. ^ K. Futatsugi, J. Jouannaud y J. Meseguer "Álgebra, significado y computación" Springer, 2006, ISBN 978-3540354628, págs. vii
  15. ^ JA Goguen, "Categorías de conjuntos difusos: aplicaciones de la teoría de conjuntos no cantorianas", Tesis doctoral, Universidad de California, Berkeley (1968).
  16. ^ JA Goguen y RM Burstall, "Instituciones: teoría de modelos abstractos para especificación y programación", Journal of the ACM 39 : 95-146 (1992).
  17. ^ Răzvan Diaconesc, "De la lógica universal a la informática y viceversa" en Aspectos teóricos de la informática (ICTAC '14), Lecture Notes in Computer Science 8687, Springer , págs. 1-16 (2014).
  18. ^ Oliver Kutz, Till Mossakowski y Dominik Lücke, "Carnap, Goguen y las hiperontologías" Logica Universalis 4 (2): 255–333 (2010).
  19. ^ Goguen, JA, "Lanzando flores algebraicas por la gran división", Universidad de California, San Diego .

enlaces externos