Unchecked use of inexistent parameters in actions

aibasel / pyperplan

A lightweight STRIPS planner written in Python.

GNU General Public License v3.0

93 stars 41 forks source link

Unchecked use of inexistent parameters in actions #16

Open bonetblai opened 2 years ago

bonetblai commented 2 years ago

I just noticed that the parser accepts action schemas where the atoms make reference to inexistent variables. For example, if the parameters are (?x ?y), the schema may have a precondition (clear ?z) or effect (on ?x ?z).

jendrikseipp commented 2 years ago

Good catch! I agree that it would be nice to fix this.