Towards automated modeling assistance: An efficient approach for repairing flawed planning domains

S Lin, A Grastien, P Bercher - Proceedings of the AAAI Conference on …, 2023 - ojs.aaai.org
Designing a planning domain is a difficult task in AI planning. Assisting tools are thus
required if we want planning to be used more broadly. In this paper, we are interested in …

Learning Domain-Independent Heuristics for Grounded and Lifted Planning

DZ Chen, S Thiébaux, F Trevizan - … of the AAAI Conference on Artificial …, 2024 - ojs.aaai.org
We present three novel graph representations of planning tasks suitable for learning domain-
independent heuristics using Graph Neural Networks (GNNs) to guide search. In particular …

Encoding lifted classical planning in propositional logic

D Höller, G Behnke - Proceedings of the International Conference on …, 2022 - ojs.aaai.org
Planning models are usually defined in lifted, ie first order formalisms, while most solvers
need (variable-free) grounded representations. Though techniques for grounding prune …

Deep learning for generalised planning with background knowledge

DZ Chen, R Horčík, G Šír - arxiv preprint arxiv:2410.07923, 2024 - arxiv.org
Automated planning is a form of declarative problem solving which has recently drawn
attention from the machine learning (ML) community. ML has been applied to planning …

[PDF][PDF] Landmark Heuristics for Lifted Classical Planning.

J Wichlacz, D Höller, J Hoffmann - IJCAI, 2022 - fai.cs.uni-saarland.de
While state-of-the-art planning systems need a grounded (propositional) task representation,
the input model is provided “lifted”, specifying predicates and action schemas with variables …

[PDF][PDF] Lifted Successor Generation by Maximum Clique Enumeration.

S Ståhlberg - ECAI, 2023 - mrlab.ai
Classical planning instances are often represented using first-order logic; however, the
initial step for most classical planners is to transform the given instance into a propositional …

Classical planning as QBF without grounding

I Shaik, J van de Pol - Proceedings of the International Conference on …, 2022 - ojs.aaai.org
Most classical planners use grounding as a preprocessing step, essentially reducing
planning to propositional logic. However, grounding involves instantiating all rules and …

The FF heuristic for lifted classical planning

AB Corrêa, F Pommerening, M Helmert… - Proceedings of the AAAI …, 2022 - ojs.aaai.org
Heuristics for lifted planning are not yet as informed as the best heuristics for ground
planning. Recent work introduced the idea of using Datalog programs to compute the …

Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning

DZ Chen, F Trevizan, S Thiébaux - Proceedings of the International …, 2024 - ojs.aaai.org
Current approaches for learning for planning have yet to achieve competitive performance
against classical planners in several domains, and have poor overall performance. In this …

Best-first width search for lifted classical planning

AB Corrêa, J Seipp - Proceedings of the International Conference on …, 2022 - ojs.aaai.org
Lifted planners are useful to solve tasks that are too hard to ground. Still, computing
informative lifted heuristics is difficult: directly adapting ground heuristics to the lifted setting …