Initial State: | 1. conjunction of function free ground literals. The literals could be negated, but the closed world assumption is used, so whatever is not explicitely stated is assumed to be false. | Goal: | 1. conjunction of positive ground literals |
Preconditions of operators: | 1. conjunction of positive literals. 2. existentially quantified variables are allowed |
Effects of operators: | 1. conjunction of positive and negative literals. The interpretation is that positive literals describe what is added to the world as an effect of the action and negative literals describe what is deleted from the world. |
---|
Initial State: | 1. conjunction of function free ground literals. | Goal: | 1. conjunction of positive ground literals
+ conjunction of negative literals
+ disjunction of positive or negative literals + variables are (implicitely) considered existentially quantified.
+ universally quantified variables are allowed |
Preconditions of operators: | 1. conjunction of positive literals. + disjunction of positive literals. A disjunction such as "p or q" requires a non deterministic choice. The same effect could be achieved less efficiently by writing two separate operators, one with "p" and one with "q" as precondition. Example: part-of(p,w) or single(p) 2. existentially quantified variables are allowed
+ universally quantified variables allowed |
Effects of operators: | 1. conjunction of positive and negative literals. We do not allow disjunction since this would introduce non determinism.
+ universally quantified variables allowed
+ conditional effects, where both the antecedent (or condition)
and the consequent (or effect) are conjunctions of literals. |
---|