# Raymond Reiter

> Canadian computer scientist (1939-2002)

**Wikidata**: [Q7299101](https://www.wikidata.org/wiki/Q7299101)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Raymond_Reiter)  
**Source**: https://4ort.xyz/entity/raymond-reiter

## Summary
Raymond Reiter was a Canadian computer scientist known for his pioneering work in artificial intelligence, particularly in non-monotonic logic. He was a professor at the University of Toronto and made significant contributions to knowledge representation and reasoning. His work has had a lasting impact on the field of AI and computer science.

## Biography
- Born: June 12, 1939, in Toronto, Canada
- Nationality: Canadian
- Education: University of Michigan (doctoral degree)
- Known for: Non-monotonic logic and knowledge representation
- Employer(s): University of Toronto
- Field(s): Computer science, artificial intelligence, engineering

## Contributions
Raymond Reiter was a leading figure in the development of non-monotonic logic, a key area in artificial intelligence that deals with reasoning in the presence of incomplete or changing information. His work on default logic and the situation calculus has been foundational to the field of knowledge representation. Reiter published numerous influential papers and books, including "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems" (2001). His research has been widely cited and has influenced generations of AI researchers. Reiter also supervised many doctoral students who have gone on to make their own contributions to computer science and AI.

## FAQs
### Q: What is Raymond Reiter most known for in computer science?
A: Raymond Reiter is most known for his pioneering work in non-monotonic logic and knowledge representation, particularly his development of default logic and contributions to the situation calculus.

### Q: Where did Raymond Reiter work as a professor?
A: Raymond Reiter was a professor at the University of Toronto, where he made significant contributions to computer science and artificial intelligence research.

### Q: What awards did Raymond Reiter receive for his work?
A: Raymond Reiter received several prestigious awards, including the IJCAI Award for Research Excellence in 1993, AAAI Fellow in 1990, and ACM Fellow in 1997.

## Why They Matter
Raymond Reiter's work in non-monotonic logic and knowledge representation has been fundamental to the advancement of artificial intelligence. His theories and frameworks have provided the logical foundations for many AI systems that deal with incomplete or changing information. Without Reiter's contributions, the field of AI would lack crucial tools for reasoning about dynamic environments and default assumptions. His influence extends beyond his own research through his students and the widespread adoption of his ideas in both academia and industry.

## Notable For
- Pioneering work in non-monotonic logic and default reasoning
- Development of the situation calculus for reasoning about action and change
- Author of influential books on knowledge representation and AI
- Supervised numerous doctoral students who became prominent researchers
- Recipient of multiple prestigious awards in computer science and AI

## Body
### Early Life and Education
Raymond Reiter was born on June 12, 1939, in Toronto, Canada. He pursued his higher education at the University of Michigan, where he earned his doctoral degree.

### Academic Career
Reiter spent much of his career as a professor at the University of Toronto. His work focused on the logical foundations of artificial intelligence, particularly in areas of non-monotonic reasoning and knowledge representation.

### Key Research Areas
Reiter's research centered on:
- Non-monotonic logic and default reasoning
- Situation calculus for reasoning about action and change
- Knowledge representation formalisms
- Logical foundations for AI systems

### Major Publications
Some of Reiter's most influential works include:
- "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems" (2001)
- Numerous papers on default logic and non-monotonic reasoning

### Legacy and Influence
Reiter's work has had a lasting impact on the field of AI and computer science. His theories and frameworks continue to be used and built upon by researchers worldwide. Many of his doctoral students have gone on to become prominent figures in their own right, further extending his influence in the field.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Raymond Reiter",
  "jobTitle": "Computer Scientist",
  "worksFor": {
    "@type": "Organization",
    "name": "University of Toronto"
  },
  "nationality": {
    "@type": "Country",
    "name": "Canada"
  },
  "birthDate": "1939-06-12",
  "birthPlace": "Toronto, Canada",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Michigan"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Artificial Intelligence",
    "Non-monotonic Logic",
    "Knowledge Representation"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q328",
    "https://en.wikipedia.org/wiki/Raymond_Reiter"
  ],
  "description": "Canadian computer scientist known for pioneering work in non-monotonic logic and knowledge representation"
}

## References

1. BnF authorities
2. [Source](https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/)
3. [Source](https://awards.acm.org/fellows/award-recipients)
4. Mathematics Genealogy Project
5. general catalog of BnF
6. Virtual International Authority File
7. CiNii Research
8. [Source](https://discoverarchives.library.utoronto.ca/index.php/raymond-reiter-fonds)
9. National Library of Israel Names and Subjects Authority File