Non-Markovian control in the Situation Calculus.

Alfredo Gabaldon

Published in: Artif. Intell. (2011)

Keyphrases

situation calculus
event calculus
action theories
initial state
reasoning tasks
reasoning about actions
blocks world
fluent calculus
provably correct
modal logic
concurrent actions
logical language
sensing actions
agent programming
indirect effects
optimal control
logical theories
reinforcement learning