Raymond Reiter

Raymond Reiter

Raymond Reiter (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.

He was a fellow of the ACM, the AAAI, and the Royal Society of Canada. He won the IJCAI Award for Research Excellence in 1993.

References

* 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 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). [http://www.ep.liu.se/ej/etai/1998/005 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

External links

* [http://prism.cs.umd.edu/papers/Min02:reiter_memoriam/Min02:reiter_memoriam.html In Memoriam - Raymond Reiter, by Jack Minker]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reiter:Raymond.html Raymond Reiter's Publications on DBLP]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Reiter (Familienname) — Reiter ist ein Familienname. Bekannte Namensträger Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z …   Deutsch Wikipedia

  • Reiter (disambiguation) — Reiter is the German word for horserider. It may indicate:* Reiters, the European cavalry of the 16th and 17th century * Raymond Reiter, computer scientist * Thomas Reiter, German astronaut * Hans Reiter, the medicine researcher who gave his name …   Wikipedia

  • Wayte Raymond (numismatist) — Wayte Raymond (1886 1956) was a numismatist from the United States. He authored several numismatic books and catalogs [California State Numismatic Association. [http://www.calcoin.org/library/usa only.html “U.S.A.: Book titles on this subject in… …   Wikipedia

  • Situationskalkül — Beim Situationskalkül handelt es sich um eine Methode der Künstlichen Intelligenz. Es werden Auswirkungen von Aktionen auf Situationen in einer Modellwelt unter Verwendung der Prädikatenlogik beschrieben. Angewendet wird der Situationskalkül zum… …   Deutsch Wikipedia

  • Frame problem — In artificial intelligence, the frame problem was initially formulated as the problem of expressing a dynamical domain in logic without explicitly specifying which conditions are not affected by an action. John McCarthy and Patrick J. Hayes… …   Wikipedia

  • Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that …   Wikipedia

  • Closed world assumption — The closed world assumption (CWA) is the presumption that what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed world assumption is… …   Wikipedia

  • Default — may refer to: Default (law), the failure to do something required by law Default judgment Default (finance), failure to satisfy the terms of a loan obligation or to pay back a loan Default (computer science), a preset setting or value Default… …   Wikipedia

  • Ronald J. Brachman — Ronald J. Ron Brachman is Vice President of Worldwide Research Operations at Yahoo! Research. Previously, he worked at DARPA as a Program Director of the Cognitive Systems area. Before that, he worked at AT T Bell Laboratories (Murray Hill, NJ)… …   Wikipedia

  • IJCAI Award for Research Excellence — The IJCAI Award for Research Excellence is a biannual award given at the IJCAI conference to researcher in artificial intelligence as a recognition of excellence of their career. The recipients of this award have been:* John McCarthy (1985) *… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”