Dr. Collin Lynch
CSC 520 Artificial Intelligence I
3 Credit Hours
Introduction and overview of artificial intelligence. Elements of AI problem-solving techniques. State spaces and search techniques, including heuristic search (hill-climbing and A*). Logic (first-order predicate calculus) and theorem proving (unification, resolution theorem proving). Advanced topics in machine learning, reasoning under uncertainty (Bayesian reasoning), and natural language processing as time permits.