Answers.Body: <p>You should also have ?c in the parameter list. Every parameter that you use needs to be bound to some declaration. Also, note that you need to specify your parameters with the right typing syntax. So it would be...</p>
  <pre><code> :parameters (?a - aParam ?b - bParam ?c - cParam)
  </code></pre>
  
Answers.ContentLicense: CC BY-SA 4.0
Answers.CreationDate: 2024-05-15T13:57:39.900Z
Answers.LastActivityDate: 2024-05-15T13:57:39.900Z
Answers.UserDisplayName: haz
Body: <p>Consider the following example:</p>
  <pre><code> ....
   (:types
     aParam bParam cParam - object
     a2Param - aParam
   )
   .....
  
   (:action someAction
      :parameters(?a aParam ?b bParam)
      :precondition(and (predicate1 ?a ?b)
                        (predicate2 ?c ?b)
                        (predicate3 ?c ?a))
  </code></pre>
  <p>Suppose someAction only needs parameters of type aParam and bParam, which are mentioned ?a and ?b in the parameters section, but then predicate2 and predicate3 require ?c of type cParam. Is this syntax allowed? or should we also mention ?c ?cParam inside parameters and have</p>
  <pre><code>   :parameters(?a aParam ?b bParam ?c cParam)
  </code></pre>
  <p>Similar question is considering effects with extra parameters.</p>
  
Tags: <reference-request><planning><pddl>
Title: Using additional parameters in PDDL precondition and effects of actions
UserDisplayName: Karl 17302
ThreadText: # Using additional parameters in PDDL precondition and effects of actions
  
  (Asked by: username_0 on 2024-05-15)
  
  Consider the following example:
   ....
   (:types
     aParam bParam cParam - object
     a2Param - aParam
   )
   .....
  
   (:action someAction
      :parameters(?a aParam ?b bParam)
      :precondition(and (predicate1 ?a ?b)
                        (predicate2 ?c ?b)
                        (predicate3 ?c ?a))
  
  Suppose someAction only needs parameters of type aParam and bParam, which are mentioned ?a and ?b in the parameters section, but then predicate2 and predicate3 require ?c of type cParam. Is this syntax allowed? or should we also mention ?c ?cParam inside parameters and have
     :parameters(?a aParam ?b bParam ?c cParam)
  
  Similar question is considering effects with extra parameters.
  
  **Tags:** reference-request, planning, pddl
  
  ---
  
  ## 1 answers
  
  ### Answer by username_1 on 2024-05-15. Score: 1 | Accepted answer
  
  You should also have ?c in the parameter list. Every parameter that you use needs to be bound to some declaration. Also, note that you need to specify your parameters with the right typing syntax. So it would be...
   :parameters (?a - aParam ?b - bParam ?c - cParam)
  
  
  ---
  
  