An introduction to the fundamental principles of artificial intelligence from a mathematical perspective. The course will trace the historical development of AI and describe key results in the field. Topics include the philosophy of AI, search methods in problem solving, knowledge representation and reasoning, logic, planning, and learning paradigms. A portion of the course will focus on ethical AI, embodied AI, and on the quest for artificial general intelligence.