[rules-users] Combining Drools Expert and Planner

[Phani Saripalli]

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

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

Is it possible to obtain a value propagation mechanism by combining with
Planner, by which I finally get a value for x as 6 ? 
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-tp4019871.html
Sent from the Drools: User forum mailing list archive at Nabble.com.