NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems

01/24/2023
by   Carlos Núñez-Molina, et al.
0

In the field of Automated Planning there is often the need for a set of planning problems from a particular domain, e.g., to be used as training data for Machine Learning or as benchmarks in planning competitions. In most cases, these problems are created either by hand or by a domain-specific generator, putting a burden on the human designers. In this paper we propose NeSIG, to the best of our knowledge the first domain-independent method for automatically generating planning problems that are valid, diverse and difficult to solve. We formulate problem generation as a Markov Decision Process and train two generative policies with Deep Reinforcement Learning to generate problems with the desired properties. We conduct experiments on several classical domains, comparing our method with handcrafted domain-specific generators that generate valid and diverse problems but do not optimize difficulty. The results show NeSIG is able to automatically generate valid problems of greater difficulty than the competitor approaches, while maintaining good diversity.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/31/2020

Multiple Plans are Better than One: Diverse Stochastic Planning

In planning problems, it is often challenging to fully model the desired...
research
06/04/2020

Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning

Despite significant progress in general AI planning, certain domains rem...
research
07/19/2019

Representation Learning for Classical Planning from Partially Observed Traces

Specifying a complete domain model is time-consuming, which has been a b...
research
09/30/2021

Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators

Recent advances in reinforcement learning (RL) have led to a growing int...
research
03/01/1998

Synthesizing Customized Planners from Specifications

Existing plan synthesis approaches in artificial intelligence fall into ...
research
12/22/2022

Graph-Based Specification and Automated Construction of ILP Problems

In the Model-Driven Software Engineering (MDSE) community, the combinati...
research
05/31/2019

SELFIES: a robust representation of semantically constrained graphs with an example application in chemistry

Graphs are ideal representations of complex, relational information. The...

Please sign up or login with your details

Forgot password? Click here to reset