AI MCQ #468: __________ algorithm translates a planning problem in to prepositional axioms.

by

Q468. __________ algorithm translates a planning problem in to prepositional axioms.

  • a) GraphPlan
  • b) SatPlan
  • c) Greedy
  • d) None of the mentioned

✅ Correct Answer: B) SatPlan

Explanation: The SATPLAN algorithm translates a planning problem into propositional axioms and applies a satisfiability algorithm to find a model that corresponds a valid plan.