SAT-Based Planning with Minimal-#actions Plans and "soft" Goals.
Enrico GiunchigliaMarco MarateaPublished in: AI*IA (2007)
Keyphrases
- classical planning
- nondeterministic domains
- planning domains
- planning problems
- temporally extended goals
- domain independent
- heuristic search
- htn planning
- plan quality
- temporally extended
- ai planning
- deterministic domains
- macro actions
- automated planning
- state space
- plan execution
- initial state
- planning systems
- planning process
- sensing actions
- plan recognition
- planning graph
- concurrent actions
- partially observable
- orders of magnitude
- plan generation
- partial plans
- durative actions
- partial observability
- temporal planning
- heuristic function
- symbolic model checking
- optimal planning
- action sequences
- model checking
- belief space
- partial order planning
- stochastic domains
- search space
- plan library
- bounded model checking
- partial order planner
- linear temporal logic
- planning tasks
- goal state
- probabilistic planning
- constraint solver
- formal verification
- decision theoretic
- situation calculus
- dynamic environments