Course Resources
General A.I. Topics
- AI FAQ
- John McCarthy - What is AI?
- Scott
Aaronson - Minds and Machines
- The Turing Test and Alan Turing Internet Scrapbook piece on the Test
Specific AI Topics
- McCarthy: Dartmouth
Summer Research Project
- Charles Petzold on Turing's Contribution
- Petzold again, this time on inaccuracies in the film Imitation Game
- Eliza, or the Doctor (Early Chatbot)
- State Space Search
- Propositional
Calculus - scroll down for inference rules and proof forms
- Predicate Calculus
- Machine
Learning (historical)
- Genetic
Programming
Tools and Techniques
- AIMA Links - website for another solid text; the links here (849 of them!) are worth the visit
- Tanimoto's AI example programs - Lisp examples from Tanimoto's text