A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements.
Tomás HavránekPublished in: Kybernetika (1974)
Keyphrases
- propositional calculus
- probabilistic logic
- posterior probability
- bayesian networks
- generative model
- logical framework
- logical properties
- data driven
- logical reasoning
- database
- probabilistic knowledge
- probability theory
- belief networks
- imprecise probabilities
- theoretical foundation
- probabilistic model
- learning algorithm