Raymond Reiter FRSC ( / r aɪ t ər / ; 12 junio 1939 hasta 16 septiembre 2002) era un canadiense científico informático y lógico . Fue uno de los fundadores del campo del razonamiento no monótono con su trabajo sobre la lógica predeterminada , el diagnóstico basado en modelos , el razonamiento de mundo cerrado y los sistemas de mantenimiento de la verdad . También contribuyó al cálculo de situaciones . [3] [1] [4] [5]
Raymond Reiter FRSC | |
---|---|
Nació | 12 de junio de 1939 |
Fallecido | 16 de septiembre de 2002 | (63 años)
alma mater | Universidad de Michigan (PhD) |
Premios | ACM Fellow AAAI Fellow IJCAI Award for Research Excellence |
Carrera científica | |
Campos | Lógica no monótona |
Instituciones | Universidad de Toronto |
Tesis | Un estudio de un modelo para cálculos paralelos (1967) |
Asesor de doctorado | Harvey Garner Richard M. Karp [1] |
Estudiantes de doctorado | Sheila McIlraith [1] [2] |
Premios y honores
Fue miembro de la Association for Computing Machinery (ACM), miembro de AAAI y miembro de la Royal Society of Canada . Ganó el premio IJCAI a la excelencia en investigación en 1993.
Publicaciones
- R. Reiter (1978). Sobre bases de datos mundiales cerradas. En H. Gallaire y J. Minker, editores, Logic and Data Bases , páginas 119–140. Plenum., Nueva York.
- R. Reiter (1980). Una lógica para el razonamiento por defecto. Inteligencia artificial , 13: 81-132.
- R. Reiter (1987). Una teoría de diagnóstico a partir de primeros principios. Inteligencia artificial , 32: 57-95.
- R. Reiter (1991). El problema del marco en el cálculo de situaciones: una solución simple (a veces) y un resultado completo para la regresión de objetivos. En Vladimir Lifschitz, editor, Inteligencia artificial y teoría matemática de la computación: artículos en honor a John McCarthy , páginas 359–380. Academic Press, Nueva York.
- R. Reiter (2001) Conocimiento en acción: fundamentos lógicos para especificar e implementar sistemas dinámicos (448 págs.). The MIT Press, Cambridge, Massachusetts y Londres, Inglaterra.
- R. Reiter y J. de Kleer (1987). Fundamentos de los sistemas de mantenimiento de la verdad basados en supuestos: Informe preliminar. En Actas de la Sexta Conferencia Nacional sobre Inteligencia Artificial (AAAI'87) , páginas 183–188.
- H. Levesque, F. Pirri y R. Reiter (1998). Fundamentos para el cálculo de situaciones Transacciones electrónicas sobre inteligencia artificial , 2 (3-4): 159-178.
- F. Pirri y R. Reiter (1999). Algunas contribuciones a la metateoría del Situation Calculus Journal of the ACM , 46 (3): 325–361. doi : 10.1145 / 316542.316545
Referencias
- ^ a b c Raymond Reiter en el Proyecto de genealogía de matemáticas
- ^ McIlraith, Sheila Ann (1997). Hacia una explicación formal de la resolución de problemas de diagnóstico . utoronto.ca (tesis doctoral). hdl : 1807/10895 . OCLC 46561408 .
- ^ Raymond Reiter en elservidor de bibliografía DBLP
- ^ In Memoriam - Raymond Reiter, por Jack Minker
- ^ En memoria de Ray Reiter (1939-2002)