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

CC BY-SA 4.0
2024-11-15T19:48:59.650Z
2024-11-15T19:48:59.650Z
haz
<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>

CC BY-SA 4.0
2024-11-15T11:26:41.570Z
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
nbro
CC BY-SA 4.0
2024-11-15T19:43:21.127Z
Downvote is indeed weird...question is on-topic. Trying something out to see if there's a decent answer.
haz
CC BY-SA 4.0
2024-11-16T15:59:48.200Z
@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.
nbro
<planning><pddl>
Missing types not shown as errors in VAL
user84209
# 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**: @username_2 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')


---

