ASP Grounder fails on Barman about fs-private HOT 4 CLOSED

The LP for barman is attached here: barman.lp.txt

from fs-private.

Miquel, could you check if the minor commit linked above sounds reasonable to you?
I don't think it's incorrect, but I'm unsure about the performance implications of this, or whether there's some other way of achieving what we want. The above commit basically forces that all reachable_a(...) rules require the type of the parameters to be as specified in the PDDL; this way, we avoid possible problems with sibling types.

from fs-private.

Hi Guillem,

this sounds perfectly reasonable to me - including the types in the rule is important!

Also, regarding efficiency, I would not be too concerned. The rules would be converted into n-ary CNF clauses, but all the literals corresponding to the types are given, it does not require to "decide" over several possible options.

Miquel.

from fs-private.

Thanks for the feedback, we'll leave it like this then :-)

from fs-private.