Shakey's planning programs assessed the program structure and broke it down into the necessary steps to complete the desired action.
[REF][REF][REF] The frame problem describes an issue with using first-order logic (FOL) to express facts about a robot in the world.