1 Up to now we have assumed that the plans we create always make sure that an...
Question:
1 Up to now we have assumed that the plans we create always make sure that an action’spre conditions are satisfied. Let us now investigate what propositional successor-state axioms such as HaveArrowt+1⇔ (HaveArrowt ∧ ¬Shoot t) 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 ∧ successor-state axioms ∧ p |= goal ?
c. With first-order successor-state axioms in situation calculus, is it possible to prove that a plan containing illegal actions will achieve the goal?
situation calculus.
Step by Step Answer: