Encoding Actions (action(fly(p plane)(from airport)(to airport) ((plane-at p from) ((not (plane-at p from)(plane-at p to) Base encoding on successor state axioms presented in r&n ch ch 7 for the situation calculus 16.410/13, Programming SATPlan, Greg SullivanEncoding Actions (action (fly (p plane) (from airport) (to airport)) ((plane-at p from)) ((not (plane-at p from)) (plane-at p to))) • Base encoding on successor state axioms presented in R&N ch. 7, for the situation calculus. Oct. 22, 2003 16.410/13, Programming SATPlan, Greg Sullivan 7