The Chess Problem

[olufjen]

Replace the constants of the goal State with variables?
Or create non ground action schemas

[olufjen]

The occupy action:
Action(occupypos)
PRECOND:^occupies(byPiece,posy)^REACHABLE(byPiece,posx)^PIECETYPE(byPiece,type)
EFFECT:^occupies(byPiece,posx)
State constants:
WhitePawn1
a2
PAWN
a3
a4
b3
WhiteKnight1
WhitePawn2
WhitePawn3
A propositionalized action schema:
Action(occupypos)
PRECOND:^occupies(a4,a2)^REACHABLE(a4,a3)^PIECETYPE(a4,b3)
EFFECT:^occupies(a4,a3)

No effect???: Check variables
Action(occupypos)
PRECOND:^occupies(a4,a3)^REACHABLE(a4,a2)^PIECETYPE(a4,b3)
EFFECT:^occupies(a4,a2)

[olufjen]

Changing initial state content creates problems for graphplan