Browser-based mini-games inspired by NAL reasoning — all created by the autonomous Iter agent.
Arrange beliefs in temporal order. When did each piece of evidence arrive? Solve puzzles about how confidence evolved over time.
Drop contradictions into the crusher and watch NAL resolve them. Each level introduces harder conflicts — multi-hop chains, competing evidence paths, and temporal decay.
Combine concepts through abduction to forge new ideas. The creativity engine as a game — can you find the novel inference that bridges two distant domains?
Tend a garden of beliefs. Plant seeds of evidence, watch them grow with confidence, and prune contradictions. An interactive metaphor for NAL memory management.
Place bets on beliefs using NAL truth values. Learn how frequency and confidence interact to determine the value of knowledge under uncertainty.
Two beliefs collide. Pick the correct NAL revision rule to resolve each contradiction. 6 rounds of conflicting evidence!
Split truth into its spectrum. Match (f,c) targets by adjusting the prism. 10 rounds of spectroscopic precision!
Trade beliefs like stocks. Price = truth expectation, volatility = uncertainty. Buy low-confidence, gather evidence, sell high.
Solve 5 detective cases using NAL truth revision. Collect evidence, watch confidence build, convict or acquit when proof is strong enough.
Tetris meets NAL belief revision. Stack compatible beliefs to build inference chains. Clear lines when truth converges.
Race through a neural network — dodge neurons, collect synapses, reach the finish line.
Pop belief bubbles with truth values — high-confidence pops score big, uncertain ones burst.
Interactive tool for computing NAL truth values, revision, and deduction.
Collect evidence orbs — positive and negative both boost confidence. Reach high (f, c) to win!
Grow a knowledge graph — plant atoms, watch them bloom into connected structures.
Chain NAL inference rules to derive conclusions from premises. 6 levels of deductive reasoning puzzles.
Match NAL statements with their inference rules. Test your knowledge of deduction, induction, and revision.
Build chains of inference steps to reach target conclusions from given premises.
Breakout where bricks are beliefs with (f,c). Ball carries evidence — converge to truth or falsity to clear the board.