Hello Professor, In our Spare Tire Problem, we have At(Flat, Axle). What if we have two flat tires, will Init become Init( Tire(Flat1) and Tire(Flat2) and Tire(Spare1) and Tire(Spare2) and At(Flat1, Axle1) and At(Flat2, Axle2) and At(Spare1, Trunk) and At(Spare2, Trunk) ) (I am using 'and' in place of wedge sign)?

-- Lecture 11/14/22

Are you asking how the problem could be modified? What you wrote is a plausible initial state. You would also need to adjust the goal and the actions. Best, Chris

-- Lecture 11/14/22

Right, I was thinking about modifying the problem. For the goal, is there more than one possible goal? I can see one goal has At(Spare1, Axle1) and At(Spare2, Axle2), and another with At(Spare2, Axle1) and At(Spare1, Axle2). Do we just decide which kind of goal we want, and let it be that?

-- Lecture 11/14/22

Yeah, you get to decide how the problem is framed and how realistic you want things. For example, I don't think most people have two spare tires in their car. Best, Chris