Logical Uncertainty

Applied to LLM Powered LW Search by odraode17 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.