Starting the simulation.
New goal conditions: not(raging),safe(gases),not(equipped),not(smokey),not(watery)
for new state at(locker),raging,smokey,energized
Possible actions and their conditions:
Action | Recommended for | Preconditions | Deletions | Additions |
---|---|---|---|---|
extinguish | not(raging) | at(fire),not(energized),raging,equipped,boundaries | raging,boundaries,safe(gases) | watery,smokey |
desmoke | not(smokey) | at(fire),smokey,not(raging) | smokey | [none] |
dewater | not(watery) | at(fire),watery,estimated,not(raging) | watery,estimated | [none] |
deenergize | not(energized) | at(fire),equipped,energized | energized,not(smokey) | smokey |
set(boundaries) | boundaries | at(fire),raging,not(boundaries) | [none] | boundaries,smokey |
test(gases) | safe(gases) | at(fire),equipped,not(safe(gases)),not(raging) | [none] | safe(gases) |
estimate(water) | estimated | at(fire),watery,not(raging),not(smokey) | [none] | estimated |
equip | equipped | at(locker),not(equipped) | [none] | equipped |
store(equipment) | not(equipped) | at(locker),equipped | equipped | [none] |
go(fire) | at(fire) | at(locker) | at(locker) | at(fire) |
go(locker) | at(locker) | at(fire),not(raging),safe(gases),not(watery) | at(fire) | at(locker) |