Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.
Silvio do Lago PereiraLeliane Nunes de BarrosPublished in: SBIA (2004)
Keyphrases
- classical planning
- logical framework
- planning problems
- belief revision
- domain independent
- heuristic search
- reasoning tasks
- state space
- inference rules
- planning domains
- automated planning
- temporal planning
- ai planning
- argumentation frameworks
- initial state
- belief space
- logic programming
- deterministic domains
- planning graph
- domain specific
- causal graph
- probabilistic planning
- sensing actions
- search strategies
- search algorithm
- temporally extended goals
- heuristic function
- partially observable
- sufficient conditions
- computational complexity