other8.0 / 10
Logical Induction
Abstract
Computable algorithm that assigns probabilities to logical statements and refines them over time
Research area
agent foundations
Published
—
Source
other
Org
MIRI
Sign in to read and join the discussion.
Computable algorithm that assigns probabilities to logical statements and refines them over time