non-fluents nf_game_of_life_inst_pomdp__1 {
domain = game_of_life_pomdp;
objects {
y_pos : {y1, y2, y3};
x_pos : {x1, x2, x3};
};
non-fluents {
NOISE-PROB(x1, y1) = 0.048179165;
NEIGHBOR(x1, y1, x1, y2);
NEIGHBOR(x1, y1, x2, y1);
NEIGHBOR(x1, y1, x2, y2);
NOISE-PROB(x1, y2) = 0.04803688;
NEIGHBOR(x1, y2, x1, y1);
NEIGHBOR(x1, y2, x1, y3);
NEIGHBOR(x1, y2, x2, y1);
NEIGHBOR(x1, y2, x2, y2);
NEIGHBOR(x1, y2, x2, y3);
NOISE-PROB(x1, y3) = 0.049548805;
NEIGHBOR(x1, y3, x1, y2);
NEIGHBOR(x1, y3, x2, y2);
NEIGHBOR(x1, y3, x2, y3);
NOISE-PROB(x2, y1) = 0.037288904;
NEIGHBOR(x2, y1, x1, y1);
NEIGHBOR(x2, y1, x1, y2);
NEIGHBOR(x2, y1, x2, y2);
NEIGHBOR(x2, y1, x3, y1);
NEIGHBOR(x2, y1, x3, y2);
NOISE-PROB(x2, y2) = 0.03825845;
NEIGHBOR(x2, y2, x1, y1);
NEIGHBOR(x2, y2, x1, y2);
NEIGHBOR(x2, y2, x1, y3);
NEIGHBOR(x2, y2, x2, y1);
NEIGHBOR(x2, y2, x2, y3);
NEIGHBOR(x2, y2, x3, y1);
NEIGHBOR(x2, y2, x3, y2);
NEIGHBOR(x2, y2, x3, y3);
NOISE-PROB(x2, y3) = 0.021411933;
NEIGHBOR(x2, y3, x1, y2);
NEIGHBOR(x2, y3, x1, y3);
NEIGHBOR(x2, y3, x2, y2);
NEIGHBOR(x2, y3, x3, y2);
NEIGHBOR(x2, y3, x3, y3);
NOISE-PROB(x3, y1) = 0.04219885;
NEIGHBOR(x3, y1, x2, y1);
NEIGHBOR(x3, y1, x2, y2);
NEIGHBOR(x3, y1, x3, y2);
NOISE-PROB(x3, y2) = 0.04230103;
NEIGHBOR(x3, y2, x2, y1);
NEIGHBOR(x3, y2, x2, y2);
NEIGHBOR(x3, y2, x2, y3);
NEIGHBOR(x3, y2, x3, y1);
NEIGHBOR(x3, y2, x3, y3);
NOISE-PROB(x3, y3) = 0.028544948;
NEIGHBOR(x3, y3, x2, y2);
NEIGHBOR(x3, y3, x2, y3);
NEIGHBOR(x3, y3, x3, y2);
};
}
instance game_of_life_inst_pomdp__1 {
domain = game_of_life_pomdp;
non-fluents = nf_game_of_life_inst_pomdp__1;
init-state {
alive(x1, y3);
alive(x2, y3);
alive(x3, y2);
alive(x3, y3);
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}