25.18 프레임 문제의 해결 접근 2: 후계 상태 공리(Successor-State Axiom)