Detailed examination of the concepts and methods of artificial intelligence. Topics include: heuristic search procedures for general graphs; game playing strategies; resolution and rule based deduction systems; knowledge representation; reasoning with uncertainty.  brandman