This course introduces students to basic principles and current research topics in artificial intelligence. It covers the formal representation of real-world problems; the search of problem spaces for solutions; and the deduction of knowledge in terms of predicate logic, nonmonotonic reasoning and fuzzy sets. Students also learn how to apply these methods to important areas of artificial intelligence, including expert systems, planning, language understanding, machine learning, neural networks, computer vision and robotics.