3. The method of claim 2 , wherein said probabilistic predicate calculus is a first order probabilistic logic.
3. The method of claim 2 , wherein said probabilistic predicate calculus is a first order probabilistic logic. 5. The method of claim 3 , wherein said probabilistic logic is lifted first order predicate calculus.