non-fluents nf_navigation_inst_pomdp__1 {
domain = navigation_pomdp;
objects {
xpos : {x14,x6,x21,x9};
ypos : {y12,y20,y15};
};
non-fluents {
SOUTH(y15,y12);
GOAL(x21,y20);
SOUTH(y20,y15);
MAX-XPOS(x21);
P(x6,y15) = 0.05405447818338871;
MIN-YPOS(y12);
P(x9,y15) = 0.3148059529873232;
MAX-YPOS(y20);
EAST(x9,x14);
NORTH(y15,y20);
P(x21,y15) = 0.9477809139837822;
P(x14,y15) = 0.6205091684435805;
EAST(x14,x21);
WEST(x9,x6);
WEST(x21,x14);
EAST(x6,x9);
WEST(x14,x9);
NORTH(y12,y15);
MIN-XPOS(x6);
};
}
instance navigation_inst_pomdp__1 {
domain = navigation_pomdp;
non-fluents = nf_navigation_inst_pomdp__1;
init-state {
min-x;
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}