125 questions
- Bountied 0
- Unanswered
- Frequent
- Score
- Trending
- Week
- Month
- Unanswered (my tags)
2
votes
2
answers
45
views
How to use types correctly and avoid errors in PDDL
In my PDDL domain, as soon as I add "type" to each of variables, there is an error as follows, but it has no error if I remove these elements. Anyone knows the reason? Thanks!
......
->...
1
vote
0
answers
61
views
Why does the pddl grammar seem to reject binary comparators of variables when parsed with antlr4?
I am using this minimal domain file example
(define (domain minimal-error)
(:requirements :strips :equality)
(:predicates
(foo ?x ?y)
)
(:action cross
:parameters (?s1 ?s2)
:...
1
vote
1
answer
81
views
PDDL check for conditionals
I am struggling to understand how PDDL works. With this question I am interested in knowing if the problem is about syntax, edge-cases or just me understanding PDDL wrong. Especially the following: ...
0
votes
1
answer
100
views
PDDL in Visual Studio - Error: Using TensorFlow backend
I am trying to run a simple hello-world example in Visual Studio provided by the PDDL extension. I do right-click on the problem > PDDL: run the planner and display the plan.
Select one of the ...
0
votes
1
answer
83
views
How to specify empty preconditions in PDDL?
In my PDDL domain file, there are some actions which do not require preconditions, for example
(:action doSomthing
:parameters (?t - t1)
:precondition
:effect (donesomething ?t)
)
When I ...
0
votes
1
answer
86
views
Issue with PDDL Code: FF Planner Not Generating Expected Plan
I am trying to solve a planning problem in PDDL using the FF planner. I have defined a domain and a problem, but the results I am getting do not match what I expected based on ChatGPT's explanation. ...
0
votes
1
answer
67
views
Using conditional effects with durative actions in PDDL
I am trying to model a scenario using PDDL. I am facing issues while trying to put conditional effects in durative actions.
(:durative-action move-robot
:parameters (?r - robot ?l1 - location ?l2 -...
1
vote
1
answer
141
views
PDDL: Forall and when in action effect
I have a robot that has to transport each component present in the warehouse to the working table, this can be done only after identifying the component and only one component at time can be picked up....
1
vote
1
answer
438
views
Error: PDDL Planning Service returned code 400 BAD REQUEST
Its my first time trying to use PDDL in Visual Studio Core. I was just following the tutorial with a demo project, trying to solve it. This is the answer I get when I do alt + P: Error: PDDL Planning ...
1
vote
1
answer
158
views
Can Fast Downward planner deal with conditional effects like 'when'?
I'm encountering an issue with a particular section of code.
This is the domain file:
(define (domain gripper-strips)
(:predicates (room ?r)
(ball ?b)
(gripper ?g)
(at-robby ...
0
votes
1
answer
116
views
Resolving PDDL Parsing Errors in plasp while Successful in Fast Downward
I am working on a PDDL project for a LightsOut game. While my PDDL code executes successfully in Fast Downward, I face parsing errors in the Visual Studio Code PDDL plugin, and plasp is unable to ...
0
votes
1
answer
153
views
PDDL nested Conditional Effects
I'm encountering an issue with a particular section of code.
The compiler is indicating a syntax error within the first set of nested "when" conditions, on the 5th line of code. Could be ...
0
votes
1
answer
135
views
PDDL forall to initialize objects
I'm currently studying PDDL and am trying to develop simple examples. However, I'm experiencing some difficulties with the syntax and the usage of certain functionalities.
Specifically, I'm attempting ...
0
votes
1
answer
262
views
Travelling Salesman in Python PDDL
I use pddl python framework to implement the travelling salesman problem. This framwork translates from python language to pddl language and then the language is executed with fast-downward. I have ...
0
votes
1
answer
130
views
PDDL - Planning the moving of a vehicle
Here is a very domain file that moves a submarine from one location to another:
(define (domain unnamed1)
(:requirements
:strips :typing)
(:types
location; check if at command-...