adplus-dvertising
Artificial Intelligence MCQ
_________ algorithm translates a planning problem in to prepositional axioms.
A)
Greedy
B)
GraphPlan
C)
SatPlan
D)
None of the above

Correct Answer : Option (C) :   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.