Expand description
Hypothesis backlog and typed belief graph with confidence cascade.
The belief graph is a directed acyclic graph (DAG) of epistemic nodes:
- Hypothesis: a testable claim about an optimization strategy.
- Experiment: a trial that produces evidence for/against a hypothesis.
- Observation: a measured datum from an experiment.
- Claim: a derived conclusion from one or more observations.
When an experiment produces a verdict on a hypothesis, the confidence cascades to dependent hypotheses via the DAG edges.
Structs§
- Belief
Graph - The typed belief graph.
- Claim
- A claim node: a derived conclusion.
- Experiment
Node - An experiment node in the belief graph.
- Hypothesis
- A hypothesis: a testable claim about an optimization strategy.
- Observation
- An observation node: a single measured datum.
Enums§
- Experiment
Verdict - The verdict of an experiment on a hypothesis.
Functions§
- evaluate_
verdict - Determine the verdict of an experiment against a hypothesis. This compares the experiment result against a baseline.
Type Aliases§
- NodeId
- Unique identifier for a belief graph node.