non-fluents nf_game_of_life_inst_pomdp__1 {
domain = game_of_life_pomdp;
objects {
x_pos : {x1,x2,x3};
y_pos : {y1,y2,y3};
};
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;
}