Raymond Reiter

Raymond Reiter ( / ˈ r aɪ t ər / ; 12 de junio de 1939 – 16 de septiembre de 2002) fue un científico informático y lógico canadiense . Fue uno de los fundadores del campo del razonamiento no monótono con su trabajo sobre lógica por defecto , 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 ]}

Fue miembro de la Association for Computing Machinery (ACM), miembro de la AAAI y miembro de la Royal Society of Canada . En 1993, recibió el premio IJCAI a la excelencia en la investigación .

• R. Reiter (1978). Sobre bases de datos de mundo cerrado. En H. Gallaire y J. Minker, editores, Lógica y bases de datos , 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 desde 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 la especificación e implementación de 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 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 de situaciones. Journal of the ACM , 46(3):325–361. doi : 10.1145/316542.316545