Op 20-09-12 15:59, Phani Saripalli schreef: > Hi. > > Is it possible to combine Drools expert and planner to solve NP problems (or > some kind of model checking). > > For example, I have a model described as a .drl file > > declare Project > x : int > end Classes declared in the drl file aren't supported yet in Planner :( Feel free to make a jira for it. > And, then I have a constraint (or rule) - something like this - > > > rule " Rule on x" > agenda-group "Group 2" > dialect "mvel" > no-loop true > when > P : Project(P.x > 5 && P.x < 7) > then > System.out.println("Rule satisfied"); > end that's can be easily converted into a score rule, just replace the System.out with the insertLogical of the ConstraintOccurrence (see planner manual for more info) > Is it possible to obtain a value propagation mechanism by combining with > Planner, by which I finally get a value for x as 6 ? you would define a range of values for x and based on the constraint, planner will end up with value 6 for that Project, but that's not really efficient. Planner is really build to solve a case like this where you have 3 projects Project needs an x: when $p : Project(P.x > 5 && P.x < 9) then ... and where there are some other constraints such as: when $a : Project(id == "A") $b : Project(id == "B", x < $a.x) then ... that result in an optimal solution of project A with x = 7, project B with x = 6 and project C with x= 8. > I am working on model checking for models that have various constraints, on > boolean, int, real, strings, container types and also on types that are > similar to C structs. There is hardly any reasoner/solver that does model > checking for constraints on such a varied types of datatypes. > > I checked planner, but defining planning variables and stuff on score > generation seemed to me a bit new and confusing. > > Thank you :) > > > > -- > View this message in context: http://drools.46999.n3.nabble.com/Combining-Drools-Expert-and-Planner-tp4... > Sent from the Drools: User forum mailing list archive at Nabble.com. > _______________________________________________ > rules-users mailing list > [hidden email] <http://user/SendEmail.jtp?type=node&node=4019878&i=0> > https://lists.jboss.org/mailman/listinfo/rules-users > _______________________________________________ rules-users mailing list [hidden email] <http://user/SendEmail.jtp?type=node&node=4019878&i=1> https://lists.jboss.org/mailman/listinfo/rules-users ------------------------------ If you reply to this email, your message will be added to the discussion below: http://drools.46999.n3.nabble.com/Combining-Drools-Expert-and-Planner-tp4... To unsubscribe from Combining Drools Expert and Planner, click here<http://drools.46999.n3.nabble.com/template/NamlServlet.jtp?macro=... . NAML<http://drools.46999.n3.nabble.com/template/NamlServlet.jtp?macro=...