search

laas / fape

FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
BSD 2-Clause "Simplified" License
31 stars 7 forks source link

running international-travel.1.pb.anml #2

Closed hadfield closed 3 years ago

hadfield commented 6 years ago

Hello, how should the international-travel case be run?

Running it as per the other examples yields: java -ea -jar ~/Downloads/fape-planning-assembly-1.0.jar -d -v planning/domains/international-travel/international-travel.1.pb.anml Non-hierarchical problem (some actions are not motivated) Plan selection strategy: [minspan] Flaw selection strategy: [hier, ogf, abs, lcf, eogf] Exception in thread "main" java.lang.AssertionError: assertion failed: Unknown local var c at scala.Predef$.assert(Predef.scala:219) at fr.laas.fape.anml.model.AbstractContext.getDefinition(AbstractContext.scala:77) at fr.laas.fape.planning.core.planning.grounding.GAction.valueOf(GAction.java:332) at fr.laas.fape.planning.core.planning.grounding.GAction.initTask(GAction.java:562) at fr.laas.fape.planning.core.planning.grounding.GAction.(GAction.java:261) at fr.laas.fape.planning.core.planning.grounding.GAction.groundActions(GAction.java:549) at fr.laas.fape.planning.core.planning.grounding.GroundProblem.(GroundProblem.java:140) at fr.laas.fape.planning.core.planning.preprocessing.Preprocessor.getGroundProblem(Preprocessor.java:56) at fr.laas.fape.planning.core.planning.preprocessing.Preprocessor.getAllActions(Preprocessor.java:70) at fr.laas.fape.planning.core.planning.preprocessing.Preprocessor.getRelaxedActions(Preprocessor.java:120) at fr.laas.fape.planning.core.planning.reachability.ReachabilityHandler.stateBindedToPlanner(ReachabilityHandler.java:33) at fr.laas.fape.planning.core.planning.states.PartialPlan.setPlanner(PartialPlan.java:191) at fr.laas.fape.planning.core.planning.planner.Planner.lambda$new$0(Planner.java:52) at fr.laas.fape.planning.core.planning.states.SearchNode.getState(SearchNode.java:116) at fr.laas.fape.planning.core.planning.states.SearchNode.getState(SearchNode.java:109) at fr.laas.fape.planning.core.planning.search.strategies.plans.PartialPlanComparator.g(PartialPlanComparator.java:25) at fr.laas.fape.planning.core.planning.planner.Planner.g(Planner.java:535) at fr.laas.fape.planning.core.planning.planner.Planner.f(Planner.java:536) at fr.laas.fape.planning.core.planning.planner.Planner.aEpsilonSearch(Planner.java:448) at fr.laas.fape.planning.core.planning.planner.Planner.search(Planner.java:126) at fr.laas.fape.planning.Planning.main(Planning.java:373)

The dom file says: // WARNING: will only work with the taskcond planner

Thanks!

arbimo commented 6 years ago

Hi, this domain relies on quite experimental features that have been changing and tend to break on a regular basis. The intended way to use it is with the --multi-support true (experimental) option but it currently interacts badly with other features.

I will keep it on my things to fix list but won't be able to tackle it immediately.

Thanks for reporting.

hadfield commented 6 years ago

Thanks! Setting --multi-support true option still yields the same error with 1.0 jar version and version building from master.

FYI, Using the thesis version, this runs without setting the multi-support option.

hadfield commented 6 years ago

Can you say what part of the domain specifically is using the feature that's causing the issue with the 1.0/git-master version? Nothing really jumps out to me right away by inspecting the the domain and problem files.