Stack Overflow
Stack Overflow

Questions tagged [pddl]

Planning Domain Definition Language is used to define planning domain models used by AI Planning engines. Use this tag for questions about modeling in PDDL syntax, parsing PDDL models, interpreting constructs the PDDL syntax allows and about widely used tools such as VAL/Validate, or well known planner implementations.

Planning Domain Definition Language is used to define planning domain models used by AI Planning engines. Use this pddl tag for questions about:

  • modeling in PDDL and understanding of the syntax,
  • parsing PDDL models,
  • interpreting constructs the PDDL syntax allows and about
  • widely used tools such as VAL/Validate, or well known planner implementations.

For getting started, learning from examples or trying out AI Planning without installing anything, visit http://planning.domains/, where the AI planning community centralizes such resources. For more advance work and certainly when working on industrial applications, or your own planning engine implementation, it is convenient to use VS Code with PDDL Extension. These resources and tools guide the novice and empower the expert, thus provide the answer before you realize you had a question.

111 questions
2
votes
2 answers

Using PDDL or equivalent planning language/systems

I want to do some automatic story generation demonstration and the approach I am taking is using AI planning. I have been reading several relevant papers and have figured out that PDDL is perhaps the most widely used language to form the planning…
mohitt
  • 440
  • 5
  • 9
1
vote
1 answer

Input for many objects in PDDL action

I am solving a PDDL where I transfer packets with ships. I currently made an action: (:action load-ship :parameters (?ship - ship ?package - package ?port - port) :precondition (and (at ?ship ?port) (at ?package ?port) (not (loaded…
Chris Costa
  • 51
  • 4
1
vote
1 answer

Unexpected PDDL behavior with fluents and durative actions

I posed this as an issue with a specific planner, but it's a more general PDDL question so posing here. I'm trying to create a plan that has durations and a limited number of things it can do in parallel. No matter what I try, SMTPlan either says…
Fred Douglis
  • 141
  • 10
1
vote
1 answer

Difference between PDDL Online Planner vs POPF Planner

I need some help/guidance related to the Online PDDL planner available at http://solver.planning.domains/ and Planners from the KCL Planning group (mainly POPF). I tested a simple pick-and-drop example (moving objects from places) with both…
Pranav Avekar
  • 15
  • 3
1
vote
0 answers

How regenerate lexers and parsers in python with ATN?

How regenerate lexers and parsers in python. I am new to this and I don't know what to do. The error I got is as follows: In 'pddlLexer.py': class pddlLexer(Lexer): In 'pddlLexer.py': atn = ATNDeserializer().deserialize(serializedATN()) In…
Wolff Kaushal
  • 11
  • 1
1
vote
2 answers

Reason for the development of First Order Logic and PDDL

This might be a naive question, but i am really interested to know why logic was developed to be used in AI. In particular, what was the need to develop first order logic and PDDL in AI, if we could do the programming using simple atomic…
TimeToCodeTheRoad
  • 7,032
  • 16
  • 57
  • 70
1
vote
0 answers

minimize in metric pddl

I created the pddl domain for the figure here However, when trying to reach the node number 7 the output of the Metric-ff planner is cost = 21 insted of 15 also for the node 5 the cost = 16 insted of 10 it seems it minimizes the number of steps…
Ann
  • 11
  • 2
1
vote
1 answer

how to put conditions in PDDL?

I'm learning how to use PDDL for a IA class and I have to code a plan where I need to pick a person up from location4 and drop it in location1, also pick a person in location3 and drop it in location1 also. I already have the code which move to…
Arturo Castillo
  • 13
  • 4
1
vote
1 answer

Assigning a division value in PDDL 2.1 , Metric FF

I have 3 variables in functions section: (x) (y) (z) I have initialized all of them to 0 in my problem init. An action in my domain changes the value of x and y. Now when I try to assign the value of x/y to z , it says it is not a linear…
algo_learner
  • 11
  • 1
1
vote
2 answers

PDDL2.1: Purpose of `over all`

I'm working with PDDL2.1 durative-actions and I'm having difficulty understanding the purpose of over all. I have a function charge_level which is updated with a value every 10Hz. In a durative-action move, I say condition: (over all (>=…
mger
  • 61
  • 7
1
vote
1 answer

PDDL Durative-Action: Flexible duration

I'm implementing a charging action in PDDL2.1 that is based off a function (charge_level). The function value for (charge_level) works and updates ~10Hz. I want to create an action called charge which continues until the charge_level reaches a…
mger
  • 61
  • 7
1
vote
2 answers

PDDL forall effect with durative actions

I am both using durative actions and trying to be able to clear a predicate over all elements of a certain type. See below. Is this possible? If so, does anyone know the correct syntax? Thanks! (:durative-action init :parameters (?r -…
steveb
  • 43
  • 4
1
vote
2 answers

PDDL optimization doesn't find best result

I try to find the shortest path in a net of nodes. Start at x1y1 and end up in x9y9. Each move from node to node has a certain cost assigned to it. The goal is, to find the path with the lowest total cost. Problem description The :init section…
jaal5
  • 11
  • 2
1
vote
1 answer

How to write PDDL Domain and Problem file?

I am trying to do some planing project by using PDDL. I want to do from some natural text. Like: Take the knife from left to right hand. Cut the apple. Wash knife. I am confused abut the predicates and action. how to defined the predicates?
jonson
  • 105
  • 2
  • 7
1
vote
2 answers

How to solve "Undeclared predicate: <" error in pddl domain file?

I am trying to solve a simple pddl problem using Fast Downward Planner. Whenever I am using numeric expressions such as > , < , >= , decrease and the like, the following error occurs: Undeclared predicate: < problem file: (define (problem…
jonaki
  • 11
  • 1
  • 4
1
2
3 4 5 6 7 8