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

Unable to add Floor Restrictions to My Miconic PDDL domain codes

I am trying to add floor restrictions to my codes but it is not running in PDDL. Can someone help me find where I made mistakes? Here is the PDDL domain: (define (domain miconic) (:requirements :adl :typing :strips) (:types passenger - object …
0
votes
1 answer

PDDL Planning for Humanoid - Plan not able to include humanoid respond and conditional outcome

I am new to PDDL and AI planning area. I am actually creating a plan for a humanoid interacting with a human in a scenario. The scenario is as follows Human enters the room (where robot and some objects are present in the room) Robot detects…
mkpisk
  • 152
  • 1
  • 9
0
votes
1 answer

Issue while developing a planning algorithm

I am trying to develop a algorithm using PDDL. Below here I am trying to define the domain and the problem files Domain File: (define (domain sp) (:requirements :typing) (:types location agent item - object robot human - agent …
mkpisk
  • 152
  • 1
  • 9
0
votes
1 answer

pddl Error: Syntax error in durative-action declaration

I am implementing a system in pddl and i have to use durative-action, this is my code, but it gives me the error of the title. (define (domain rooms) (:requirements :strips :typing :durative-actions ) (:types room zone robot door …
0
votes
1 answer

Suspected timeout problem in PDDL (function usage)

I am starting to learn PDDL and make a domain where 2 agents fight each other and simulate a fight where my hero should win and maximize it's health points. I am facing Suspected timeout plan error when trying to compile my project on…
SADBOYS
  • 113
  • 5
0
votes
2 answers

PDDL How to assign number for many predicates

I have tile based map, where agent needs to go from one tile to another, Some tiles have (occupied pos-X-Y) meaning that agent cant step on these tiles named pos-X-Y. This part works, but I need to make these tiles occupied only in certain turns. I…
Hofi
  • 1
  • 1
0
votes
1 answer

I can't seem to understand actions and goal in pddl

I have problem understanding pddl, I'm trying to make a spaceship plan, spaceship can move to a region as long as captain and navigator is at the bridge. This is my code for action from domain file (:action travel :parameters (?x ?y) …
Pat
  • 21
  • 7
0
votes
1 answer

The solver says syntax error for this pddl problem, but I can't find any. What's gone wrong here?

I have tried to get this problem to solve itself. The solver keeps saying that there is a syntax error on line 36. I have checked many times. I don't see any syntax error. I ave tried introducing typing but still, the same error was produced. Now I…
Gg Nair
  • 1
  • 2
0
votes
2 answers

Creating a PDDL Domain and Problem - Game Kami

I'm currently trying my luck on creating a Plan for the Game Kami. Therefore I need to create a Domain and the Problem in the PDDL language. Rules of Kami: The rules are simple. You can color one tile and all neighboring tiles with the same color…
kaiserm99
  • 146
  • 8
0
votes
1 answer

PDDL doesn't compile

Trying to figure out this PDDL problem of getting robots to clean tiles but I'm stuck with what I'm doing wrong as far as I understand, I have the movements actions and clean actions only for up and down yet it still doesnt compile. It just gives me…
Eric
  • 1
0
votes
1 answer

How to debug a PDDL domain/problem if the planner is timing out?

I am trying to write a simple PDDL domain and problem, but the planner on planning.domains returns this error: { "killed": false, "code": 124, "signal": null, "cmd": "timeout 5 python /app/process_solution.py…
FvD
  • 1,286
  • 13
  • 25
0
votes
1 answer

PDDL forall syntax

I currently working on a pddl project and I have some difficulties with the syntax. Right now I am trying to fill an elevator with all the workers in a floor with forall. I am not sure if this is the right implementation but here is my code. Thank…
codeboi
  • 11
  • 4
0
votes
1 answer

Problem with PDDL code using conditional effects

I'm trying to solve a Pacman-styled PDDL problem and there's a particular scenario I've been stuck on for days now. I'm getting the classic ff: goal can be simplified to FALSE. No plan will solve it which means the issue is trivial and logic…
DrappaV
  • 21
  • 8
0
votes
1 answer

About PDDL in AI planning

I am trying to solve a Pacman-style problem with a planner, using PDDL. I assume there are many food in the given map. I use exists to check if here is any other food in the map, but it does not work; why is that? Here is my problem file: (define …
yi li
  • 1
  • 1
0
votes
3 answers

PDDL - Using numeric fluents using solver.planning.domains

I'm a noob at planning and I'm looking for help with numeric fluents. Here's a sample domain and problem that isn't working the way I think it should. Domain: (define (domain tequila) (:requirements :typing :fluents) (:types bottle ) …
Steve-MA
  • 1
  • 1
  • 1