Consider the following argument: In a framework that allows uncertain initial stares, disjunctive effects are just a notational convenience, not a source of additional representational power. For any action schema a with disjunctive effect P V Q, we could always replace it with the conditional effects when R: P ^ when ‘R: Q, which in turn can be reduced to two regular actions. The proposition R stands for a random proposition that is unknown in the initial state and for which there are no sensing actions. Is this argument correct? Consider separately two cases, one in which only one instance of action schema a is in the plan the other in which more than one instance is.

  • CreatedFebruary 14, 2011
  • Files Included
Post your question