shanahan-1997-solving-frame-problem-mit-press

Summary

Shanahan's 1997 book is being treated as the single authoritative source for the rigorous math behind how an agent figures out what changes and what stays the same when it acts in the world. This matters because it pins the system's understanding of change-and-persistence reasoning to one canonical reference rather than spreading it across multiple competing treatments.