CS 461 Artificial Intelligence

Spring 2014

Instructor:

Aynur Dayanık

Office:

Engineering Building, EA-426

Phone:

x3441

E-mail:

Lectures:

Tuesday 9:30-10:20 and Thursday 10:30-12:20 at EB-102

Office Hours:

TBA

TA:

Anıl Armağan

Course Description:

This course provides an introduction to artificial intelligence. We will start with problem-solving techniques, blind search algorithms (breadth-first, depth-first, iterative deepening, and other strategies), heuristic search algorithms (A*), and game-playing. And then we will discuss constraint satisfaction problems. We will cover knowledge representation and reasoning: syntax, semantics, and proof theory of propositional logic and first-order predicate logic, uncertainty and probabilistic reasoning. We will also discuss machine learning and natural language processing.

Moodle page of the course:

Check regularly the Moodle page of the course for lecture notes, homework assignments, and announcements.

Textbook:

Course Outline:

Course requirements: