Hi there,<br>Davide Sotara a.k.a. sotty in the IRC channel was working on that side of the project. As far as I know he already get it working. <br>Ping him in the channel if you see him online. <br><br><div class="gmail_quote">
On Tue, Apr 12, 2011 at 8:03 AM, Arjun Dhar <span dir="ltr"><<a href="mailto:dhar_ar@yahoo.com">dhar_ar@yahoo.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi,<br>
though it is clear Rule Engine (lke Drools) supports Declarative<br>
programming and First order Logic or FOL (with existential quantifiers and<br>
works) .... am also looking for Probabilistic Reasoning.<br>
<br>
Example:<br>
Fact: A U B => C; this fact exists with a probability of 0.9.<br>
Principles namely being: Locality, Detachment, Truth functionality (i.e.<br>
when predicates in facts are not mutually exclusive then probabilistic<br>
calculations are not as simple as Boolean operations) etc.<br>
<br>
Has such theory been worked into Drools yet or are there any plans for the<br>
future?<br>
I'd assume the same concepts can be used on Fuzzy rules and fuzzy sets.<br>
<br>
Am sure these are practical issues that at some point the Drools team would<br>
have thought about. Whats the direction on this?<br>
<br>
thanks<br>
<font color="#888888"><br>
<br>
--<br>
View this message in context: <a href="http://drools.46999.n3.nabble.com/Support-for-Probabilistic-reasoning-FOL-tp2810931p2810931.html" target="_blank">http://drools.46999.n3.nabble.com/Support-for-Probabilistic-reasoning-FOL-tp2810931p2810931.html</a><br>
Sent from the Drools: User forum mailing list archive at Nabble.com.<br>
_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
</font></blockquote></div><br><br clear="all"><br>-- <br> - CTO @ <a href="http://www.plugtree.com">http://www.plugtree.com</a> <br> - MyJourney @ <a href="http://salaboy.wordpress.com">http://salaboy.wordpress.com</a><br>
- Co-Founder @ <a href="http://www.jbug.com.ar">http://www.jbug.com.ar</a><br> <br> - Salatino "Salaboy" Mauricio -<br>