paper-with-me

Papers

STRIPS-WM: Learning Grounded Propositional STRIPS-style World Models from Images

2026-06-05 · Abhiroop Ajith, Constantinos Chamzas arxiv

Robots performing long-horizon visual manipulation observe high-dimensional images, but successful plans depend on action-relevant facts: what can be done now and what changes afterward. A useful planning representation should discard irrelevant visual details while preserving action applicability and effects. Classical task planners exploit this structure through symbolic operators with preconditions and effects, but obtaining such representations from raw visual experience remains challenging. We study a visual task-planning setting in which a robot receives only image transitions: the current image, executed high-level action, and the resulting image. At test time, given a start image and a goal image, the robot must produce a sequence of high-level actions that reaches the goal. To address this problem, we introduce STRIPS-WM, a framework for learning image-grounded STRIPS-style world models directly from visual transitions. STRIPS-WM first induces a finite abstract transition graph from images, then learns latent binary predicates and one grounded propositional operator per action label. The learned operators form a symbolic action model with sparse preconditions and add/delete effects. Finally, the learned predicates are distilled into a visual encoder, enabling classical planning directly from novel start and goal images. Experiments on visual rearrangement tasks show that STRIPS-WM improves image-to-plan success over the tested visual rollout, latent graph-search and latent-symbolic baselines.

📄 PDF Abstract BibTeX arXiv:2606.06832

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

From Next Token Prediction to (STRIPS) World Models

2025-09-16 · Carlos Núñez-Molina, Vicenç Gómez, Hector Geffner arxiv

We study whether next-token prediction can yield world models that truly support planning, in a controlled symbolic setting where propositional STRIPS action models are learned from action traces alone and correctness ca…

Intermediate Results on the Complexity of STRIPS$_{1}^{1}$

2026-02-09 · Stefan Edelkamp, Jiří Fink, Petr Gregor, Anders Jonsson 외 arxiv

This paper is based on Bylander's results on the computational complexity of propositional STRIPS planning. He showed that when only ground literals are permitted, determining plan existence is PSPACE-complete even if op…

STRIPS Planning in Infinite Domains

2017-01-01 · Caelan Reed Garrett, Tomás Lozano-Pérez, Leslie Pack Kaelbling

Many robotic planning applications involve continuous actions with highly non-linear constraints, which cannot be modeled using modern planners that construct a propositional representation. We introduce STRIPStream: an …

Motion PlanningTask and Motion Planning

Learning Lifted Action Models From Traces of Incomplete Actions and States

2025-08-29 · Niklas Jansen, Jonas Gösgens, Hector Geffner arxiv

Consider the problem of learning a lifted STRIPS model of the sliding-tile puzzle from random state-action traces where the states represent the location of the tiles only, and the actions are the labels up, down, left, …

Learning Domain-Independent Heuristics for Grounded and Lifted Planning

2023-12-18 · Dillon Z. Chen, Sylvie Thiébaux, Felipe Trevizan

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, to mitigate the issues caused by large…