[rules-users] Support for Probabilistic reasoning & FOL

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: Locality, Detachment, Truth functionality (i.e. when predicates in facts are not mutually exclusive then probabilistic calculations are not as simple as Boolean operations) etc. Has such theory been worked into Drools yet or are there any plans for the future? I'd assume the same concepts can be used on Fuzzy rules and fuzzy sets. Am sure these are practical issues that at some point the Drools team would have thought about. Whats the direction on this? thanks -- View this message in context: http://drools.46999.n3.nabble.com/Support-for-Probabilistic-reasoning-FOL... Sent from the Drools: User forum mailing list archive at Nabble.com.