The idea is to solve any given problem by producing the minimum number of actions or operators needed to translate the initial state into a given goal state in a block world environment. Also, we used situation calculus to describe anomalies that are the main reason for the redundant actions. ذ. عبدالله بوصحابة الصخور ...