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.

-2
votes
0answers
25 views

How can I solve the "goal can be simplified to false.no plan will solve it " error in pddl? [closed]

I want to create a heart with red and black tiles after moving them on a board. This is the domain: ( define (domain inima) (:requirements :disjunctive-preconditions :negative-preconditions) ( :...
0
votes
0answers
54 views

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 ...
1
vote
1answer
46 views

PDDL Suspected timeout. arity of VALID_STATE to high! increase MAX_ARITY (currently 5)

I'm new to working with PDDL. I use an online editor. I have this problem: there are 3 agents, 3 cannibals and a boat with its maximum capacity of 2 people. There are also 2 shores and a river between ...
0
votes
0answers
41 views

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 ...
2
votes
1answer
73 views

PDDL planner for Sokoban, Challenge

I was experimenting a bit with generation of Sokoban levels in PDDL and found out that many levels in Sokoban, which appear easy to humans, seem to be quite hard for PDDL planners (to be honest I also ...
-2
votes
1answer
69 views

PDDL Lab problem with code with no error in console

We have a problem with this code. We are not getting the solution when running the planner. We don't know what the problem is. There is no error on debug console. DOMAIN.PDDL (define (domain ...
0
votes
1answer
59 views

Are there available temporal planners that work properly on Linux? [closed]

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 ...
0
votes
1answer
73 views

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 ...
2
votes
1answer
125 views

PDDL planner does not recognize types

I wrote a pddl code in a domain file that describes kitchen environment (eggs, coffee, receptacles, surfaces etc.) thus types were defined in hierarchical manner. (define (domain robochef) (:...
0
votes
0answers
48 views

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 ...
0
votes
0answers
27 views

PDDL path finding search Can't reach to goal state

domain.pddl (define (domain tour) (:requirements :negative-preconditions :equality :strips :adl :fluents :action-costs) (:predicates (at ?a ?bin) (free ?bin) (connected ?x ?y) ) ...
1
vote
1answer
115 views

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 ...
0
votes
0answers
29 views

Modelling variable number of side-effects in PDDL

To motivate my question, consider a grid world with a movable agent that can push around stones. So far so good. We might have a push action that looks like this (borrowed from sokoban pddl): (:...
-1
votes
2answers
131 views

PDDL Predicate name must be a string

I am trying to solve a planning assignment with pddl and i wrote the following domain (define (domain Monster) (:requirements :strips) (:predicates (player ?p) (location ?x) (monster ?m) (...
0
votes
2answers
134 views

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 ...

15 30 50 per page
1
2 3 4 5 6