mccarthy-proposed-circumscription-solution

Summary

McCarthy introduced circumscription as a way to solve the frame problem: instead of explicitly listing everything that stays unchanged after each action, the system assumes the fewest possible exceptions, defaulting to the idea that nothing is abnormal unless proven otherwise. This keeps knowledge representation tractable by making invariance the default rather than something that must be reasserted for every fact after every event.