25.7 프레임 문제의 형식적 정의: 상황 계산법(Situation Calculus) 기반 기술