Domain-Independent Cost-Optimal Planning in ASP

07/31/2019
by   David Spies, et al.
0

We investigate the problem of cost-optimal planning in ASP. Current ASP planners can be trivially extended to a cost-optimal one by adding weak constraints, but only for a given makespan (number of steps). It is desirable to have a planner that guarantees global optimality. In this paper, we present two approaches to addressing this problem. First, we show how to engineer a cost-optimal planner composed of two ASP programs running in parallel. Using lessons learned from this, we then develop an entirely new approach to cost-optimal planning, stepless planning, which is completely free of makespan. Experiments to compare the two approaches with the only known cost-optimal planner in SAT reveal good potentials for stepless planning in ASP. The paper is under consideration for acceptance in TPLP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/11/2018

plasp 3: Towards Effective ASP Planning

We describe the new version of the PDDL-to-ASP translator plasp. First, ...
research
04/23/2018

An Empirical Comparison of PDDL-based and ASP-based Task Planners

General purpose planners enable AI systems to solve many different types...
research
05/27/2015

Qsmodels: ASP Planning in Interactive Gaming Environment

Qsmodels is a novel application of Answer Set Programming to interactive...
research
07/19/2017

Hybrid Conditional Planning using Answer Set Programming

We introduce a parallel offline algorithm for computing hybrid condition...
research
09/18/2019

Mutex Graphs and Multicliques: Reducing Grounding Size for Planning

We present an approach to representing large sets of mutual exclusions, ...
research
04/17/2013

h-approximation: History-Based Approximation of Possible World Semantics as ASP

We propose an approximation of the Possible Worlds Semantics (PWS) for a...
research
05/23/2019

Automated Process Planning for Turning: A Feature-Free Approach

Turning is the most commonly available and least expensive machining ope...

Please sign up or login with your details

Forgot password? Click here to reset