Logical methods for AI

Tools

The book's apps, one page each, to run your own examples through.

Each page here holds one of the book’s apps: what it calculates, how to drive it, and where the chapters explain the idea behind it. Use them on examples of your own, or to check work you did by hand.

Each page says what it covers. Today’s tools work on propositional formulas under Boolean semantics. The categories are named for the logical job rather than the language, so first-order tools will join the same ones as the book reaches them.

Everything runs in your browser. Nothing you type is sent anywhere, and nothing is stored between visits.