The purpose of this course is to update the student on state of the art artificial intelligence concepts, such as heuristic programming, state-space search techniques, and/or graphs for problem solving, game playing techniques, theorem proving procedures for propositions and first-order logic, knowledge representation and examples of knowledge-based systems.
Prerequisites: CSCI 1323, 2320.