Loading timeline…
19801980s
Raymond Reiter
Founder of non-monotonic reasoning — the logic of conclusions you withdraw when better information arrives.
Organizations
University of TorontoUniversity of British Columbia
Major Achievements
- •Introduced default logic (1980), letting a system reason with assumptions it may later retract.
- •Founded non-monotonic reasoning, addressing the brittleness of classical logic in the face of incomplete knowledge.
- •Developed the closed-world assumption and foundational work on diagnosis from first principles.
- •Advanced the situation calculus for reasoning about action and change.
Key Papers
- A Logic for Default Reasoning
Raymond Reiter · Artificial Intelligence · 1980