Artificial Intelligent

The course provides an introduction to artificial intelligence. Topics include: problem-solving using search (uninformed search, informed search, local search, constraint satisfaction problems, adversarial search), knowledge representation and inference procedures (propositional logic and first-order logic) and an introduction to machine learning.