Raymond Reiter

Científico informático y lógico canadiense (1939-2002)

Raymond Reiter FRSC ( 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 del razonamiento no monótono con su trabajo sobre lógica predeterminada , diagnóstico basado en modelos , razonamiento de mundo cerrado y sistemas de mantenimiento de la verdad . También contribuyó al cálculo de situaciones . ^{[3] [1] [4] [5]}

Premios y honores

Fue miembro de la Association for Computing Machinery (ACM), miembro de la 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 del diagnóstico a partir de los 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 de completitud 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 pp.). 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 suposiciones: 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 Electronic Transactions on Artificial Intelligence , 2(3–4):159-178.
• F. Pirri y R. Reiter (1999). Algunas contribuciones a la metateoría del cálculo situacional. Journal of the ACM , 46(3):325–361. doi :10.1145/316542.316545

Referencias

1. Raymond Reiter en el Proyecto de Genealogía Matemática
2. 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.
3. Raymond Reiter en el servidor de bibliografía DBLP
4. En memoria de Raymond Reiter, por Jack Minker
5. En memoria de Ray Reiter (1939-2002)