P3




% P3

%

% block(0).

% block(1).

% block(2).

% block(3).

% block(4).

% block(5).

% block(6).

% block(7).

% initial state:

% 2 7

% 3 4 6

% 0 1 5

% ---------

% goal state:

% 7 5

% 3 2 0

% 4 6 1

% ---------

% dl -FP blocks.plan P.bk P3.plan -N=7 -planlength=8

initially:

on(0, table). on(1, table). on(5, table).

on(3, 0). on(4, 1). on(2, 3).

on(6, 5). on(7, 6).

goal:

on(4, table), on(6, table), on(1, table), on(3, 4), on(2, 6), on(0, 1), on(7, 3), on(5, 0) ?