Prerequisite(s): CSIT 571. Restriction(s): Departmental approval for students with Deferred or Conditional status. An introduction to artificial intelligence including representations of knowledge, problem solving, games, heuristics and backtracking, expert systems, theorem proving, the language LISP and PROLOG. Equivalent course CMPT 578 effective through Summer 2019.