Raymond Reiter
{{Short description|Canadian computer scientist and logician (1939–2002)}}
{{Infobox scientist
| honorific_prefix =
| name =
| honorific_suffix = {{post-nominals|FRSC|size=100%}}
| native_name =
| native_name_lang =
| image =
| image_size =
| image_upright =
| alt =
| caption =
| birth_name =
| birth_date = {{birth date |1939|06|12}}
| birth_place =
| death_date = {{death date and age |2002|09|16 |1939|06|12}}
| death_place =
| death_cause =
| resting_place =
| resting_place_coordinates =
| home_town =
| other_names =
| pronounce =
| residence =
| citizenship =
| nationality =
| fields = Non-monotonic logic
| workplaces = University of Toronto
| patrons =
| education =
| alma_mater = University of Michigan (PhD)
| thesis_title = A Study of a Model for Parallel Computations
| thesis_url = https://dl.acm.org/citation.cfm?id=905071
| thesis_year = 1967
| doctoral_advisor = Harvey Garner
Richard M. Karp
| academic_advisors =
| doctoral_students = Sheila McIlraith{{cite thesis|first=Sheila Ann|last=McIlraith|year=1997|title=Towards a formal account of diagnostic problem solving|hdl=1807/10895|url=https://tspace.library.utoronto.ca/handle/1807/10895|website=utoronto.ca|oclc=46561408|degree=PhD}} {{free access}}
| notable_students =
| known_for =
| influences =
| influenced =
| awards = ACM Fellow
AAAI Fellow
IJCAI Award for Research Excellence
| spouse =
| partner =
| children =
| signature =
| signature_alt =
| website =
| footnotes =
}}Raymond Reiter {{post-nominals|FRSC}} ({{IPAc-en|ˈ|r|aɪ|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.{{DBLP}}{{mathgenealogy}}[http://prism.cs.umd.edu/papers/Min02:reiter_memoriam/Min02:reiter_memoriam.html In Memoriam - Raymond Reiter, by Jack Minker][http://www.aaai.org/ojs/index.php/aimagazine/article/view/1672 In Memory of Ray Reiter (1939-2002)]
Awards and honors
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
- 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
{{reflist}}
{{Authority control}}
{{DEFAULTSORT:Reiter, Ray}}
Category:Canadian artificial intelligence researchers
Category:Canadian computer scientists
Category:Fellows of the Association for the Advancement of Artificial Intelligence
Category:1997 fellows of the Association for Computing Machinery
Category:Fellows of the Royal Society of Canada
Category:University of Michigan alumni
{{Canada-compu-bio-stub}}