Determination of action model equivalence and simplification of action model