CS计算机代考程序代写 // Automatically produced by rddl.translate.RDDL2Format

// Automatically produced by rddl.translate.RDDL2Format
// SPUDD / Symbolic Perseus Format for ‘elevators_pomdp.elevators_inst_pomdp__1′

(variables
(elevator_dir_up__e0 true false)
(elevator_at_floor__e0_f0 true false)
(elevator_at_floor__e0_f1 true false)
(elevator_at_floor__e0_f2 true false)
(person_waiting_up__f0 true false)
(person_waiting_up__f1 true false)
(person_waiting_up__f2 true false)
(person_in_elevator_going_down__e0 true false)
(person_in_elevator_going_up__e0 true false)
(person_waiting_down__f0 true false)
(person_waiting_down__f1 true false)
(person_waiting_down__f2 true false)
(elevator_closed__e0 true false)
)

(observations
(person_in_elevator_going_up_obs__e0 true false)
(person_waiting_obs__f0 true false)
(person_waiting_obs__f1 true false)
(person_waiting_obs__f2 true false)
(person_in_elevator_going_down_obs__e0 true false)
)

init [*
(elevator_dir_up__e0 (true (1.0)) (false (0.0)))
(elevator_at_floor__e0_f0 (true (1.0)) (false (0.0)))
(elevator_at_floor__e0_f1 (true (0.0)) (false (1.0)))
(elevator_at_floor__e0_f2 (true (0.0)) (false (1.0)))
(person_waiting_up__f0 (true (0.0)) (false (1.0)))
(person_waiting_up__f1 (true (0.0)) (false (1.0)))
(person_waiting_up__f2 (true (0.0)) (false (1.0)))
(person_in_elevator_going_down__e0 (true (0.0)) (false (1.0)))
(person_in_elevator_going_up__e0 (true (0.0)) (false (1.0)))
(person_waiting_down__f0 (true (0.0)) (false (1.0)))
(person_waiting_down__f1 (true (0.0)) (false (1.0)))
(person_waiting_down__f2 (true (0.0)) (false (1.0)))
(elevator_closed__e0 (true (1.0)) (false (0.0)))
]

action close_door__e0
elevator_dir_up__e0
(elevator_dir_up__e0
(true (elevator_dir_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_dir_up__e0′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f0
(elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f0′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f0′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f1
(elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f2
(elevator_at_floor__e0_f2
(true (elevator_at_floor__e0_f2′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f2′
(true (0.0))
(false (1.0)))))
person_waiting_up__f0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_waiting_up__f0
(true (elevator_closed__e0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_up__f1
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f1
(true (person_waiting_up__f1
(true (elevator_closed__e0
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497)))))))
person_waiting_up__f2
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (elevator_closed__e0
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0)))))))))))))
person_in_elevator_going_up__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f0
(elevator_dir_up__e0
(true (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f0
(true (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f1
(elevator_dir_up__e0
(true (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (elevator_at_floor__e0_f1
(true (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497)))))))))
person_waiting_down__f2
(elevator_dir_up__e0
(true (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0)))))))))
elevator_closed__e0
(elevator_closed__e0′
(true (1.0))
(false (0.0)))
observe
person_in_elevator_going_up_obs__e0
(person_in_elevator_going_up__e0′
(true (person_in_elevator_going_up_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up_obs__e0′
(true (0.0))
(false (1.0)))))
person_waiting_obs__f0
(person_waiting_up__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f1
(person_waiting_up__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f1′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f2
(person_waiting_up__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down_obs__e0
(person_in_elevator_going_down__e0′
(true (person_in_elevator_going_down_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down_obs__e0′
(true (0.0))
(false (1.0)))))
endobserve
cost [+
(elevator_dir_up__e0
(true (person_in_elevator_going_up__e0
(true (0.75))
(false (0.0))))
(false (0.0)))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_down__e0
(true (0.75))
(false (0.0)))))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_up__e0
(true (3.0))
(false (0.0)))))
(elevator_dir_up__e0
(true (person_in_elevator_going_down__e0
(true (3.0))
(false (0.0))))
(false (0.0)))
(person_waiting_up__f0
(true (person_waiting_down__f0
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (1.0))
(false (0.0)))))
(person_waiting_up__f1
(true (person_waiting_down__f1
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f1
(true (1.0))
(false (0.0)))))
(person_waiting_up__f2
(true (person_waiting_down__f2
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f2
(true (1.0))
(false (0.0)))))
]
endaction

action move_current_dir__e0
elevator_dir_up__e0
(elevator_dir_up__e0
(true (elevator_dir_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_dir_up__e0′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (elevator_closed__e0
(true (elevator_at_floor__e0_f0′
(true (0.0))
(false (1.0))))
(false (elevator_at_floor__e0_f0′
(true (1.0))
(false (0.0))))))
(false (elevator_at_floor__e0_f0′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f0′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f1
(true (elevator_closed__e0
(true (elevator_at_floor__e0_f0′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f0′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f0′
(true (0.0))
(false (1.0)))))))))
elevator_at_floor__e0_f1
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_closed__e0
(true (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0))))
(false (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))))
(false (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0))))
(false (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))))))
(false (elevator_at_floor__e0_f2
(true (elevator_closed__e0
(true (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0)))))))))
elevator_at_floor__e0_f2
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (elevator_at_floor__e0_f2′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (elevator_at_floor__e0_f2′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f2′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f2
(true (elevator_at_floor__e0_f2′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f2′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f2
(true (elevator_closed__e0
(true (elevator_at_floor__e0_f2′
(true (0.0))
(false (1.0))))
(false (elevator_at_floor__e0_f2′
(true (1.0))
(false (0.0))))))
(false (elevator_at_floor__e0_f2′
(true (0.0))
(false (1.0)))))))
person_waiting_up__f0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_waiting_up__f0
(true (elevator_closed__e0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_up__f1
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f1
(true (person_waiting_up__f1
(true (elevator_closed__e0
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497)))))))
person_waiting_up__f2
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (elevator_closed__e0
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0)))))))))))))
person_in_elevator_going_up__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f0
(elevator_dir_up__e0
(true (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f0
(true (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f1
(elevator_dir_up__e0
(true (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (elevator_at_floor__e0_f1
(true (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497)))))))))
person_waiting_down__f2
(elevator_dir_up__e0
(true (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0)))))))))
elevator_closed__e0
(elevator_closed__e0
(true (elevator_closed__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0′
(true (0.0))
(false (1.0)))))
observe
person_in_elevator_going_up_obs__e0
(person_in_elevator_going_up__e0′
(true (person_in_elevator_going_up_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up_obs__e0′
(true (0.0))
(false (1.0)))))
person_waiting_obs__f0
(person_waiting_up__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f1
(person_waiting_up__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f1′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f2
(person_waiting_up__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down_obs__e0
(person_in_elevator_going_down__e0′
(true (person_in_elevator_going_down_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down_obs__e0′
(true (0.0))
(false (1.0)))))
endobserve
cost [+
(elevator_dir_up__e0
(true (person_in_elevator_going_up__e0
(true (0.75))
(false (0.0))))
(false (0.0)))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_down__e0
(true (0.75))
(false (0.0)))))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_up__e0
(true (3.0))
(false (0.0)))))
(elevator_dir_up__e0
(true (person_in_elevator_going_down__e0
(true (3.0))
(false (0.0))))
(false (0.0)))
(person_waiting_up__f0
(true (person_waiting_down__f0
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (1.0))
(false (0.0)))))
(person_waiting_up__f1
(true (person_waiting_down__f1
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f1
(true (1.0))
(false (0.0)))))
(person_waiting_up__f2
(true (person_waiting_down__f2
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f2
(true (1.0))
(false (0.0)))))
]
endaction

action noop
elevator_dir_up__e0
(elevator_dir_up__e0
(true (elevator_dir_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_dir_up__e0′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f0
(elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f0′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f0′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f1
(elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f2
(elevator_at_floor__e0_f2
(true (elevator_at_floor__e0_f2′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f2′
(true (0.0))
(false (1.0)))))
person_waiting_up__f0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_waiting_up__f0
(true (elevator_closed__e0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_up__f1
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f1
(true (person_waiting_up__f1
(true (elevator_closed__e0
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497)))))))
person_waiting_up__f2
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (elevator_closed__e0
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0)))))))))))))
person_in_elevator_going_up__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f0
(elevator_dir_up__e0
(true (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f0
(true (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f1
(elevator_dir_up__e0
(true (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (elevator_at_floor__e0_f1
(true (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497)))))))))
person_waiting_down__f2
(elevator_dir_up__e0
(true (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0)))))))))
elevator_closed__e0
(elevator_closed__e0
(true (elevator_closed__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0′
(true (0.0))
(false (1.0)))))
observe
person_in_elevator_going_up_obs__e0
(person_in_elevator_going_up__e0′
(true (person_in_elevator_going_up_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up_obs__e0′
(true (0.0))
(false (1.0)))))
person_waiting_obs__f0
(person_waiting_up__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f1
(person_waiting_up__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f1′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f2
(person_waiting_up__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down_obs__e0
(person_in_elevator_going_down__e0′
(true (person_in_elevator_going_down_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down_obs__e0′
(true (0.0))
(false (1.0)))))
endobserve
cost [+
(elevator_dir_up__e0
(true (person_in_elevator_going_up__e0
(true (0.75))
(false (0.0))))
(false (0.0)))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_down__e0
(true (0.75))
(false (0.0)))))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_up__e0
(true (3.0))
(false (0.0)))))
(elevator_dir_up__e0
(true (person_in_elevator_going_down__e0
(true (3.0))
(false (0.0))))
(false (0.0)))
(person_waiting_up__f0
(true (person_waiting_down__f0
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (1.0))
(false (0.0)))))
(person_waiting_up__f1
(true (person_waiting_down__f1
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f1
(true (1.0))
(false (0.0)))))
(person_waiting_up__f2
(true (person_waiting_down__f2
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f2
(true (1.0))
(false (0.0)))))
]
endaction

action open_door_going_down__e0
elevator_dir_up__e0
(elevator_dir_up__e0′
(true (0.0))
(false (1.0)))
elevator_at_floor__e0_f0
(elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f0′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f0′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f1
(elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f2
(elevator_at_floor__e0_f2
(true (elevator_at_floor__e0_f2′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f2′
(true (0.0))
(false (1.0)))))
person_waiting_up__f0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_waiting_up__f0
(true (elevator_closed__e0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_up__f1
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f1
(true (person_waiting_up__f1
(true (elevator_closed__e0
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497)))))))
person_waiting_up__f2
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (elevator_closed__e0
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0)))))))))))))
person_in_elevator_going_up__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f0
(elevator_dir_up__e0
(true (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f0
(true (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f1
(elevator_dir_up__e0
(true (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (elevator_at_floor__e0_f1
(true (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497)))))))))
person_waiting_down__f2
(elevator_dir_up__e0
(true (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0)))))))))
elevator_closed__e0
(elevator_closed__e0′
(true (0.0))
(false (1.0)))
observe
person_in_elevator_going_up_obs__e0
(person_in_elevator_going_up__e0′
(true (person_in_elevator_going_up_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up_obs__e0′
(true (0.0))
(false (1.0)))))
person_waiting_obs__f0
(person_waiting_up__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f1
(person_waiting_up__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f1′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f2
(person_waiting_up__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down_obs__e0
(person_in_elevator_going_down__e0′
(true (person_in_elevator_going_down_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down_obs__e0′
(true (0.0))
(false (1.0)))))
endobserve
cost [+
(elevator_dir_up__e0
(true (person_in_elevator_going_up__e0
(true (0.75))
(false (0.0))))
(false (0.0)))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_down__e0
(true (0.75))
(false (0.0)))))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_up__e0
(true (3.0))
(false (0.0)))))
(elevator_dir_up__e0
(true (person_in_elevator_going_down__e0
(true (3.0))
(false (0.0))))
(false (0.0)))
(person_waiting_up__f0
(true (person_waiting_down__f0
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (1.0))
(false (0.0)))))
(person_waiting_up__f1
(true (person_waiting_down__f1
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f1
(true (1.0))
(false (0.0)))))
(person_waiting_up__f2
(true (person_waiting_down__f2
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f2
(true (1.0))
(false (0.0)))))
]
endaction

action open_door_going_up__e0
elevator_dir_up__e0
(elevator_dir_up__e0′
(true (1.0))
(false (0.0)))
elevator_at_floor__e0_f0
(elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f0′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f0′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f1
(elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f1′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f1′
(true (0.0))
(false (1.0)))))
elevator_at_floor__e0_f2
(elevator_at_floor__e0_f2
(true (elevator_at_floor__e0_f2′
(true (1.0))
(false (0.0))))
(false (elevator_at_floor__e0_f2′
(true (0.0))
(false (1.0)))))
person_waiting_up__f0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_waiting_up__f0
(true (elevator_closed__e0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_waiting_up__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_up__f1
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f1
(true (person_waiting_up__f1
(true (elevator_closed__e0
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497))))))))
(false (person_waiting_up__f1
(true (person_waiting_up__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f1′
(true (0.048779503))
(false (0.951220497)))))))
person_waiting_up__f2
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (elevator_closed__e0
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f2
(true (person_waiting_up__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_up__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0))))))))
(false (person_in_elevator_going_down__e0
(true (person_in_elevator_going_down__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down__e0′
(true (0.0))
(false (1.0)))))))))))))
person_in_elevator_going_up__e0
(elevator_dir_up__e0
(true (elevator_at_floor__e0_f0
(true (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f0
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f1
(true (elevator_at_floor__e0_f2
(true (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))
(false (person_waiting_up__f1
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_up__f2
(true (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (elevator_closed__e0
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))))))))))
(false (elevator_at_floor__e0_f2
(true (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0))))
(false (person_in_elevator_going_up__e0
(true (person_in_elevator_going_up__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up__e0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f0
(elevator_dir_up__e0
(true (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f0
(true (person_waiting_down__f0
(true (elevator_closed__e0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f0
(true (person_waiting_down__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (0.0))
(false (1.0)))))))))
person_waiting_down__f1
(elevator_dir_up__e0
(true (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (elevator_at_floor__e0_f1
(true (person_waiting_down__f1
(true (elevator_closed__e0
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497))))))
(false (person_waiting_down__f1
(true (person_waiting_down__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (0.048779503))
(false (0.951220497)))))))))
person_waiting_down__f2
(elevator_dir_up__e0
(true (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (elevator_at_floor__e0_f2
(true (person_waiting_down__f2
(true (elevator_closed__e0
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0))))))
(false (person_waiting_down__f2
(true (person_waiting_down__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (0.0))
(false (1.0)))))))))
elevator_closed__e0
(elevator_closed__e0′
(true (0.0))
(false (1.0)))
observe
person_in_elevator_going_up_obs__e0
(person_in_elevator_going_up__e0′
(true (person_in_elevator_going_up_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_up_obs__e0′
(true (0.0))
(false (1.0)))))
person_waiting_obs__f0
(person_waiting_up__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f0′
(true (person_waiting_obs__f0′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f0′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f1
(person_waiting_up__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f1′
(true (person_waiting_obs__f1′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f1′
(true (0.0))
(false (1.0)))))))
person_waiting_obs__f2
(person_waiting_up__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_down__f2′
(true (person_waiting_obs__f2′
(true (1.0))
(false (0.0))))
(false (person_waiting_obs__f2′
(true (0.0))
(false (1.0)))))))
person_in_elevator_going_down_obs__e0
(person_in_elevator_going_down__e0′
(true (person_in_elevator_going_down_obs__e0′
(true (1.0))
(false (0.0))))
(false (person_in_elevator_going_down_obs__e0’
(true (0.0))
(false (1.0)))))
endobserve
cost [+
(elevator_dir_up__e0
(true (person_in_elevator_going_up__e0
(true (0.75))
(false (0.0))))
(false (0.0)))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_down__e0
(true (0.75))
(false (0.0)))))
(elevator_dir_up__e0
(true (0.0))
(false (person_in_elevator_going_up__e0
(true (3.0))
(false (0.0)))))
(elevator_dir_up__e0
(true (person_in_elevator_going_down__e0
(true (3.0))
(false (0.0))))
(false (0.0)))
(person_waiting_up__f0
(true (person_waiting_down__f0
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f0
(true (1.0))
(false (0.0)))))
(person_waiting_up__f1
(true (person_waiting_down__f1
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f1
(true (1.0))
(false (0.0)))))
(person_waiting_up__f2
(true (person_waiting_down__f2
(true (2.0))
(false (1.0))))
(false (person_waiting_down__f2
(true (1.0))
(false (0.0)))))
]
endaction

reward
(0.0)

discount 1.0
horizon 40