These four sets specify, in order, which conditions must be true for the action to be executable, which ones must be false, which ones are made true by the action and which ones are made false;# formula_5 is the initial state, given as the set of conditions that are initially true (all others are assumed false);# formula_6 is the specification of the goal state; this is given as a pair formula_7, which specify which conditions are true and false, respectively, in order for a state to be considered a goal state.
В порядке очередности, это условия, которые:## должны быть нарушены (чтобы выполнение операции имело смысл)## нарушаемые данной операцией# formula_5 — начальное состояние — набор условий, которые считаются уже удовлетворенными (все прочие условия считаются неудовлетворенными);# formula_6 — спецификация конечной цели; задается парой formula_7, которая определяет, какие условия должны быть удовлетворены и нарушены, чтобы цель считалась достигнутой.