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 Date Topic Readings
1Tuesday, Jan. 20thCourse Logistics & Intro to AIChapter 1
Thursday, Jan. 22ndHistory & Philosophy of AIChapter 1
2Tuesday, Jan. 27thIntelligent AgentsChapter 2
Thursday, Jan. 29thProblem Solving Agents & SearchSection 3.1
3Tuesday, Feb. 3rdProblem-Solving Agents & SearchSection 3.2
Thursday, Feb. 5thUninformed SearchSection 3.3
4Tuesday, Feb. 10thUninformed SearchSection 3.4
Thursday, Feb. 12thUninformed Search VariantsSection 3.4
5Tuesday, Feb. 17thInformed SearchSection 3.5
Thursday, Feb. 19thInformed SearchSection 3.6
6Tuesday, Feb. 24thConstraint Satisfaction Problems (CSPs)Section 6.1
Thursday, Feb. 26thInference in CSPsSection 6.2 – 6.4
7Tuesday, March 3rdSymbolic AI: Propositional Logic (PL)Section 7.1-7.4
Thursday, March 5thSymbolic AI: Propositional Logic (PL)Section 7.5
8Tuesday, March 10thExam 1 Review
Thursday, March 12thExam 1
9Spring Break, No Classes
10Tuesday, March 24thExam 1 Recap
Thursday, March 27thFirst-Order Logic (FOL)Section 8.1-8.2
11Tuesday, March 31stFOL: Knowledge basesSection 8.1-8.3
Thursday, April 2ndFOL: OntologizingSection 8.4
12Tuesday, April 7thFOL: Automated ReasoningSection 9.1-9.2
Thursday, April 9thFOL: Automated ReasoningSection 9.3-9.4
13Tuesday, April 14thCategory TheorySection 10.1-10.2
Thursday, April 16thEvents, Time, ModalitySection 10.3-10.4
14Tuesday, April 21stIntro to Machine LearningChapter 19
Thursday, April 23rdIntro to Machine LearningChapter 19
15Tuesday, April 28thNeural NetworksSection 21.1
Thursday, April 30thAI & Machine EthicsChapter 27
16Tuesday, May 5thAI & Machine EthicsChapter 27
Thursday, May 7thCourse Recap, Final Exam Prep
17Week of May 11thFinal Exam