John McCarthy and Patrick Hayes discovered the frame problem in 1969. The problem concerns representing the effects of actions in logic...