20.24 STRIPS와 상황 계산법(Situation Calculus)의 관계