Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License: http://creativecommons.org/licenses/by-nc-sa/2.0/ 21 Use ground atoms for properties that do not change, e.g., adjacent(loc1,loc2) For properties that can change, assign values to state variables  Like fields in a record structure Classical and state-variable representations take similar amounts of space  Each can be translated into the other in low-order polynomial time State-Variable Representation s 1 = { top(p1)=c3, cpos(c3)=c1, cpos(c1)=pallet, holding(crane1)=nil, rloc(r1)=loc2, loaded(r1)=nil, … }
{}