Raymond Reiter
Encyclopedia
Raymond Reiter 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.
Canada
Canada is a North American country consisting of ten provinces and three territories. Located in the northern part of the continent, it extends from the Atlantic Ocean in the east to the Pacific Ocean in the west, and northward into the Arctic Ocean...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
and logician. He was one of the founders of the field of non-monotonic reasoning
Non-monotonic logic
A non-monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences. Intuitively, monotonicity indicates that learning a...
with his work on default logic
Default logic
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 something is false...
, model-based diagnosis, closed world reasoning
Closed world assumption
The closed world assumption 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 the open world assumption , stating that lack of knowledge...
, and truth maintenance systems. He also contributed to the situation calculus
Situation calculus
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991...
.
He was a fellow
Fellow
A fellow in the broadest sense is someone who is an equal or a comrade. The term fellow is also used to describe a person, particularly by those in the upper social classes. It is most often used in an academic context: a fellow is often part of an elite group of learned people who are awarded...
of the ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
, the AAAI, and the Royal Society of Canada
Royal Society of Canada
The Royal Society of Canada , may also operate under the more descriptive name RSC: The Academies of Arts, Humanities and Sciences of Canada , is the oldest association of scientists and scholars in Canada...
. He won the IJCAI Award for Research Excellence
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...
in 1993.