Keyphrases
- probability theory
- probabilistic logic
- modal operators
- logical inference
- generative model
- probability measures
- bayesian networks
- belief functions
- logic programming
- probabilistic knowledge
- inference rules
- theorem proving
- probabilistic reasoning
- decision theory
- modal logic
- classical logic
- set theory
- inference mechanism
- truth values
- programming language
- probability function
- probabilistic model
- information retrieval