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

04/23/2018
by   Yuqian Jiang, et al.
0

General purpose planners enable AI systems to solve many different types of planning problems. However, many different planners exist, each with different strengths and weaknesses, and there are no general rules for which planner would be best to apply to a given problem. In this paper, we empirically compare the performance of state-of-the-art planners that use either the Planning Domain Description Language (PDDL), or Answer Set Programming (ASP) as the underlying action language. PDDL is designed for automated planning, and PDDL-based planners are widely used for a variety of planning problems. ASP is designed for knowledge-intensive reasoning, but can also be used for solving planning problems. Given domain encodings that are as similar as possible, we find that PDDL-based planners perform better on problems with longer solutions, and ASP-based planners are better on tasks with a large number of objects or in which complex reasoning is required to reason about action preconditions and effects. The resulting analysis can inform selection among general purpose planning systems for a particular domain.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/11/2021

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

In the context of planning and reasoning about actions and change, we ca...
research
06/19/2018

SMarTplan: a Task Planner for Smart Factories

Smart factories are on the verge of becoming the new industrial paradigm...
research
05/14/2019

Timeline-based Planning and Execution with Uncertainty: Theory, Modeling Methodologies and Practice

Automated Planning is one of the main research field of Artificial Intel...
research
07/31/2019

Domain-Independent Cost-Optimal Planning in ASP

We investigate the problem of cost-optimal planning in ASP. Current ASP ...
research
07/25/2023

On Solving the Rubik's Cube with Domain-Independent Planners Using Standard Representations

Rubik's Cube (RC) is a well-known and computationally challenging puzzle...
research
09/17/2021

Formalisation of Action with Durations in Answer Set Programming

In this paper, I will discuss the work I am currently doing as a Ph.D. s...
research
06/09/2011

A Critical Assessment of Benchmark Comparison in Planning

Recent trends in planning research have led to empirical comparison beco...

Please sign up or login with your details

Forgot password? Click here to reset