Raymond Reiter (; June 12, 1939 – September 16, 2002) was a

Canadian Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of ...

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus ( ...

and

logician Logic is the study of correct reasoning. It includes both Mathematical logic, formal and informal logic. Formal logic is the science of Validity (logic), deductively valid inferences or of logical truths. It is a formal science investigating h ...

. He was one of the founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed world reasoning, and

truth maintenance systems {{more footnotes, date=September 2009 Reason maintenanceDoyle, J., 1983. The ins and outs of reason maintenance, in: Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1, IJCAI’83. Morgan Kaufmann Publish ...

. He also contributed to the situation calculus.In Memory of Ray Reiter (1939-2002)
/ref>

Awards and honors

He was a

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

(ACM), an

AAAI Fellow Fellowship of the Association for the Advancement of Artificial Intelligence (abbreviated as AAAI Fellow or FAAAI) is an award granted to individuals that the Association for the Advancement of Artificial Intelligence (AAAI), judged to have made ...

, and a

Fellow of the Royal Society of Canada Fellowship of the Royal Society of Canada (FRSC) is an award granted to individuals that the Royal Society of Canada judges to have "made remarkable contributions in the arts, the humanities and the sciences, as well as in Canadian public li ...

. He won the IJCAI Award for Research Excellence in 1993.

Publications

* R. Reiter (1978). On closed world data bases. In H. Gallaire and J. Minker, editors, ''Logic and Data Bases'', pages 119–140. Plenum., New York. * R. Reiter (1980). A logic for default reasoning. ''Artificial Intelligence'', 13:81-132. * R. Reiter (1987). A theory of diagnosis from first principles. ''Artificial Intelligence'', 32:57-95. * R. Reiter (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, ''Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy'', pages 359–380. Academic Press, New York. * R. Reiter (2001) ''Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems'' (448 pp.). The MIT Press, Cambridge, Massachusetts and London, England. * R. Reiter and J. de Kleer (1987). Foundations of assumption-based truth maintenance systems: Preliminary report. In ''Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)'', pages 183–188. * H. Levesque, F. Pirri, and R. Reiter (1998). Foundations for the situation calculus '' Electronic Transactions on Artificial Intelligence'', 2(3–4):159-178. * F. Pirri and R. Reiter (1999). Some contributions to the metatheory of the Situation Calculus ''

Journal of the ACM The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief An editor-in-c ...

'', 46(3):325–361.

References

Artificial intelligence researchers Canadian computer scientists Fellows of the Association for the Advancement of Artificial Intelligence Fellows of the Association for Computing Machinery Fellows of the Royal Society of Canada 1939 births 2002 deaths University of Michigan alumni {{Canada-compu-bio-stub