Dr. Collin Lynch

Computer Science

Phone: 919-513-0876
Instructor Website
Research Website

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.

Syllabus Lecture Videos Lecture Notes Course Website