Introduction to Artificial Intelligence

Covers foundations and history of AI. Iowa course listing here.

Course Description

The overall goal of this course is to introduce students to a number of topics and techniques in Artificial Intelligence (AI). This course provides an introduction to the core ideas and techniques of artificial intelligence. Students explore AI and agents, fundamental problem-solving and search strategies (including breadth-first search, depth-first search, uniform cost search, A* search, local search, and adversarial search), constraint satisfaction, logic-based reasoning, the foundations of machine learning and demonstrates how these methods can be applied to real-world problems.

Learning Outcomes

By the end of this course students should:

These are all useful practical and theoretical skills and are sought out by top universities and companies working in AI.

Course Schedule

We are using Russel and Norvig's canonical AI textbook, Artificial Intelligence: A Modern Approach, 4th US ed.

Week Topic Readings
1Course Logistics & Intro to AIChapter 1
History & Philosophy of AIChapter 1
2Intelligent AgentsChapter 2
Problem Solving Agents & SearchSection 3.1
3Problem-Solving Agents & SearchSection 3.2
Uninformed SearchSection 3.3
4Uninformed SearchSection 3.4
Uninformed Search VariantsSection 3.4
5Informed SearchSection 3.5
Informed SearchSection 3.6
6Constraint Satisfaction Problems (CSPs)Section 6.1
Inference in CSPsSection 6.2 – 6.4
7Symbolic AI: Propositional Logic (PL)Section 7.1-7.4
Symbolic AI: Propositional Logic (PL)Section 7.5
8Exam 1 Review
Exam 1
9Spring Break, No Classes
10Exam 1 Recap
First-Order Logic (FOL)Section 8.1-8.2
11FOL: Knowledge basesSection 8.1-8.3
FOL: OntologizingSection 8.4
12FOL: Automated ReasoningSection 9.1-9.2
FOL: Automated ReasoningSection 9.3-9.4
13Category TheorySection 10.1-10.2
Events, Time, ModalitySection 10.3-10.4
14Intro to Machine LearningChapter 19
Intro to Machine LearningChapter 19
15Neural NetworksSection 21.1
AI & Machine EthicsChapter 27
16AI & Machine EthicsChapter 27
Course Recap, Final Exam Prep
17Final Exam