Problem Successor state axioms do not rule out ridiculous plans such as (1 fly p1 sfo jfk) &(1 fly p1 jfk sfo) · The plan is a model Need precondition axioms 0ct.222003 16.410/13, Programming SATPlan, Greg SullivanProblem • Successor state axioms do not rule out ridiculous plans such as: (1 fly p1 sfo jfk) & (1 fly p1 jfk sfo) • The plan is a model • Need precondition axioms. Oct. 22, 2003 16.410/13, Programming SATPlan, Greg Sullivan 10