Semester Hours:3Periodically
Topics vary and include: automatic theorem proving; use of logic in problem solving and problem representation; knowledge representation and machine learning; pattern matching; natural language processing; speech recognition; machine perception.