Abstract
We propose an approach to reason about agent planning programs with global information. Agent planning programs can be understood as a network of planning tasks, accommodating long-term goals, non-terminating behaviors, and interactive execution. We provide a technique that relies on reasoning about ``global" dead-ends and that can be incorporated to any planning-based approach to agent planning problems. In doing so, we also introduce the notion of online execution of such planning structures. We provide experimental evidence suggesting the technique yields significant benefits.
Keywords
- Knowledge Representation, Reasoning, and Logic: Action, Change and Causality
- Agent-based and Multi-agent Systems: Agent Theories and Models
- Combinatorial & Heuristic Search: Meta-Reasoning and Meta-heuristics
