This is the AI Narrative class codes and some important notes for later use.
- STEPGenerator folder includes some code in step that can run with Phd.Ian Horswill's STEP program.
- LogicHackin includes three language processing project includes Parser (how nondeterminism pass sequences in a deterministic language), SATToy (how the internal SAT solver of Imaginarium which is about PBC -- Pseudo-Boolean Constraint Solving using Stochastic Local Search), and HornClause (how to codewise implement STEP logic, like IsA and else)
- importantSlides contains some slides help understanding the class material.