Assignments
- Project description
- Lisp practice: Assigned 1/24/19, due 2/8/19 (the assignment says 2/1, but that’s wrong).
- Search assignment
- Resolution theorem proving (RTP)
- unify.lisp (Note: the comments won’t make any sense; see the documentation for explanations of functions, etc.)
- Documentation for unify.lisp
- Original “literate programming” source file for both the documentation and Lisp file. (It’s an Emacs Org Mode file.)
- Neural networks (due 3/26)
- Iris training data (
iris_train.csv
) - Iris test data (
iris_test.csv
)
- Iris training data (
- Knowledge representation
- Convolutional networks (CNets)
- Behavior-based control
- Planning
- Generative adversarial networks (GANs)