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
1
vote
1 answer

How to compile documents and run Jshop2 in Eclipse?

I am a student who begin to study SHOP2 from China. My teacher told me to run JSHOP2 in Eclipse.Now I can run original zenotravel problem and generate GUI and plans.Likewise, I want to put other domain and problems to SHOP2 and produce plans. …
Xiao bai
  • 13
  • 3
1
vote
1 answer

Forall statement applied for a subset of elements in PDDL Domain?

Case of use First of all, I want to explain my case of use: I want to divide a field in different sectors and all plants should be analyzed by robots (just one robot per sector). I want to check in :preconditions that all plants for one sector are…
Alvaro Luis
  • 13
  • 1
  • 4
1
vote
2 answers

"Undeclared requirements" error when running problem file with planner

I keep getting an "undeclared requirement :typing" error when I run my problem file with a planner, even though I've already declared it in my domain file The requirements in my domain file: (:requirements :typing :types :durative-actions…
geet
  • 11
  • 3
1
vote
1 answer

multi level type inheritance, x inherits from y inherits from z

in PDDL I can define "sub" types like this: (:types one two - parent other ) one and two are also parent, other is distinct. So like, the predicate (both ?x - parent) accepts ones and twos. I want to do multi-level inheritance, I tried (:types …
theonlygusti
  • 11,032
  • 11
  • 64
  • 119
1
vote
1 answer

Why does pddl find the solution incomplete

Below is a small part of a river crossing problem written in pddl. I tried to find the solution in two different tools (editor.planning.domains and stripsfiddle.herokuapp.com) but both of them gave the same result. ;domain; (define (domain…
Alper Aydın
  • 380
  • 1
  • 11
1
vote
1 answer

How to obtain the causal graph of a problem in pddl using fast downward

How can I get the causal graph of a problem when I have the PDDL of the domain and the PDDL of the problem, using fast downward?
Xtalker
  • 11
  • 3
1
vote
1 answer

What's the difference between Link and Path in PDDL?

In the driverlog domain in PDDL we have specified links and paths. (define (domain driverlog) (:requirements :typing) (:types location locatable - object driver truck obj - locatable ) (:predicates (at ?obj -…
Alicia Beylan
  • 23
  • 2
1
vote
1 answer

Is it possible to have type comparison in PDDL?

For example, if I declare types as such: :types bag light heavy - bag That is to say there are two types of bags, light and heavy. Would it be possible within an action to check if a variable of type bag is of type light without having an…
McGuile
  • 818
  • 1
  • 11
  • 29
1
vote
2 answers

using arithmetic comparison as a precondition in PDDL

I was looking for a way to set a comparison as a precondition to an action in PDDL. Is there a way to say for example: (:functions (goal)) (:action CheckLoser :parameters (?team) :precondition (> goals 5) :effect …
Jamidd
  • 41
  • 1
  • 6
1
vote
1 answer

How to store mathematical values in PDDL?

I need to create a plan in PDDL to visit a subset of n places, each of which has a score. I need to maximize the utility, which is defined as the sum of each individual score. How do I represent this domain in PDDL? Specifically, how do I store…
Sam Radhakrishnan
  • 681
  • 1
  • 5
  • 19
1
vote
0 answers

Time and memory limits as parameters in Metric-FF

When running Metric-FF, it does not appear any time or memory limitations as possible input parameters. My question is, is it possible to introduce them as input parameters when running the planner? The cited planner is the following…
Alvaro Gomez
  • 350
  • 2
  • 7
  • 22
1
vote
1 answer

increase MAX_TYPES in Metric-FF

I use the planner Metric-FF. After the specification of the problem and domain files I get the error "too many (inferred) types! increase MAX_TYPES (currently 50)". I have many types specified (and might need even more). Do you know how to increase…
Herbert Schulz
  • 41
  • 7
1
vote
1 answer

PDDL - The Goat, Wolf and the Cabbage

I've been asked to write a solution to the famous "Goat, Wolf and the Cabbage" scernario. The scenario goes as follows: The farmer wants to transport all three across the river. However, if: The goat and the cabbage are left alone, the goat will…
ozoz
  • 23
  • 6
1
vote
1 answer

can't find the solution for robot path finding

I'm new to the pddl. I need to find solution where a robot can put different objects in different destination cells. I'm using the software from http://www.fast-downward.org/. However, The problem is that my actions can't find the solution as…
Istiaque Hassan
  • 59
  • 6
0
votes
1 answer

PDDL: Failed to parse the problem -- invalid syntax (, line 36)

Please help. I cannot find what is wrong with line 36, and I am unable to generate an AI plan. Oneof is also not being recognised.I am getting this error:Failed to parse the problem -- invalid syntax (, line 36) /app/plan: line 3: 4475 Segmentation…
Ndinelago
  • 1
  • 1
  • 4
1 2
3
4 5 6 7 8