Raymond Reiter
From Wikipedia, the free encyclopedia
Canadian computer scientist and logician (1939–2002)
Raymond Reiter | |
|---|---|
| Born | (1939年06月12日)June 12, 1939 |
| Died | September 16, 2002(2002年09月16日) (aged 63) |
| Alma mater | University of Michigan (PhD) |
| Awards | ACM Fellow AAAI Fellow IJCAI Award for Research Excellence |
| Scientific career | |
| Fields | Non-monotonic logic |
| Institutions | University of Toronto |
| Thesis | A Study of a Model for Parallel Computations (1967) |
| Doctoral advisor | Harvey Garner Richard M. Karp [1] |
| Doctoral students | Sheila McIlraith [1] [2] |
Raymond Reiter FRSC (/ˈraɪtər/ ; June 12, 1939 – September 16, 2002) was a Canadian computer scientist and logician. 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. He also contributed to the situation calculus.[3] [1] [4] [5]
Awards and honors
[edit ]He was a Fellow of the Association for Computing Machinery (ACM), an AAAI Fellow, and a Fellow of the Royal Society of Canada. He won the IJCAI Award for Research Excellence in 1993.
Publications
[edit ]- 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 , 46(3):325–361. doi:10.1145/316542.316545
References
[edit ]- ^ a b c Raymond Reiter at the Mathematics Genealogy Project Edit this at Wikidata
- ^ McIlraith, Sheila Ann (1997). Towards a formal account of diagnostic problem solving. utoronto.ca (PhD thesis). hdl:1807/10895. OCLC 46561408. Free access icon
- ^ Raymond Reiter at DBLP Bibliography Server Edit this at Wikidata
- ^ In Memoriam - Raymond Reiter, by Jack Minker
- ^ In Memory of Ray Reiter (1939-2002)
Flag of Canada Biography icon
.svg){kind=link}
This biographical article relating to a Canadian computer specialist is a stub. You can help Wikipedia by expanding it.
Categories:
- Canadian artificial intelligence researchers
- Canadian computer scientists
- Fellows of the Association for the Advancement of Artificial Intelligence
- 1997 fellows of the Association for Computing Machinery
- Fellows of the Royal Society of Canada
- 1939 births
- 2002 deaths
- University of Michigan alumni
- Canadian computer specialist stubs