- #1

- 6

- 0

Is there a generic algorithm to compile the probability P(A)

of any propositional formula A (provided that we have only the probability of each atoms constituting A)?

For example, we have that A= a1 and not (a2 and a3 and ( not a4 and not a5 and not a6 ..) , or any other complicated formula.

The an are independant here!!!!

I know pr(a1), pr(a2)... and so on...

Is there an algorithm to compute pr(a1 and not (a2 and a3 and ( not a4 and not a5 and not a6 ..) ) ?????