The Dynamic Logic of Policies and Contingent Planning.
Thomas BolanderThorsten EngesserAndreas HerzigRobert MattmüllerBernhard NebelPublished in: JELIA (2019)
Keyphrases
- dynamic logic
- macro actions
- modal logic
- reasoning about actions
- imperative programs
- stochastic domains
- partially observable markov decision processes
- heuristic search
- planning problems
- agent programming
- domain independent
- temporally extended
- artificial intelligence
- planning process
- optimal policy
- sufficient conditions
- dynamic programming
- predictive state representations
- high level