Approximation of action theories and its application to conformant planning