paper-with-me

Papers

Differentiable Learning of Lifted Action Schemas for Classical Planning

2026-05-13 · Jonas Reiter, Jakob Elias Gebler, Hector Geffner arxiv

Classical planners can effectively solve very large deterministic MDPs represented in STRIPS or PDDL where states are sets of atoms over objects and relations, and lifted action schemas add or delete these atoms. This compact representation yields strong search heuristics and provides an ideal setting for structural generalization, since lifted relations and action schemas give rise to infinitely many domain instances. A central challenge is to learn these relations and action schemas from data, and recent approaches have addressed this problem using different types of observations. In this work, we develop a novel neural network architecture for learning action schemas from traces where states are fully observed but action arguments are unobserved. The problem is a simplification but an important step towards learning planning domains from sequences of images and action labels, and we aim to solve this simplification in a nearly perfect manner. The challenge lies in learning the action schemas while simultaneously identifying the action arguments from observed state changes. Our approach yields a robust differentiable component that can then be integrated into larger neuro-symbolic models. We evaluate the architecture on various planning domains, where the learned lifted action schemas must recover the ground-truth structure. Additionally, we report experiments on robustness to observation noise and on a variation related to slot-based dynamics models.

📄 PDF Abstract BibTeX arXiv:2605.13282

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Lifted Sequential Planning with Lazy Constraint Generation Solvers

2023-07-17 · Anubhav Singh, Miquel Ramirez, Nir Lipovetzky, Peter J. Stuckey

This paper studies the possibilities made open by the use of Lazy Clause Generation (LCG) based approaches to Constraint Programming (CP) for tackling sequential classical planning. We propose a novel CP model based on s…

valid

Dynamic Term-Modal Logics for First-Order Epistemic Planning

2019-06-14 · Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig

Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as $\neg\…

Lifted Successor Generation in Numeric Planning

2025-11-01 · Dominik Drexler arxiv

Most planners ground numeric planning tasks, given in a first-order-like language, into a ground task representation. However, this can lead to an exponential blowup in task representation size, which occurs in practice …

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)

2026-03-19 · João Filipe, Gregor Behnke arxiv

Classical planning problems are typically defined using lifted first-order representations, which offer compactness and generality. While most planners ground these representations to simplify reasoning, this can cause a…

STRIPS Action Discovery

2020-01-30 · Alejandro Suárez-Hernández, Javier Segovia-Aguas, Carme Torras, Guillem Alenyà

The problem of specifying high-level knowledge bases for planning becomes a hard task in realistic environments. This knowledge is usually handcrafted and is hard to keep updated, even for system experts. Recent approach…