resources
textbook(s)
Artificial Intelligence: A Modern Approach, 3rd edition, Stuart Russell and Peter Norvig
ANSI Common Lisp, Paul Graham
online AI materials
common lisp
Any sufficiently complicated C or Fortran program contains an ad-hoc, informally-specified bug-ridden slow implementation of half of Common Lisp. -
Philip Greenspun
racket
- A good recent scheme (the other lisp branch; lisp-1 rather than common lisp's lisp-2)
- http://racket-lang.org/
- cleaner syntax than common lisp
- generally fewer built-in language structures
reasoning
- OpenCyc - "common sense" knowledge base
- TPTP - Thousands of Problems for Theorem Provers
- protege ontology editor and knowledge thing
various software libraries
articles
in the news
other