Axioms in Model-based Planners
arXiv (Cornell University)2017
Citations Over Time
Abstract
Axioms can be used to model derived predicates in domain- independent planning models. Formulating models which use axioms can sometimes result in problems with much smaller search spaces and shorter plans than the original model. Previous work on axiom-aware planners focused solely on state- space search planners. We propose axiom-aware planners based on answer set programming and integer programming. We evaluate them on PDDL domains with axioms and show that they can exploit additional expressivity of axioms.
Related Papers
- → Variants of the axiom of choice in set theory with atoms(1973)27 cited
- → Properties of the real line and weak forms of the Axiom of Choice(2005)1 cited
- → A Stronger System of Object Theory as a Prototype of Set Theory(1963)5 cited
- → The axiom of choice(1983)
- → CONTRADICTIONS WITHIN ZERMELO–FRAENKEL SET THEORY WITH AXIOM OF CHOICE(2020)