non-fluents nf_recon_inst_pomdp__1 {
domain = recon_pomdp;
objects {
x_pos : {x0,x1};
y_pos : {y0,y1};
obj : {o0,o1,o2,o3};
agent : {a1};
tool : {l1,w1,p1};
};
non-fluents {
LIFE_PROB = 0.7;
WATER_PROB = 0.8;
DAMAGE_OBS(w1) = 0.906268373131752;
NOISE_DAMAGE_OBS(w1) = 0.068904884;
DAMAGE_OBS(l1) = 0.9048146903514862;
NOISE_DAMAGE_OBS(l1) = 0.06824952;
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,x0,y0);
objAt(o1,x1,y0);
objAt(o2,x1,y1);
objAt(o3,x0,y0);
HAZARD(x1,y1);
DAMAGE_PROB(w1) = 0.29469067;
DAMAGE_PROB(l1) = 0.33066183;
GOOD_PIC_WEIGHT = 0.19773391;
BAD_PIC_WEIGHT = 0.9231342;
};
}
instance recon_inst_pomdp__1 {
domain = recon_pomdp;
non-fluents = nf_recon_inst_pomdp__1;
init-state {
agentAt(a1,x0,y1);
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}