Logical Uncertainty

Applied to LLM Powered LW Search by odraode17 2mo ago

Logical Uncertainty is probabilistic uncertainty about the implications of beliefs. (Another way of thinking about it is: uncertainty about computations.) Probability theory typically assumes logical omniscience, IE, perfect knowledge of logic. The easiest way to see the importance of this assumption is coto consider Bayesian reasoning: to evaluate the probability of evidence given a hypothesis, P(e|h), it's necessary to know what the implications of the hypothesis are. However, realistic agents cannot be logically omniscient.

Applied to You can't believe in Bayes 3y ago
Applied to Supernatural Math 3y ago
Applied to Be Logically Informative 3y ago
Applied to Persuasiveness vs Soundness 3y ago
Applied to Metauncertainty 3y ago