A Note on Probabilistic Validity Measure in Propositional Calculi.

Branislav R. Boricic

Published in: Log. J. IGPL (1995)

Keyphrases

probabilistic logic
probability measures
similarity measure
probabilistic model
bayesian networks
uncertain data
propositional logic
statistical relational learning
neural network
distance measure
logic programming
correlation coefficient
information content
information theory
probabilistic reasoning
horn clauses