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
0
votes
0 answers

PDDL is not compiling. Log files gave me a bunch of errors

I am very new to PDDL and I got an assignment due soon. For some reason, it is not compiling and keeps giving me errors but the log file is so messy and I can not find where I went wrong. Some help would really be appreciated. The task is to write a…
mhmd
  • 11
  • 1
0
votes
1 answer

PDDL syntax for effect with semantic meaning of "one of type"

I am struggling with defining the effect of an action. The scenario is the following: I have two balls (a and b). Each of them can be taken and put. As soon as one of the balls is put, one of the lamps L1, L2, L3 goes on (it does not matter which…
teoML
  • 784
  • 4
  • 13
0
votes
0 answers

Petri net encoding into PDDL

I am a beginner in PDDL. I am trying to write a domain file for Petri net with a fire transaction function. (define (domain newpetri) (:requirements :strips :typing :fluents) (:types place transition) (:predicates …
Ann
  • 11
  • 2
0
votes
1 answer

PDDL - invalid predicates and correct usage of forall

I am new to pddl planning and now I am trying to create a domain and problem file as an exercise. Short domain description: I have a couple of cars which can be taken and put at places A and B. The task is simple: take all the cars from place A and…
teoML
  • 784
  • 4
  • 13
0
votes
1 answer

Is it in general allowed to use multiple definitions of the same predicate, but with different types in PDDL

First of all, I am new to the PDDL language. I am trying to write my own domain and problem files following different examples on the Internet. While experimenting a bit with an online solver, I got an error related to the usage of multiple…
teoML
  • 784
  • 4
  • 13
0
votes
2 answers

Q: PDDL doesn't compile problem and domain

I don't know why it doesn't work. here is my code: Domain (define (domain tren_mover) (:requirements :adl) (:predicates (conectado ?x ?y) (en ?x ?y) (movil ?x) ) (:action mover :parameters (?tren ?origen…
Paula
  • 1
  • 1
0
votes
1 answer

PDDL, Plansys2 Error: decrease does not name a known token

I was working with ROS2 Planning System (Plansys2) for PDDL planning with the default planner POPF. While planning the domain with PDDL fluents, the PDDL parser and/or (not sure!) domain expert node results in an error for PDDL fluents' decrease…
Pranav Avekar
  • 15
  • 3
0
votes
2 answers

What are the best planners for PDDL2.1?

I am working now on my internship with PDDL: I am struggling to find the appropriate planners for PDDL2.1. The task is to compare different PDDL planners according to the following criterias: version of PDDL. Benchmark. supporting the numeric…
Ann
  • 11
  • 2
0
votes
1 answer

PDDL syntax error, ':DURATIVE-ACTIONS' : domain definition expected

I was modeling a domain file with durative actions. I am using the PDDL plugin for VS Code. The code does not have any syntax error problems. The Planner from HTTP://solver.planning.domains/solve return an…
Pranav Avekar
  • 15
  • 3
0
votes
0 answers

Increase / Decrease Battery amount PDDL

I am a beginner in PDDL and currently want to build a Project, that allows a rover to autonomously act on mars. Basically, the rover should have a battery. Eg. rover can increase the amount by charging at a waypoint (+10 per action) and the…
LeFlob
  • 1
  • 5
0
votes
0 answers

frog puzzle using strips and pddl

I've been trying to formalizing a domain and preparing two instances for a puzzle in which a frog is located in an n × n land, with few obstacles and a lot of insects. The frog can jump in any length in four cardinal directions and cannot land on…
czennienct
  • 1
0
votes
1 answer

Are there available temporal planners that work properly on Linux?

I've been searching the web for a planner that supports temporal planning, specifically compatible with PDDL 2.2. My machine runs Ubuntu bionic (18.04). I was trying to use LPG-td planner, which strangely interpreted the planning problem as…
roym18
  • 23
  • 4
0
votes
1 answer

PDDL task help. Error message. Syntax error

I have this task: 16 compartments containing 3 red and 3 black balls are given as shown in the figure below. Rearrange the balls so that the three red balls next to each other are directly followed by the black balls! Two adjacent balls can be…
Rox
  • 1
0
votes
0 answers

PDDL temporal modelling help: how to change numeric value in the background?

I'm trying to model and RTS game (AOE2) for an optimal build order and plan using OPTIC. My thought is to represent villagers (workers) as a function, then resources increase depending on the number of villagers. This action works, but I believe is…
HRIGUY
  • 33
  • 5
0
votes
2 answers

PDDL predicate variable with multiple types

I am trying to write a PDDL domain. I have 4 types. My issues is that when specifiying one of the predicates: At(?x - type ?l - location) I want x to be able to take on three of the types, but it only allows me to do one. What should I do?
Grigoras Vlad Albastrel6
  • 37
  • 4
1 2 3 4
5
6 7 8