Re: [rules-users] Support for Probabilistic reasoning & FOL

2011-04-12 Thread Mauricio Salatino
Hi there, 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. Ping him in the channel if you see him online. On Tue, Apr 12, 2011 at 8:03 AM, Arjun Dhar wrote: > Hi, > though it is clear Rule Engine (lke Drools) supp

[rules-users] Support for Probabilistic reasoning & FOL

2011-04-12 Thread Arjun Dhar
Hi, though it is clear Rule Engine (lke Drools) supports Declarative programming and First order Logic or FOL (with existential quantifiers and works) am also looking for Probabilistic Reasoning. Example: Fact: A U B => C; this fact exists with a probability of 0.9. Principles namely being: