Raymond Reiter
De Wikipedia, la enciclopedia encyclopedia
Raymond Reiter ( /ˈraɪtər/; 12 de junio de 1939 – 16 de septiembre de 2002) fue un informático y lógico canadiense. Fue uno de los fundadores del campo de la lógica no monótona con su trabajo sobre la lógica por defecto, el diagnóstico basado en modelos y el razonamiento basado en modelos, el razonamiento de mundo cerrado y los sistemas de mantenimiento. También contribuyó al cálculo de situación.[1][2][3]
Datos rápidos Información personal, Nacimiento ...
Raymond Reiter | ||
---|---|---|
Información personal | ||
Nacimiento |
12 de junio de 1939 ![]() Toronto (Canadá) ![]() | |
Fallecimiento |
16 de septiembre de 2002 ![]() | |
Nacionalidad | Canadiense | |
Educación | ||
Educado en |
Universidad de Míchigan ![]() | |
Supervisor doctoral |
Harvey Garner y Richard Karp ![]() | |
Información profesional | ||
Ocupación |
Informático teórico, ingeniero, investigador de la inteligencia artificial y profesor universitario ![]() | |
Área |
Lógica no monotónica ![]() | |
Empleador |
Universidad de Toronto ![]() | |
Miembro de | ||
Distinciones | ||
Cerrar