Stuart Russell, Peter Norvig: Artificial Intelligence. A modern approach
David S. Touretzky: Common Lisp: A Gentle Introduction to Symbolic Computation (download page)
Previous knowledge: Basic mathematical skills, classical propositional and first-order logic, ability to construct simple proofs by yourself.