hanks-mcdermott-yale-shooting-objections

Summary

Hanks and McDermott showed that a well-known reasoning scenario (the Yale shooting problem) breaks the default-logic approach to the frame problem, meaning that simply assuming "things stay the same unless told otherwise" does not reliably handle situations where an action's indirect effects matter. This matters because it flags a gap in how the system might reason about change and persistence in planning tasks.