next up previous

deliverCoffee(p,t) .
displaymath1073
tex2html_wrap_inline1075

Thus, the expressive set of Golog operators allows to encode easily domain knowledge as constraints on the MDP problem.