Question: Up to now we have assumed that actions arc only executed in the appropriate situations. Let us see what propositional successor-state axioms such as Equation

Up to now we have assumed that actions arc only executed in the appropriate situations. Let us see what propositional successor-state axioms such as Equation (11.1) have to say about actions whose preconditions are not satisfied.

a. Show that the axioms predict that nothing will happen when an action is executed in a state where its preconditions are not satisfied.

b. Consider a plan p that contains the actions required to achieve a goal but also includes illegal actions, is it the case that initial state A successor-state axioms ^ p │= goal?

c. With first-order successor-slate axioms in situation calculus (as in), is it possible to prove that a plan containing illegal actions will achieve the goal?

Step by Step Solution

3.32 Rating (176 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

STRIPS Language Only positive literals in states Poor Unknown Closed World Assumption Unmentioned li... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Document Format (1 attachment)

Word file Icon

21-C-S-A-I (172).docx

120 KBs Word File

Students Have Also Explored These Related Artificial Intelligence Questions!