An Approximation of Action Theories of and Its Application to Conformant Planning.

Tran Cao Son Phan Huy Tu Michael Gelfond A. Ricardo Morales

Published in: LPNMR (2005)

Keyphrases

initial state
action theories
conformant planning
situation calculus
symbolic model checking
state space
belief space
optimal policy
reasoning about actions
finite domain
model checking
planning problems
reinforcement learning
computationally hard
temporal logic
modal logic
probability distribution