non-fluents nf_recon_inst_mdp__1 {
domain = recon_mdp;
objects {
x_pos : {x0,x1};
y_pos : {y0,y1};
obj : {o0,o1,o2,o3};
agent : {a1};
tool : {l1,w1,p1};
};
non-fluents {
ADJACENT-LEFT(x0, x0);
ADJACENT-DOWN(y0, y0);
ADJACENT-RIGHT(x0, x1);
ADJACENT-UP(y0, y1);
ADJACENT-LEFT(x1, x0);
ADJACENT-DOWN(y1, y0);
ADJACENT-RIGHT(x1, x1);
ADJACENT-UP(y1, y1);
WATER_TOOL(w1);
LIFE_TOOL(l1);
CAMERA_TOOL(p1);
BASE(x0,y1);
objAt(o0,x1,y1);
objAt(o1,x1,y0);
objAt(o2,x0,y0);
objAt(o3,x1,y0);
HAZARD(x1,y0);
DAMAGE_PROB(w1) = 0.29898286;
DAMAGE_PROB(l1) = 0.3058349;
GOOD_PIC_WEIGHT = 0.18377236;
BAD_PIC_WEIGHT = 0.7311116;
};
}
instance recon_inst_mdp__1 {
domain = recon_mdp;
non-fluents = nf_recon_inst_mdp__1;
init-state {
agentAt(a1,x0,y1);
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}