25.6 프레임 문제(Frame Problem)의 기원과 맥카시-헤이스 형식화