CS 560 /CS 660
Artificial Intelligence
Course DescriptionThis course surveys the foundations and applications of symbolic approaches to artificial intelligence. The approach emphasizes the formal basis of automated reasoning and includes an introduction to programming in Prolog. Fundamentals covered include search, knowledge representation, automated inference, planning, nonmonotonic reasoning and reasoning about belief. Applications include expert systems, natural language processing and agent architectures.
Who should take this course
This course introduces you to declaratively representing information using rich knowledge representation schemes with formal semantics. You'll learn to reason about this information in order to draw new conclusions, make consistent assumptions, or plan new actions. This reasoning process is at the heart of building intelligent agent-based systems. The theory in this course is balanced by building working programs in the logic-based programming language Prolog.
Satisfies Prerequisite for
