Google News
logo
Artificial Intelligence - Quiz(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.

Advertisement