Definitions of intelligent systems. Optimality vs. speed tradeoff. Problem spaces. Brute-force search (DFS, BFS, uniform cost search). Heuristic search (best-first, A*, IDA*).Local search (hill-climbing, simulated annealing, genetic search).Game-playing methods (minimax search, alpha-beta pruning).Constraint satisfaction (backtracking and heuristic repair).Representation of space and time. Predicate calculus and resolution. Logic programming and theorem proving. Design and development of knowledge-based systems. Knowledge representation mechanisms. Tools for knowledge-based system development. Pre-req.: CMPS 347 & CMPS 345.