Tutorials

New to doxastica? Start here. These lessons take you by the hand and guarantee a working result: you learn the library by building with it, with every term defined as you meet it.

• Your First Belief Store: Revise, Supersede, Time-Travel: Build a core from scratch and exercise every operation: revise, expand, contract, walk the revision chain, and reconstruct a past state.
• The Detective's Notebook: Revising a Theory Under Contradiction: A belief-revision use case built on a game of Cluedo. Keep certain facts in the world scope, hold a provisional theory in its own scope, supersede a refuted belief, and cascade staleness to a conclusion whose basis collapsed.

When you have finished the tutorial and want to solve specific problems, move on to the How-To Guides. To understand the ideas behind what you built, read the Explanation section.