Answers.Body: <p>Yes, the <a href="https://ai-planning.github.io/pddl/" rel="nofollow noreferrer">pddl Python library</a> can help you out here! It's pip installable (<code>pip install pddl</code>), and trying to parse the domain file will fail:</p>
  <pre><code>from pddl import parse_domain
  domain = parse_domain('domain.pddl')
  </code></pre>
  
Answers.ContentLicense: CC BY-SA 4.0
Answers.CreationDate: 2024-11-15T19:48:59.650Z
Answers.LastActivityDate: 2024-11-15T19:48:59.650Z
Answers.UserDisplayName: haz
Body: <p>Consider the following set of types for a PDDL domain:</p>
  <pre><code>(:types aType1 aType2 aType3 - object)
  </code></pre>
  <p>where predicates and actions have parameters of all 3 types above. I have removed one of the types (say aType1) from above. When running <a href="https://github.com/KCL-Planning/VAL" rel="nofollow noreferrer">VAL</a>, I do not seem to get any errors displayed. Are there other tools that may discover this error?</p>
  
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2024-11-15T11:26:41.570Z
Comments.Text: I don't know why people downvoted this question. It might be off-topic, but it's related to AI, and the action that you should take, voter, is to `Close`, then choose the closing reason, not downvote. Downvoting doesn't help the OP to understand that the question is off-topic. See https://ai.stackexchange.com/help/on-topic
Comments.UserDisplayName: nbro
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2024-11-15T19:43:21.127Z
Comments.Text: Downvote is indeed weird...question is on-topic. Trying something out to see if there's a decent answer.
Comments.UserDisplayName: haz
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2024-11-16T15:59:48.200Z
Comments.Text: @haz Asking for tools is generally off-topic here, as we focus on the theory, but this question is still related to AI. I was just pointing out that, if a question is off-topic, people should vote to close it, not downvote it, unless there's also a reason to downvote it, which doesn't seem to be the case.
Comments.UserDisplayName: nbro
Tags: <planning><pddl>
Title: Missing types not shown as errors in VAL
UserDisplayName: user84209
ThreadText: # Missing types not shown as errors in VAL
  
  (Asked by: username_0 on 2024-11-14)
  
  Consider the following set of types for a PDDL domain:
  (:types aType1 aType2 aType3 - object)
  
  where predicates and actions have parameters of all 3 types above. I have removed one of the types (say aType1) from above. When running VAL, I do not seem to get any errors displayed. Are there other tools that may discover this error?
  
  **Tags:** planning, pddl
  > **Comments:**
  > **username_1**: I don't know why people downvoted this question. It might be off-topic, but it's related to AI, and the action that you should take, voter, is to `Close`, then choose the closing reason, not downvote. Downvoting doesn't help the OP to understand that the question is off-topic. See https://ai.stackexchange.com/help/on-topic  
  > **username_2**: Downvote is indeed weird...question is on-topic. Trying something out to see if there's a decent answer.  
  > **username_1**: @haz Asking for tools is generally off-topic here, as we focus on the theory, but this question is still related to AI. I was just pointing out that, if a question is off-topic, people should vote to close it, not downvote it, unless there's also a reason to downvote it, which doesn't seem to be the case.  
  
  ---
  
  ## 1 answers
  
  ### Answer by username_2 on 2024-11-15. Score: 1 | Accepted answer
  
  Yes, the pddl Python library can help you out here! It's pip installable (pip install pddl), and trying to parse the domain file will fail:
  from pddl import parse_domain
  domain = parse_domain('domain.pddl')
  
  
  ---
  
  