Hi.<div><br></div><div>Thank you for the reply. I am at the moment trying with defined classes. But got stuck at solver configuration, setting up the selectors. However I am doing a very simple problem, just like I mention in the question earlier.</div>
<div><br></div><div>I have attached the sources of my project - solver configuration through Java API. </div><div>I am getting errors related to Selectors & Acceptors. My solver configuration does not have these. </div>
<div><br></div><div>My model is based on a simple rule - x > 4 and x < 6. I have set my planning variable, value range etc. </div><div><br></div><div>Can you please tell me how I should handle the whole concept of MoveFactory, selector etc. </div>
<div><br></div><div>Thank you :)<br><br><div class="gmail_quote">On 20 September 2012 18:17, ge0ffrey [via Drools] <span dir="ltr"><<a href="/user/SendEmail.jtp?type=node&node=4019915&i=0" target="_top" rel="nofollow" link="external">[hidden email]</a>></span> wrote:<br>
<blockquote style='border-left:2px solid #CCCCCC;padding:0 1em' class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>Op 20-09-12 15:59, Phani Saripalli schreef:
<div><div class='shrinkable-quote'><br>> Hi.
<br>>
<br>> Is it possible to combine Drools expert and planner to solve NP problems (or
<br>> some kind of model checking).
<br>>
<br>> For example, I have a model described as a .drl file
<br>>
<br>> declare Project
<br>> x : int
<br>> end
</div>Classes declared in the drl file aren't supported yet in Planner :(
</div>Feel free to make a jira for it.
<div><div class='shrinkable-quote'><br>> And, then I have a constraint (or rule) - something like this -
<br>>
<br>>
<br>> rule " Rule on x"
<br>> agenda-group "Group 2"
<br>> dialect "mvel"
<br>> no-loop true
<br>> when
<br>> P : Project(P.x > 5 && P.x < 7)
<br>> then
<br>> System.out.println("Rule satisfied");
<br>> end
</div>that's can be easily converted into a score rule, just replace the
</div>System.out with the insertLogical of the ConstraintOccurrence (see
<br>planner manual for more info)
<br>> Is it possible to obtain a value propagation mechanism by combining with
<br>> Planner, by which I finally get a value for x as 6 ?
<br>you would define a range of values for x and based on the constraint,
<br>planner will end up with value 6 for that Project,
<br>but that's not really efficient.
<br><br>Planner is really build to solve a case like this where you have 3
<br>projects Project needs an x:
<br><br> when
<br>$p : Project(P.x > 5 && P.x < 9)
<br>then ...
<br><br>and where there are some other constraints such as:
<br><br> when
<br>$a : Project(id == "A")
<br>$b : Project(id == "B", x < $a.x)
<br>then ...
<br><br><br>that result in an optimal solution of project A with x = 7, project B
<br>with x = 6 and project C with x= 8.
<br><div><div class='shrinkable-quote'><br>> I am working on model checking for models that have various constraints, on
<br>> boolean, int, real, strings, container types and also on types that are
<br>> similar to C structs. There is hardly any reasoner/solver that does model
<br>> checking for constraints on such a varied types of datatypes.
<br>>
<br>> I checked planner, but defining planning variables and stuff on score
<br>> generation seemed to me a bit new and confusing.
<br>>
<br>> Thank you :)
<br>>
<br>>
<br>>
<br>> --
<br>> View this message in context: <a href="http://drools.46999.n3.nabble.com/Combining-Drools-Expert-and-Planner-tp4019871.html" rel="nofollow" link="external" target="_blank">http://drools.46999.n3.nabble.com/Combining-Drools-Expert-and-Planner-tp4019871.html</a></div>
> Sent from the Drools: User forum mailing list archive at Nabble.com.
<br>> _______________________________________________
<br>> rules-users mailing list
<br>> <a href="http://user/SendEmail.jtp?type=node&node=4019878&i=0" rel="nofollow" link="external" target="_blank">[hidden email]</a>
<br>> <a href="https://lists.jboss.org/mailman/listinfo/rules-users" rel="nofollow" link="external" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>>
</div><br>_______________________________________________
<br>rules-users mailing list
<br><a href="http://user/SendEmail.jtp?type=node&node=4019878&i=1" rel="nofollow" link="external" target="_blank">[hidden email]</a>
<br><a href="https://lists.jboss.org/mailman/listinfo/rules-users" rel="nofollow" link="external" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
<br>
<br>
<hr noshade size="1" color="#cccccc">
<div style="color:#444;font:12px tahoma,geneva,helvetica,arial,sans-serif">
<div style="font-weight:bold">If you reply to this email, your message will be added to the discussion below:</div>
<a href="http://drools.46999.n3.nabble.com/Combining-Drools-Expert-and-Planner-tp4019871p4019878.html" target="_blank" rel="nofollow" link="external">http://drools.46999.n3.nabble.com/Combining-Drools-Expert-and-Planner-tp4019871p4019878.html</a>
</div>
<div style="color:#666;font:11px tahoma,geneva,helvetica,arial,sans-serif;margin-top:.4em;line-height:1.5em">
To unsubscribe from Combining Drools Expert and Planner, <a href="" target="_blank" rel="nofollow" link="external">click here</a>.<br>
<a href="http://drools.46999.n3.nabble.com/template/NamlServlet.jtp?macro=macro_viewer&id=instant_html%21nabble%3Aemail.naml&base=nabble.naml.namespaces.BasicNamespace-nabble.view.web.template.NabbleNamespace-nabble.view.web.template.NodeNamespace&breadcrumbs=notify_subscribers%21nabble%3Aemail.naml-instant_emails%21nabble%3Aemail.naml-send_instant_email%21nabble%3Aemail.naml" rel="nofollow" style="font:9px serif" target="_blank" link="external">NAML</a>
</div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div><br></div>Best Regards<br>Phani Saripalli<br><br><br>
</div>
<div class="small"><br/><img src="/images/icon_attachment.gif" > <strong>CompoundOne.java</strong> (208 bytes) <a href="http://drools.46999.n3.nabble.com/attachment/4019915/0/CompoundOne.java" target="_top" rel="nofollow" link="external">Download Attachment</a><br/><img src="/images/icon_attachment.gif" > <strong>DroolsTest.java</strong> (4K) <a href="http://drools.46999.n3.nabble.com/attachment/4019915/1/DroolsTest.java" target="_top" rel="nofollow" link="external">Download Attachment</a><br/><img src="/images/icon_attachment.gif" > <strong>Project.java</strong> (2K) <a href="http://drools.46999.n3.nabble.com/attachment/4019915/2/Project.java" target="_top" rel="nofollow" link="external">Download Attachment</a><br/><img src="/images/icon_attachment.gif" > <strong>PSolution.java</strong> (1K) <a href="http://drools.46999.n3.nabble.com/attachment/4019915/3/PSolution.java" target="_top" rel="nofollow" link="external">Download Attachment</a><br/><img src="/images/icon_attachment.gif" > <strong>Rules.drl</strong> (622 bytes) <a href="http://drools.46999.n3.nabble.com/attachment/4019915/4/Rules.drl" target="_top" rel="nofollow" link="external">Download Attachment</a></div>
<br/><hr align="left" width="300" />
View this message in context: <a href="http://drools.46999.n3.nabble.com/Combining-Drools-Expert-and-Planner-tp4019871p4019915.html">Re: [rules-users] Combining Drools Expert and Planner</a><br/>
Sent from the <a href="http://drools.46999.n3.nabble.com/Drools-User-forum-f47000.html">Drools: User forum mailing list archive</a> at Nabble.com.<br/>