Various areas of artificial intelligence are introduced including vision processing, natural language processing, advanced and current topics in expert systems, mathematical theorem proving, machine learning, and neural network. Prerequisite(s):CSCI 355.