Ray Reiter

from Wikipedia, the free encyclopedia

Raymond "Ray" Reiter (born June 12, 1939 in Toronto ; † September 16, 2002 ) was a Canadian computer scientist who dealt with artificial intelligence (AI), databases, automatic evidence systems and knowledge representation.

Reiter was the son of Polish immigrants and studied mathematics at the University of Toronto with a bachelor's degree in 1961 and a master's degree in 1963. He received his doctorate in 1967 at the University of Michigan with Harvey Garner (and Richard M. Karp ) (A Study of a Model for Parallel Computations).

He has contributed to Truth Maintenance Systems , default logics, non-monotonic logic, deductive databases and the calculus of situations by John McCarthy (and Pat Hayes ).

In 1993 he received the IJCAI Award for Research Excellence . He was a Fellow of the Association for Computing Machinery , the Royal Society of Canada, and the AAAI .

He was a butterfly collector, who also traveled to remote areas in the tropics, and an opera fan (especially Richard Wagner ).

Fonts (selection)

  • On closed world data bases, in: H. Gallaire, J. Minker (Eds.), Logic and Data Bases, Plenum Press 1978, pp. 55-76
  • Deductive question answering on relational data bases, in: H. Gallaire, J. Minker (Eds.), Logic and Data Bases, Plenum Press 1978, pp. 147-177
  • A logic for default reasoning. Artificial Intelligence, Volume 13, 1980, pp. 81-132.
  • Towards a logical reconstruction of relational database theory, in ML Brodie, J. Mylopoulos, JW Schmidt (Ed.), Data modeling in Artificial Intelligence, Database and Programming Languages, Springer 1984, pp. 191-233
  • A theory of diagnosis from first principles, Artificial Intelligence, Volume 32, 1987, pp. 57-95.
  • with J. de Kleer: Foundations of assumption-based truth maintenance systems: Preliminary report. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), 1987, pp. 183-188.
  • Nonmonotonic reasoning, Annual Review Computer Science, Volume 2, 1987, pp. 147-186
  • with AK Mackworth: A logical framework for depiction and image interpretation, Artificial Intelligence, Volume 32, 1989, pp. 125-155
  • The frame problem in the calculus situation: a simple solution (sometimes) and a completeness result for goal regression. In: Vladimir Lifshitz (ed.), Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy, Academic Press 1991, pp. 359-380
  • with R. Brachman, H. Levesque (Eds.), Knowledge Representation, MIT Press 1991
  • with H. Levesque, F. Pirri: Foundations for the situation calculus. Electronic Transactions on Artificial Intelligence, Volume 2, 1998, pp. 159-178.
  • with F. Pirri: Some contributions to the metatheory of the Situation Calculus. Journal of the ACM, Vol. 46, 1999, pp. 325-361.
  • Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press 2001

Web links

Individual evidence

  1. ↑ Ray Reiter in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Rider, Ray
ALTERNATIVE NAMES Rider, Raymond
BRIEF DESCRIPTION Canadian computer scientist
DATE OF BIRTH June 12, 1939
PLACE OF BIRTH Toronto
DATE OF DEATH September 16, 2002