__________ algorithm translates a planning problem in to prepositional axioms. A. GraphPlan B. SatPlan C. Greedy D. None of the mentioned

The correct answer is A. GraphPlan.

GraphPlan is a planning algorithm that translates a planning problem into a propositional calculus problem. It then uses a SAT solver to find a solution to the propositional calculus problem, which is a solution to the planning problem.

SatPlan

41.5 48.3 47.8C117.2 448 288 448 288 448s170.8 0 213.4-11.5c23.5-6.3 42-24.2 48.3-47.8 11.4-42.9 11.4-132.3 11.4-132.3s0-89.4-11.4-132.3zm-317.5 213.5V175.2l142.7 81.2-142.7 81.2z"/> Subscribe on YouTube