Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems.
Alban GrastienPublished in: DX (2015)
Keyphrases
- planning problems
- consistency checks
- ai planning
- conformant planning
- probabilistic planning
- classical planning
- heuristic search
- domain independent
- state space
- planning graph
- planning domains
- planning systems
- solving planning problems
- partial observability
- fully observable
- symbolic model checking
- concurrent actions
- optimal planning
- domain independent planning
- causal graph
- htn planning
- stochastic domains
- deterministic domains
- planning under uncertainty
- computationally hard
- macro operators
- binary decision diagrams
- hierarchical task network
- search algorithm