Op 20-09-12 15:59, Phani Saripalli schreef:
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
x : int
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"
P : Project(P.x > 5 && P.x < 7)
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
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:
$p : Project(P.x > 5 && P.x < 9)
and where there are some other constraints such as:
$a : Project(id == "A")
$b : Project(id == "B", x < $a.x)
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
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:
Sent from the Drools: User forum mailing list archive at Nabble.com
rules-users mailing list