Raymond Reiter fue ante todo un innovador en el campo de la lógica, imparto clases en ciencias de la computación en la universidad de Toronto. En 1993 es acreedor al premio de investigación científica. Jack Minker amigo entrañable de Raymond decía que sus amigos simplemente le llamaban Ray.
Las principales contribuciones de Reiter se dan en el campo de la Inteligencia Artificial, representación del conocimiento, base de datos y prueba de teoremas.
Ray nace en Toronto, Canadá en 1939. Obtiene el título en Matemáticas en 1961 por parte de la Universidad de Toronto, el de Maestría en 1963 por parte de la misma universidad y Su doctorado por parte de la Universidad de Michigan en 1967, el título de su disertación es " A Study of a Model for parallel computations". Escribe diversos artículos, dos libros, el más importante trata sobre sistemas dinámicos. Es editor de diversas revistas especializadas entre ellas se encuentra Theory and practice of logic programs.
Los intereses de Reiter no sólo se concentraron en las ciencias de la computación, matemáticas y la lógica; también era una apasionado lepidóptero inclusive público algunos artículos en revistas especializadas. Gran amante de la música clásica en especial de Wagner.
No obstante, la notoriedad de Reiter dentro del mundo de lógica y la programación la alcanza por su lógica Default, su teoría permite entender la forma en la cual los seres humanos procesamos información. Sus investigaciones se centran en la representación formal del conocimiento, razonamiento en IA y base de datos.
Reiter junto con McCarthy, Doyle y McDermontt se encuentra dentro de los fundadores del razonamiento No-monotónico.
No hay comentarios:
Publicar un comentario