The STRIPS representation for an action consists of what?
Preconditions: a set of assignments of values to variables that must be true for the action to occur
Effects: a set of resulting assignments of values to those variables that change as the result of the action
What is the STRIPS assumption?
All of the variables not mentioned in the description of an action stay unchanged when the action is carried out.
What is a causal rule? What is a frame rule?
Rules: specify the value of each variable in the state resulting from an action.
Body of the rules:
Rules have two forms: