8. Using the symbol defining predicates (block x), (table x), relation predicates (on x, y), (leftnef x, y), and action predicates (move x), represent symbolically the following real world situation transition from situation S1 to situation S2: actions A B A B T T Situation Si Situation S2 Symbol definition predicates for both situations: (block A) (block B) (block C) (table T) (block A) (block B) (block C) (table T) Si relations predicates: actions predicates S2 relations predicates |