Classical Planning in Deep Latent Space

06/30/2021
by   Masataro Asai, et al.
8

Current domain-independent, classical planners require symbolic models of the problem domain and instance as input, resulting in a knowledge acquisition bottleneck. Meanwhile, although deep learning has achieved significant success in many fields, the knowledge is encoded in a subsymbolic representation which is incompatible with symbolic systems such as planners. We propose Latplan, an unsupervised architecture combining deep learning and classical planning. Given only an unlabeled set of image pairs showing a subset of transitions allowed in the environment (training inputs), Latplan learns a complete propositional PDDL action model of the environment. Later, when a pair of images representing the initial and the goal states (planning inputs) is given, Latplan finds a plan to the goal state in a symbolic latent space and returns a visualized plan execution. We evaluate Latplan using image-based versions of 6 planning domains: 8-puzzle, 15-Puzzle, Blocksworld, Sokoban and Two variations of LightsOut.

READ FULL TEXT

page 4

page 13

page 30

page 40

research
04/29/2017

Classical Planning in Deep Latent Space: Bridging the Subsymbolic-Symbolic Boundary

Current domain-independent, classical planners require symbolic models o...
research
06/20/2023

Plausibility-Based Heuristics for Latent Space Classical Planning

Recent work on LatPlan has shown that it is possible to learn models for...
research
02/21/2019

Unsupervised Grounding of Plannable First-Order Logic Representation from Images

Recently, there is an increasing interest in obtaining the relational st...
research
03/27/2019

Towards Stable Symbol Grounding with Zero-Suppressed State AutoEncoder

While classical planning has been an active branch of AI, its applicabil...
research
03/04/2019

Learning STRIPS Action Models with Classical Planning

This paper presents a novel approach for learning STRIPS action models f...
research
11/15/2022

Simulated Mental Imagery for Robotic Task Planning

Traditional AI-planning methods for task planning in robotics require sy...
research
10/27/2021

A Preliminary Case Study of Planning With Complex Transitions: Plotting

Plotting is a tile-matching puzzle video game published by Taito in 1989...

Please sign up or login with your details

Forgot password? Click here to reset