Hyperon's primary symbolic reasoning system for uncertainty. Represents beliefs with graded confidence, supports deductive/inductive/abductive reasoning, and leverages ECAN for computational tractability over massive Atomspaces.