Certainty
Computer science
Inference
Soundness
Probabilistic logic
Axiom
Interpretation (philosophy)
Bayesian network
Artificial intelligence
Bayes' theorem
Machine learning
Bayesian probability
Theoretical computer science
Mathematics
Geometry
Programming language
