Question

__________ algorithm translates a planning problem in to prepositional axioms.

(a) GraphPlan

(b) SatPlan

(c) Greedy

(d) None of the mentioned

The question was posed to me during a job interview.

This intriguing question originated from Planning and Acting in the Real World in portion Planning and Acting in the Real World of Artificial Intelligence

Select the correct answer from above options

Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience

Answer 1

Right choice is (b) SatPlan

Best 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.